Skip to content

Instantly share code, notes, and snippets.

@0x0f0f0f

0x0f0f0f/latex.json

Last active December 6, 2019 14:08
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save 0x0f0f0f/fb9d1b950587e32f650cd01d7328b5b1 to your computer and use it in GitHub Desktop.
Save 0x0f0f0f/fb9d1b950587e32f650cd01d7328b5b1 to your computer and use it in GitHub Desktop.
Download ZIP
VSCode settings
Raw
latex.json
{
"definition": {
"prefix": "DEF",
"body": [
"\\begin{defn}",
"\t\\textbf{$1} \\\\\\",
"\t$2",
"\\end{defn}",
"$2"
]
},
"proof": {
"prefix": "PROOF",
"body": [
"\\begin{proof}",
"\t$1",
"\\end{proof}",
"$2"
]
},
"example": {
"prefix": "EXMP",
"body": [
"\\begin{exmp}",
"\t$1",
"\\end{exmp}",
"$2"
]
},
"exercise": {
"prefix": "EXRC",
"body": [
"\\begin{exrc}",
"\t$1",
"\\end{exrc}",
"$2"
]
},
"alignedequation" : {
"prefix": "BEQAL",
"body": [
"\\begin{equation*}",
"\t\\begin{aligned}",
"\t\t$1",
"\t\\end{aligned}",
"\\end{equation*}"
]
}
}
Raw
settings.json
{
"window.zoomLevel": 0,
"editor.suggestSelection": "first",
"vsintellicode.modify.editor.suggestSelection": "automaticallyOverrodeDefaultValue",
"latex-workshop.chktex.enabled": true,
"latex-workshop.synctex.afterBuild.enabled": true,
"latex-workshop.view.pdf.viewer": "tab",
"editor.fontSize": 12,
"prettifySymbolsMode.revealOn": "cursor",
"prettifySymbolsMode.adjustCursorMovement": false,
"prettifySymbolsMode.substitutions": [{
"language": "latex",
"revealOn": "selection",
"substitutions": [
{ "ugly": "\\\\alpha", "pretty": "α" },
{ "ugly": "\\\\beta", "pretty": "β" },
{ "ugly": "\\\\gamma", "pretty": "γ" },
{ "ugly": "\\\\delta", "pretty": "δ" },
{ "ugly": "\\\\epsilon", "pretty": "ε" },
{ "ugly": "\\\\zeta", "pretty": "ζ" },
{ "ugly": "\\\\eta", "pretty": "η" },
{ "ugly": "\\\\theta", "pretty": "θ" },
{ "ugly": "\\\\iota", "pretty": "ι" },
{ "ugly": "\\\\kappa", "pretty": "κ" },
{ "ugly": "\\\\lambda", "pretty": "λ" },
{ "ugly": "\\\\mu", "pretty": "μ" },
{ "ugly": "\\\\nu", "pretty": "ν" },
{ "ugly": "\\\\xi", "pretty": "ξ" },
{ "ugly": "\\\\omikron", "pretty": "o" },
{ "ugly": "\\\\pi", "pretty": "π" },
{ "ugly": "\\\\rho", "pretty": "ρ" },
{ "ugly": "\\\\sigma", "pretty": "σ" },
{ "ugly": "\\\\tau", "pretty": "τ" },
{ "ugly": "\\\\upsilon", "pretty": "υ" },
{ "ugly": "\\\\phi", "pretty": "φ" },
{ "ugly": "\\\\chi", "pretty": "χ" },
{ "ugly": "\\\\psi", "pretty": "ψ" },
{ "ugly": "\\\\omega", "pretty": "ω" },
{ "ugly": "\\\\Alpha", "pretty": "Α" },
{ "ugly": "\\\\Beta", "pretty": "Β" },
{ "ugly": "\\\\Gamma", "pretty": "Γ" },
{ "ugly": "\\\\Delta", "pretty": "Δ" },
{ "ugly": "\\\\Epsilon", "pretty": "Ε" },
{ "ugly": "\\\\Zeta", "pretty": "Ζ" },
{ "ugly": "\\\\Eta", "pretty": "Η" },
{ "ugly": "\\\\Theta", "pretty": "Θ" },
{ "ugly": "\\\\Iota", "pretty": "Ι" },
{ "ugly": "\\\\Kappa", "pretty": "Κ" },
{ "ugly": "\\\\Lambda", "pretty": "Λ" },
{ "ugly": "\\\\Mu", "pretty": "Μ" },
{ "ugly": "\\\\Nu", "pretty": "Ν" },
{ "ugly": "\\\\Xi", "pretty": "Ξ" },
{ "ugly": "\\\\Omikron", "pretty": "O" },
{ "ugly": "\\\\Pi", "pretty": "Π" },
{ "ugly": "\\\\Rho", "pretty": "Ρ" },
{ "ugly": "\\\\Sigma", "pretty": "Σ" },
{ "ugly": "\\\\Tau", "pretty": "Τ" },
{ "ugly": "\\\\Upsilon", "pretty": "Υ" },
{ "ugly": "\\\\Phi", "pretty": "Φ" },
{ "ugly": "\\\\Chi", "pretty": "Χ" },
{ "ugly": "\\\\Psi", "pretty": "Ψ" },
{ "ugly": "\\\\Omega", "pretty": "Ω" },
{ "ugly": "\\\\rightarrow", "pretty": "→" },
{ "ugly": "\\\\equiv", "pretty": "≡" },
{ "ugly": "\\\\forall", "pretty": "∀" },
{ "ugly": "\\\\lnot", "pretty": "¬" },
{ "ugly": "\\\\sum", "pretty": "Σ" },
{ "ugly": "\\\\implies", "pretty": "⇒" },
{ "ugly": "\\\\iff", "pretty": "⇔" },
{ "ugly": "\\\\emptyset", "pretty": "∅" },
{ "ugly": "\\\\in", "pretty": "∈", "post": "(?!\\w)|$" },
{ "ugly": "\\\\subset", "pretty": "⊂", "post": "(?!\\w)|$" },
{ "ugly": "\\\\cup", "pretty": "∪", "post": "(?!\\w)|$" },
{ "ugly": "\\\\cap", "pretty": "∩", "post": "(?!\\w)|$" },
{ "ugly": "\\\\subseteq", "pretty": "⊆" },
{ "ugly": "\\\\neq", "pretty": "≠" },
{ "ugly": "\\\\exists", "pretty": "∃" },
{ "ugly": "\\\\mid", "pretty": "|" },
{ "ugly": "\\\\land", "pretty": "∧" },
{ "ugly": "\\\\lor", "pretty": "∨" },
{ "ugly": "\\\\cdot", "pretty": "·" },
{ "ugly": "\\\\to", "pretty": "→" },
{ "ugly": "\\\\left\\(", "pretty": "(" },
{ "ugly": "\\\\left\\[", "pretty": "[" },
{ "ugly": "\\\\left\\{", "pretty": "{" },
{ "ugly": "\\\\right\\)", "pretty": ")" },
{ "ugly": "\\\\right\\]", "pretty": "]" },
{ "ugly": "\\\\right\\}", "pretty": "}" },
{ "ugly": "\\\\infty", "pretty": "∞" },
{ "ugly": "\\\\geq", "pretty": "≥" },
{ "ugly": "\\\\leq", "pretty": "≤" },
{ "ugly": "\\\\int", "pretty": "∫" },
{ "ugly": "\\\\iint", "pretty": "∫∫" },
{ "ugly": "\\\\C", "pretty": "ℂ", "post": "(?!\\w)|$" },
{ "ugly": "\\\\R", "pretty": "ℝ", "post": "(?!\\w)|$" },
{ "ugly": "\\\\N", "pretty": "ℕ", "post": "(?!\\w)|$" },
{ "ugly": "\\\\Q", "pretty": "ℚ", "post": "(?!\\w)|$" },
{ "ugly": "\\\\Z", "pretty": "ℤ", "post": "(?!\\w)|$" },
{ "ugly": "\\\\mathbb\\{C\\}", "pretty": "ℂ", "post": "(?!\\w)|$" },
{ "ugly": "\\\\mathbb\\{R\\}", "pretty": "ℝ", "post": "(?!\\w)|$" },
{ "ugly": "\\\\mathbb\\{N\\}", "pretty": "ℕ", "post": "(?!\\w)|$" },
{ "ugly": "\\\\mathbb\\{Q\\}", "pretty": "ℚ", "post": "(?!\\w)|$" },
{ "ugly": "\\\\mathbb\\{Z\\}", "pretty": "ℤ", "post": "(?!\\w)|$" }
]}, {
"language": ["lisp", "scheme"],
"revealOn": "selection",
"substitutions": [
{ "ugly": "lambda", "pretty": "λ" },
]}, {
"language": "haskell",
"revealOn": "selection",
"substitutions": [
{ "ugly": "\\\\", "pretty": "λ", "post": "\\s*(?:\\w|_).*?\\s*->" },
{ "ugly": "->", "pretty": "→" },
{ "ugly": "<-", "pretty": "←" },
{ "ugly": "&&", "pretty": "∧" },
{ "ugly": "||", "pretty": "∨" },
{ "ugly": "\\.", "pretty": "∘", "pre": "\\s"},
{ "ugly": "==", "pretty": "≡" },
{ "ugly": "forall", "pretty": "∀", "pre": "\\b", "post": "\\b" },
{ "ugly": "not\\s?", "pretty": "¬", "pre": "\\b", "post": "\\b" },
{ "ugly": ">", "pretty": ">", "pre": "[^=\\-<>]|^", "post": "[^=\\-<>]|$" },
{ "ugly": "<", "pretty": "<", "pre": "[^=\\-<>]|^", "post": "[^=\\-<>]|$" },
{ "ugly": ">=", "pretty": "≥", "pre": "[^=\\-<>]|^", "post": "[^=\\-<>]|$" },
{ "ugly": "<=", "pretty": "≤", "pre": "[^=\\-<>]|^", "post": "[^=\\-<>]|$" }
]},{
"language": "ocaml",
"revealOn": "selection",
"adjustCursorMovement": true,
"substitutions": [
{ "ugly": "fun", "pretty": "λ", "pre": "\\b", "post": "\\b" },
{ "ugly": "->", "pretty": "→", "pre": "[^->]", "post": "[^->]" },
{ "ugly": "List[.]for_all", "pretty": "∀", "pre": "\\b", "post": "\\b" },
{ "ugly": "List[.]exists", "pretty": "∃", "pre": "\\b", "post": "\\b" },
{ "ugly": "List[.]mem", "pretty": "∈", "pre": "\\b", "post": "\\b" },
{ "ugly": "\\|", "pretty": "|", "pre": "^\\s+" }
]},{
"language": "fsharp",
"substitutions": [
{ "ugly": "fun", "pretty": "λ", "pre": "\\b", "post": "\\b" },
{ "ugly": "->", "pretty": "→", "pre": "[^->]", "post": "[^->]" },
{ "ugly": "List[.]forall", "pretty": "∀", "pre": "\\b", "post": "\\b" },
{ "ugly": "List[.]exists", "pretty": "∃", "pre": "\\b", "post": "\\b" },
{ "ugly": ">>", "pretty": "≫", "pre": "[^=<>]|^", "post": "[^=<>]|$" },
{ "ugly": "<<", "pretty": "≪", "pre": "[^=<>]|^", "post": "[^=<>]|$" },
{ "ugly": "\\|", "pretty": "║", "pre": "^\\s+" }
]
}
], "debug.console.fontSize": 12,
"terminal.integrated.fontSize": 12,
"workbench.iconTheme": "vs-minimal",
"editor.minimap.enabled": false,
"editor.wordWrap": "wordWrapColumn",
"breadcrumbs.enabled": true,
"editor.renderControlCharacters": true,
"zenMode.hideLineNumbers": false,
"workbench.colorTheme": "Srcery-gagbo"
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment