2021-12-15 12:05:22 +00:00
|
|
|
{
|
|
|
|
"comments": {
|
|
|
|
"lineComment": "%"
|
|
|
|
},
|
|
|
|
"brackets": [
|
|
|
|
["{", "}"],
|
|
|
|
["[", "]"],
|
|
|
|
["(", ")"],
|
|
|
|
["[", ")"],
|
|
|
|
["(", "]"],
|
|
|
|
["\\left(", "\\right)"],
|
|
|
|
["\\left(", "\\right."],
|
|
|
|
["\\left.", "\\right)"],
|
|
|
|
["\\left[", "\\right]"],
|
|
|
|
["\\left[", "\\right."],
|
|
|
|
["\\left.", "\\right]"],
|
|
|
|
["\\left\\{", "\\right\\}"],
|
|
|
|
["\\left\\{", "\\right."],
|
|
|
|
["\\left.", "\\right\\}"],
|
2022-01-19 10:30:32 +00:00
|
|
|
["\\left<", "\\right>"],
|
|
|
|
["\\bigl(", "\\bigr)"],
|
|
|
|
["\\bigl[", "\\bigr]"],
|
|
|
|
["\\bigl\\{", "\\bigr\\}"],
|
|
|
|
["\\Bigl(", "\\Bigr)"],
|
|
|
|
["\\Bigl[", "\\Bigr]"],
|
|
|
|
["\\Bigl\\{", "\\Bigr\\}"],
|
|
|
|
["\\biggl(", "\\biggr)"],
|
|
|
|
["\\biggl[", "\\biggr]"],
|
|
|
|
["\\biggl\\{", "\\biggr\\}"],
|
|
|
|
["\\Biggl(", "\\Biggr)"],
|
|
|
|
["\\Biggl[", "\\Biggr]"],
|
|
|
|
["\\Biggl\\{", "\\Biggr\\}"],
|
|
|
|
["\\langle", "\\rangle"],
|
|
|
|
["\\lvert", "\\rvert"],
|
|
|
|
["\\lVert", "\\rVert"],
|
|
|
|
["\\left|", "\\right|"],
|
|
|
|
["\\left\\vert", "\\right\\vert"],
|
|
|
|
["\\left\\|", "\\right\\|"],
|
|
|
|
["\\left\\Vert", "\\right\\Vert"],
|
|
|
|
["\\left\\langle", "\\right\\rangle"],
|
|
|
|
["\\left\\lvert", "\\right\\rvert"],
|
|
|
|
["\\left\\lVert", "\\right\\rVert"],
|
|
|
|
["\\bigl\\langle", "\\bigr\\rangle"],
|
|
|
|
["\\bigl|", "\\bigr|"],
|
|
|
|
["\\bigl\\vert", "\\bigr\\vert"],
|
|
|
|
["\\bigl\\lvert", "\\bigr\\rvert"],
|
|
|
|
["\\bigl\\|", "\\bigr\\|"],
|
|
|
|
["\\bigl\\lVert", "\\bigr\\rVert"],
|
|
|
|
["\\bigl\\Vert", "\\bigr\\Vert"],
|
|
|
|
["\\Bigl\\langle", "\\Bigr\\rangle"],
|
|
|
|
["\\Bigl|", "\\Bigr|"],
|
|
|
|
["\\Bigl\\lvert", "\\Bigr\\rvert"],
|
|
|
|
["\\Bigl\\vert", "\\Bigr\\vert"],
|
|
|
|
["\\Bigl\\|", "\\Bigr\\|"],
|
|
|
|
["\\Bigl\\lVert", "\\Bigr\\rVert"],
|
|
|
|
["\\Bigl\\Vert", "\\Bigr\\Vert"],
|
|
|
|
["\\biggl\\langle", "\\biggr\\rangle"],
|
|
|
|
["\\biggl|", "\\biggr|"],
|
|
|
|
["\\biggl\\lvert", "\\biggr\\rvert"],
|
|
|
|
["\\biggl\\vert", "\\biggr\\vert"],
|
|
|
|
["\\biggl\\|", "\\biggr\\|"],
|
|
|
|
["\\biggl\\lVert", "\\biggr\\rVert"],
|
|
|
|
["\\biggl\\Vert", "\\biggr\\Vert"],
|
|
|
|
["\\Biggl\\langle", "\\Biggr\\rangle"],
|
|
|
|
["\\Biggl|", "\\Biggr|"],
|
|
|
|
["\\Biggl\\lvert", "\\Biggr\\rvert"],
|
|
|
|
["\\Biggl\\vert", "\\Biggr\\vert"],
|
|
|
|
["\\Biggl\\|", "\\Biggr\\|"],
|
|
|
|
["\\Biggl\\lVert", "\\Biggr\\rVert"],
|
|
|
|
["\\Biggl\\Vert", "\\Biggr\\Vert"]
|
2021-12-15 12:05:22 +00:00
|
|
|
],
|
|
|
|
"autoClosingPairs": [
|
|
|
|
["\\left(", "\\right)"],
|
|
|
|
["\\left[", "\\right]"],
|
2022-01-19 10:30:32 +00:00
|
|
|
["\\left\\{", "\\right\\}"],
|
2021-12-15 12:05:22 +00:00
|
|
|
["\\bigl(", "\\bigr)"],
|
|
|
|
["\\bigl[", "\\bigr]"],
|
2022-01-19 10:30:32 +00:00
|
|
|
["\\bigl\\{", "\\bigr\\}"],
|
2021-12-15 12:05:22 +00:00
|
|
|
["\\Bigl(", "\\Bigr)"],
|
|
|
|
["\\Bigl[", "\\Bigr]"],
|
2022-01-19 10:30:32 +00:00
|
|
|
["\\Bigl\\{", "\\Bigr\\}"],
|
2021-12-15 12:05:22 +00:00
|
|
|
["\\biggl(", "\\biggr)"],
|
|
|
|
["\\biggl[", "\\biggr]"],
|
2022-01-19 10:30:32 +00:00
|
|
|
["\\biggl\\{", "\\biggr\\}"],
|
2021-12-15 12:05:22 +00:00
|
|
|
["\\Biggl(", "\\Biggr)"],
|
|
|
|
["\\Biggl[", "\\Biggr]"],
|
2022-01-19 10:30:32 +00:00
|
|
|
["\\Biggl\\{", "\\Biggr\\}"],
|
2021-12-15 12:05:22 +00:00
|
|
|
["\\(", "\\)"],
|
|
|
|
["\\[", "\\]"],
|
|
|
|
["\\{", "\\}"],
|
|
|
|
["{", "}"],
|
|
|
|
["[", "]"],
|
|
|
|
["(", ")"],
|
|
|
|
["`", "'"]
|
|
|
|
],
|
|
|
|
"surroundingPairs": [
|
|
|
|
["{", "}"],
|
|
|
|
["[", "]"],
|
|
|
|
["(", ")"],
|
|
|
|
["\"", "\""],
|
|
|
|
["'", "'"],
|
|
|
|
["`", "'"],
|
|
|
|
["$", "$"]
|
|
|
|
],
|
|
|
|
"indentationRules": {
|
|
|
|
"increaseIndentPattern": "\\\\begin{(?!document)([^}]*)}(?!.*\\\\end{\\1})",
|
|
|
|
"decreaseIndentPattern": "^\\s*\\\\end{(?!document)"
|
|
|
|
},
|
2022-03-30 09:46:44 +00:00
|
|
|
"folding": {
|
|
|
|
"markers": {
|
|
|
|
"start": "^\\s*%?\\s*(region|\\\\begingroup)\\b",
|
|
|
|
"end": "^\\s*%?\\s*(endregion|\\\\endgroup)\\b"
|
|
|
|
}
|
|
|
|
},
|
|
|
|
"autoCloseBefore": ";:.,={}])>\\` \n\t$",
|
|
|
|
"wordPattern": {
|
2023-01-23 13:25:37 +00:00
|
|
|
"pattern": "(\\p{Alphabetic}|\\p{Number}|\\p{Nonspacing_Mark}){1,}",
|
2022-03-30 09:46:44 +00:00
|
|
|
"flags": "u"
|
|
|
|
}
|
2021-12-15 12:05:22 +00:00
|
|
|
}
|