{
    "abbrev": "",
    "description": [
        ""
    ],
    "formatVersion": 1,
    "menu": "",
    "name": "Définiton",
    "shortcut": "",
    "tag": [
        "% définition",
        "\\begin{definition}[]",
        "\t",
        "\\end{definition}"
    ],
    "trigger": ""
}