From 86977706e23cd5b5202d09fd789f796e27f773f9 Mon Sep 17 00:00:00 2001 From: Tammo Steffens Date: Tue, 31 Mar 2026 12:43:40 +0200 Subject: [PATCH 1/3] updated lean symbol generation to be based on the npm package --- .gitignore | 1 + completions/lean-abbreviations.json | 1857 ------ completions/symbols+lean.json | 9482 --------------------------- package-lock.json | 8 + package.json | 4 +- scripts/README.md | 18 +- scripts/generate-symbols.mjs | 9 +- scripts/update-symbols.sh | 22 - 8 files changed, 30 insertions(+), 11371 deletions(-) delete mode 100644 completions/lean-abbreviations.json delete mode 100644 completions/symbols+lean.json delete mode 100755 scripts/update-symbols.sh diff --git a/.gitignore b/.gitignore index cfa4cea8..33cee3d2 100644 --- a/.gitignore +++ b/.gitignore @@ -13,3 +13,4 @@ __tests_output__/ ExampleFiles/ /cypress/screenshots/ coverage/ +completions/symbols+lean.json diff --git a/completions/lean-abbreviations.json b/completions/lean-abbreviations.json deleted file mode 100644 index f8d503b4..00000000 --- a/completions/lean-abbreviations.json +++ /dev/null @@ -1,1857 +0,0 @@ -{ - "{}": "{$CURSOR}", - "{}_": "{$CURSOR}_", - "{{}}": "⦃$CURSOR⦄", - "[]": "[$CURSOR]", - "[]_": "[$CURSOR]_", - "[[]]": "⟦$CURSOR⟧", - "<>": "⟨$CURSOR⟩", - "()": "($CURSOR)", - "()_": "($CURSOR)_", - "([])'": "⟮$CURSOR⟯", - "(())": "⸨$CURSOR⸩", - "f<>": "‹$CURSOR›", - "f<<>>": "«$CURSOR»", - "[--]": "⁅$CURSOR⁆", - "||||": "‖$CURSOR‖", - "nnnorm": "‖$CURSOR‖₊", - "norm": "‖$CURSOR‖", - "floor": "⌊$CURSOR⌋", - "ceil": "⌈$CURSOR⌉", - "nfloor": "⌊$CURSOR⌋₊", - "nceil": "⌈$CURSOR⌉₊", - "s[]": "⦋$CURSOR⦌", - "simplex": "⦋$CURSOR⦌", - "\\": "\\", - "a": "α", - "b": "β", - "c": "χ", - "d": "↓", - "e": "ε", - "g": "γ", - "i": "∩", - "m": "μ", - "n": "\\n", - "o": "∘", - "p": "Π", - "t": "▸", - "r": "→", - "u": "↑", - "v": "∨", - "x": "×", - "-": "⁻¹", - "~": "∼", - ".": "·", - "*": "⋆", - "!": "¬", - "?": "¿", - "1": "₁", - "2": "₂", - "3": "₃", - "4": "₄", - "5": "₅", - "6": "₆", - "7": "₇", - "8": "₈", - "9": "₉", - "0": "₀", - "l": "←", - "<": "⟨", - ">": "⟩", - "O": "Ø", - "&": "⅋", - "A": "𝔸", - "C": "ℂ", - "D": "Δ", - "F": "𝔽", - "G": "Γ", - "H": "ℍ", - "I": "⋂", - "I0": "⋂₀", - "K": "𝕂", - "L": "Λ", - "N": "ℕ", - "P": "Π", - "Q": "ℚ", - "R": "ℝ", - "S": "Σ", - "U": "⋃", - "U0": "⋃₀", - "Z": "ℤ", - "#": "♯", - ":": "∶", - "|": "∣", - "rw": "▸", - "coe": "↑", - "be": "β", - "ga": "γ", - "de": "δ", - "ep": "ε", - "ze": "ζ", - "et": "η", - "th": "θ", - "io": "ι", - "ka": "κ", - "la": "λ", - "mu": "μ", - "nu": "ν", - "xi": "ξ", - "pi": "π", - "rh": "ρ", - "vsi": "ς", - "si": "σ", - "ta": "τ", - "ph": "φ", - "ch": "χ", - "ps": "ψ", - "om": "ω", - "`A": "À", - "'A": "Á", - "^{A}": "Â", - "~A": "Ã", - "\"A": "Ä", - "-{A}": "Ā", - "cC": "Ç", - "`E": "È", - "'E": "É", - "^{E}": "Ê", - "\"E": "Ë", - "-{E}": "Ē", - "`I": "Ì", - "'I": "Í", - "^{I}": "Î", - "\"I": "Ï", - "-{I}": "Ī", - "~N": "Ñ", - "`O": "Ò", - "'O": "Ó", - "^{O}": "Ô", - "~O": "Õ", - "\"O": "Ö", - "/O": "Ø", - "-{O}": "Ō", - "`U": "Ù", - "'U": "Ú", - "^{U}": "Û", - "\"U": "Ü", - "-{U}": "Ū", - "'Y": "Ý", - "`a": "à", - "'a": "á", - "^{a}": "â", - "~a": "ã", - "\"a": "ä", - "-{a}": "ā", - "cc": "ç", - "`e": "è", - "'e": "é", - "^{e}": "ê", - "\"e": "ë", - "-{e}": "ē", - "`i": "ì", - "'i": "í", - "^{i}": "î", - "\"i": "ï", - "-{i}": "ī", - "~{n}": "ñ", - "`o": "ò", - "'o": "ó", - "^{o}": "ô", - "~o": "õ", - "\"o": "ö", - "/o": "ø", - "-{o}": "ō", - "`u": "ù", - "'u": "ú", - "^{u}": "û", - "\"u": "ü", - "-{u}": "ū", - "'y": "ý", - "\"y": "ÿ", - "/L": "Ł", - "note": "♩", - "not": "¬", - "notin": "∉", - "notlt": "≮", - "nomisma": "𐆎", - "nin": "∉", - "nni": "∌", - "ni": "∋", - "nattrans": "⟹", - "nat_trans": "⟹", - "natural": "♮", - "nat": "ℕ", - "naira": "₦", - "nabla": "∇", - "napprox": "≉", - "numero": "№", - "nLeftarrow": "⇍", - "nLeftrightarrow": "⇎", - "nRightarrow": "⇏", - "nVDash": "⊯", - "nVdash": "⊮", - "ncong": "≇", - "nearrow": "↗", - "neg": "¬", - "nequiv": "≢", - "neq": "≠", - "nexists": "∄", - "ne": "≠", - "ngeqq": "≱", - "ngeqslant": "≱", - "ngeq": "≱", - "ngtr": "≯", - "nleftarrow": "↚", - "nleftrightarrow": "↮", - "nleqq": "≰", - "nleqslant": "≰", - "nleq": "≰", - "nless": "≮", - "nmid": "∤", - "nparallel": "∦", - "npreceq": "⋠", - "nprec": "⊀", - "nrightarrow": "↛", - "nshortmid": "∤", - "nsimeq": "≄", - "nsim": "≁", - "nsubseteqq": "⊈", - "nsubseteq": "⊈", - "nsubset": "⊄", - "nsucceq": "⋡", - "nsucc": "⊁", - "nsupseteqq": "⊉", - "nsupseteq": "⊉", - "nsupset": "⊅", - "ntrianglelefteq": "⋬", - "ntriangleleft": "⋪", - "ntrianglerighteq": "⋭", - "ntriangleright": "⋫", - "nvDash": "⊭", - "nvdash": "⊬", - "nwarrow": "↖", - "eqn": "≠", - "equiv": "≃", - "eqcirc": "≖", - "eqcolon": "≕", - "eqslantgtr": "⋝", - "eqslantless": "⋜", - "entails": "⊢", - "en": "–", - "exn": "∄", - "exists": "∃", - "ex": "∃", - "emptyset": "∅", - "empty": "∅", - "em": "—", - "epsilon": "ε", - "eps": "ε", - "euro": "€", - "eta": "η", - "ell": "ℓ", - "iso": "≅", - "in": "∈", - "inn": "∉", - "inter": "∩", - "intercal": "⊺", - "intersection": "∩", - "integral": "∫", - "integral-": "⨍", - "int": "ℤ", - "inv": "⁻¹", - "increment": "∆", - "inf": "⊓", - "infi": "⨅", - "infty": "∞", - "iff": "↔", - "imp": "→", - "imath": "ı", - "iota": "ι", - "=n": "≠", - "==n": "≢", - "===": "≣", - "==>": "⟹", - "==": "≡", - "=:": "≕", - "=o": "≗", - "=>n": "⇏", - "=>": "⇒", - "~n": "≁", - "~~n": "≉", - "~~~": "≋", - "~~-": "≊", - "~~": "≈", - "~-n": "≄", - "~-": "≃", - "~=n": "≇", - "~=": "≅", - "homotopy": "∼", - "hom": "⟶", - "hori": "ϩ", - "hookleftarrow": "↩", - "hookrightarrow": "↪", - "hryvnia": "₴", - "heta": "ͱ", - "heartsuit": "♥", - "hbar": "ℏ", - ":~": "∻", - ":=": "≔", - "::-": "∺", - "::": "∷", - "-~": "≂", - "-|": "⊣", - "-1": "⁻¹", - "^-1": "⁻¹", - "-2": "⁻²", - "-3": "⁻³", - "-:": "∹", - "->n": "↛", - "->": "→", - "-->": "⟶", - "---": "─", - "--=": "═", - "--_": "━", - "--.": "╌", - "-o": "⊸", - ".=.": "≑", - ".=": "≐", - ".+": "∔", - ".-": "∸", - "...": "⋯", - "(=": "≘", - "(b": "⟅", - "and=": "≙", - "and": "∧", - "an": "∧", - "angle": "∠", - "rightangle": "∟", - "angstrom": "Å", - "all": "∀", - "allf": "∀ᶠ", - "all^f": "∀ᶠ", - "allm": "∀ᵐ", - "all^m": "∀ᵐ", - "alpha": "α", - "aleph": "ℵ", - "aleph0": "ℵ₀", - "asterisk": "⁎", - "ast": "∗", - "asymp": "≍", - "apl": "⌶", - "approxeq": "≊", - "approx": "≈", - "aa": "å", - "ae": "æ", - "austral": "₳", - "afghani": "؋", - "amalg": "∐", - "average": "⨍", - "-int": "⨍", - "or=": "≚", - "ordfeminine": "ª", - "ordmasculine": "º", - "or": "∨", - "oplus": "⊕", - "od": "ᵒᵈ", - "orderdual": "ᵒᵈ", - "addopposite": "ᵃᵒᵖ", - "aop": "ᵃᵒᵖ", - "mulopposite": "ᵐᵒᵖ", - "mop": "ᵐᵒᵖ", - "opposite": "ᵒᵖ", - "op": "ᵒᵖ", - "o+": "⊕", - "o--": "⊖", - "o-": "⊝", - "ox": "⊗", - "o/": "⊘", - "o.": "⊙", - "oo": "⊚", - "o*": "∘*", - "o=": "⊜", - "oe": "œ", - "octagonal": "🛑", - "ohm": "Ω", - "ounce": "℥", - "omega": "ω", - "omicron": "ο", - "ominus": "⊖", - "odot": "⊙", - "oint": "∮", - "oiint": "∯", - "oslash": "⊘", - "otimes": "⊗", - "tensorproduct": "⊗", - "pitensorproduct": "⨂", - "tensorpower": "⨂", - "pd": "∂", - "*=": "≛", - "t=": "≜", - "tint": "∯", - "transport": "▹", - "trans": "▹", - "triangledown": "▿", - "trianglelefteq": "⊴", - "triangleleft": "◃", - "triangleq": "≜", - "trianglerighteq": "⊵", - "triangleright": "▹", - "triangle": "▵", - "tr": "⬝", - "tb": "◂", - "twoheadleftarrow": "↞", - "twoheadrightarrow": "↠", - "tw": "◃", - "tie": "⁀", - "times": "×", - "theta": "θ", - "therefore": "∴", - "thickapprox": "≈", - "thicksim": "∼", - "telephone": "℡", - "tenge": "₸", - "textmusicalnote": "♪", - "textmu": "µ", - "textfractionsolidus": "⁄", - "textbaht": "฿", - "textdied": "✝", - "textdiscount": "⁒", - "textcolonmonetary": "₡", - "textcircledP": "℗", - "textwon": "₩", - "textnaira": "₦", - "textnumero": "№", - "textpeso": "₱", - "textpertenthousand": "‱", - "textlira": "₤", - "textlquill": "⁅", - "textrecipe": "℞", - "textreferencemark": "※", - "textrquill": "⁆", - "textinterrobang": "‽", - "textestimated": "℮", - "textopenbullet": "◦", - "tugrik": "₮", - "tau": "τ", - "top": "⊤", - "to": "→", - "to0": "→₀", - "r0": "→₀", - "to_0": "→₀", - "r_0": "→₀", - "finsupp": "→₀", - "to1": "→₁", - "r1": "→₁", - "to_1": "→₁", - "r_1": "→₁", - "l1": "→₁", - "to1s": "→₁ₛ", - "r1s": "→₁ₛ", - "to_1s": "→₁ₛ", - "r_1s": "→₁ₛ", - "l1simplefunc": "→₁ₛ", - "toa": "→ₐ", - "ra": "→ₐ", - "to_a": "→ₐ", - "r_a": "→ₐ", - "alghom": "→ₐ", - "tob": "→ᵇ", - "rb": "→ᵇ", - "to^b": "→ᵇ", - "r^b": "→ᵇ", - "boundedcontinuousfunction": "→ᵇ", - "tol": "→ₗ", - "rl": "→ₗ", - "to_l": "→ₗ", - "r_l": "→ₗ", - "linearmap": "→ₗ", - "tosl": "→ₛₗ", - "rsl": "→ₛₗ", - "to_sl": "→ₛₗ", - "r_sl": "→ₛₗ", - "semilinearmap": "→ₛₗ", - "tom": "→ₘ", - "rm": "→ₘ", - "to_m": "→ₘ", - "r_m": "→ₘ", - "aeeqfun": "→ₘ", - "rp": "→ₚ", - "to_p": "→ₚ", - "r_p": "→ₚ", - "dfinsupp": "→ₚ", - "tos": "→ₛ", - "rs": "→ₛ", - "to_s": "→ₛ", - "r_s": "→ₛ", - "simplefunc": "→ₛ", - "heyting": "⇨", - "himp": "⇨", - "hnot": "￢", - "covers": "⋖", - "covby": "⋖", - "wcovby": "⩿", - "wcovers": "⩿", - "def=": "≝", - "defs": "≙", - "degree": "°", - "dei": "ϯ", - "delta": "δ", - "doteqdot": "≑", - "doteq": "≐", - "dotplus": "∔", - "dotsquare": "⊡", - "dot": "·", - "dong": "₫", - "downarrow": "↓", - "downdownarrows": "⇊", - "downleftharpoon": "⇃", - "downrightharpoon": "⇂", - "dr-": "↘", - "dr=": "⇘", - "drachma": "₯", - "dr": "↘", - "dl-": "↙", - "dl=": "⇙", - "dl": "↙", - "d-2": "⇊", - "d-u-": "⇵", - "d-|": "↧", - "d-": "↓", - "d==": "⟱", - "d=": "⇓", - "dd-": "↡", - "ddagger": "‡", - "ddag": "‡", - "ddots": "⋱", - "dz": "↯", - "dib": "◆", - "diw": "◇", - "di.": "◈", - "die": "⚀", - "division": "÷", - "divideontimes": "⋇", - "div": "÷", - "diameter": "⌀", - "diamondsuit": "♢", - "diamond": "⋄", - "digamma": "ϝ", - "di": "◆", - "dagger": "†", - "dag": "†", - "daleth": "ℸ", - "dashv": "⊣", - "dh": "ð", - "dvd": "∣", - "m=": "≞", - "meet": "⊓", - "member": "∈", - "mem": "∈", - "measuredangle": "∡", - "ma": "↦", - "mapsto": "↦", - "male": "♂", - "maltese": "✠", - "manat": "₼", - "mathscr{I}": "ℐ", - "minus": "−", - "mill": "₥", - "micro": "µ", - "mid": "∣", - "multiplication": "×", - "multimap": "⊸", - "mho": "℧", - "models": "⊧", - "mp": "∓", - "?=": "≟", - "??": "⁇", - "?!": "‽", - "prohibited": "🛇", - "prod": "∏", - "propto": "∝", - "precapprox": "≾", - "preceq": "≼", - "precnapprox": "⋨", - "precnsim": "⋨", - "precsim": "≾", - "prec": "≺", - "preim": "⁻¹'", - "preimage": "⁻¹'", - "prime": "′", - "pr": "↣", - "powerset": "𝒫", - "pounds": "£", - "pound": "£", - "pab": "▰", - "paw": "▱", - "partnership": "㉐", - "partial": "∂", - "paragraph": "¶", - "parallel": "∥", - "pa": "▰", - "pm": "±", - "perp": "⟂", - "^perp": "ᗮ", - "permil": "‰", - "per": "⅌", - "peso": "₱", - "peseta": "₧", - "pilcrow": "¶", - "pitchfork": "⋔", - "psi": "ψ", - "phi": "φ", - "leqn": "≰", - "leqq": "≦", - "leqslant": "≤", - "leq": "≤", - "len": "≰", - "leadsto": "↝", - "leftarrowtail": "↢", - "leftarrow": "←", - "leftharpoondown": "↽", - "leftharpoonup": "↼", - "leftleftarrows": "⇇", - "leftrightarrows": "⇆", - "leftrightarrow": "↔", - "leftrightharpoons": "⇋", - "leftrightsquigarrow": "↭", - "leftthreetimes": "⋋", - "lessapprox": "≲", - "lessdot": "⋖", - "lesseqgtr": "⋚", - "lesseqqgtr": "⋚", - "lessgtr": "≶", - "lesssim": "≲", - "le": "≤", - "lub": "⊔", - "lr--": "⟷", - "lr-n": "↮", - "lr-": "↔", - "lr=n": "⇎", - "lr=": "⇔", - "lr~": "↭", - "lrcorner": "⌟", - "lr": "↔", - "l-2": "⇇", - "l-r-": "⇆", - "l--": "⟵", - "l-n": "↚", - "l-|": "↤", - "l->": "↢", - "l-": "←", - "l==": "⇚", - "l=n": "⇍", - "l=": "⇐", - "l~": "↜", - "ll-": "↞", - "llcorner": "⌞", - "llbracket": "〚", - "ll": "≪", - "lbag": "⟅", - "lambda": "λ", - "lamda": "λ", - "lam": "λ", - "lari": "₾", - "langle": "⟨", - "lira": "₤", - "lceil": "⌈", - "ldots": "…", - "ldq": "“", - "ldata": "《", - "lfloor": "⌊", - "lf": "⧏", - "<|": "⧏", - "lhd": "◁", - "lnapprox": "⋦", - "lneqq": "≨", - "lneq": "≨", - "lnsim": "⋦", - "lnot": "¬", - "longleftarrow": "⟵", - "longleftrightarrow": "⟷", - "longrightarrow": "⟶", - "looparrowleft": "↫", - "looparrowright": "↬", - "lozenge": "✧", - "lq": "‘", - "ltimes": "⋉", - "lvertneqq": "≨", - "geqn": "≱", - "geqq": "≧", - "geqslant": "≥", - "geq": "≥", - "gen": "≱", - "gets": "←", - "ge": "≥", - "glb": "⊓", - "glqq": "„", - "glq": "‚", - "guarani": "₲", - "gangia": "ϫ", - "gamma": "γ", - "ggg": "⋙", - "gg": "≫", - "gimel": "ℷ", - "gnapprox": "⋧", - "gneqq": "≩", - "gneq": "≩", - "gnsim": "⋧", - "gtrapprox": "≳", - "gtrdot": "⋗", - "gtreqless": "⋛", - "gtreqqless": "⋛", - "gtrless": "≷", - "gtrsim": "≳", - "gvertneqq": "≩", - "grqq": "“", - "grq": "‘", - "<=n": "≰", - "<=>n": "⇎", - "<=>": "⇔", - "<=": "≤", - "<~nn": "≴", - "<~n": "⋦", - "<~": "≲", - "<:": "⋖", - ":>": "⋗", - "<->n": "↮", - "<->": "↔", - "<-->": "⟷", - "<--": "⟵", - "<-n": "↚", - "<-": "←", - "<<": "⟪", - ">=n": "≱", - ">=": "≥", - ">n": "≯", - ">~nn": "≵", - ">~n": "⋧", - ">~": "≳", - ">>": "⟫", - "root": "√", - "scissor": "✂", - "ssubn": "⊄", - "ssub": "⊂", - "ssupn": "⊅", - "ssup": "⊃", - "ssqub": "⊏", - "ssqup": "⊐", - "ss": "⊆", - "subn": "⊈", - "subseteqq": "⊆", - "subseteq": "⊆", - "subsetneqq": "⊊", - "subsetneq": "⊊", - "subset": "⊆", - "ssubset": "⊂", - "sub": "⊆", - "supn": "⊉", - "supseteqq": "⊇", - "supseteq": "⊇", - "supsetneqq": "⊋", - "supsetneq": "⊋", - "supset": "⊇", - "ssupset": "⊃", - "sUnion": "⋃₀", - "sInter": "⋂₀", - "sup": "⊔", - "supr": "⨆", - "surd3": "∛", - "surd4": "∜", - "surd": "√", - "succapprox": "≿", - "succcurlyeq": "≽", - "succeq": "≽", - "succnapprox": "⋩", - "succnsim": "⋩", - "succsim": "≿", - "succ": "≻", - "sum": "∑", - "specializes": "⤳", - "~>": "⤳", - "squbn": "⋢", - "squb": "⊑", - "squpn": "⋣", - "squp": "⊒", - "square": "□", - "squigarrowright": "⇝", - "sqb": "■", - "sqw": "□", - "sq.": "▣", - "sqo": "▢", - "sqcap": "⊓", - "sqcup": "⊔", - "sqrt": "√", - "sqsubseteq": "⊑", - "sqsubset": "⊏", - "sqsupseteq": "⊒", - "sqsupset": "⊐", - "sq": "◾", - "sy": "⁻¹", - "symmdiff": "∆", - "st4": "✦", - "st6": "✶", - "st8": "✴", - "st12": "✹", - "stigma": "ϛ", - "star": "⋆", - "straightphi": "φ", - "st": "⋆", - "spesmilo": "₷", - "span": "∙", - "spadesuit": "♠", - "sphericalangle": "∢", - "section": "§", - "searrow": "↘", - "setminus": "\\", - "san": "ϻ", - "sampi": "ϡ", - "shortmid": "∣", - "sho": "ϸ", - "shima": "ϭ", - "shei": "ϣ", - "sharp": "♯", - "sigma": "σ", - "simeq": "≃", - "sim": "∼", - "sbs": "﹨", - "smallamalg": "∐", - "smallsetminus": "∖", - "smallsmile": "⌣", - "smile": "⌣", - "smul": "•", - "swarrow": "↙", - "Tr": "◀", - "Tb": "◀", - "Tw": "◁", - "Tau": "Τ", - "Theta": "Θ", - "TH": "Þ", - "union": "∪", - "undertie": "‿", - "uncertainty": "⯑", - "un": "∪", - "u+": "⊎", - "u.": "⊍", - "ud-|": "↨", - "ud-": "↕", - "ud=": "⇕", - "ud": "↕", - "ul-": "↖", - "ul=": "⇖", - "ulcorner": "⌜", - "ul": "↖", - "ur-": "↗", - "ur=": "⇗", - "urcorner": "⌝", - "ur": "↗", - "u-2": "⇈", - "u-d-": "⇅", - "u-|": "↥", - "u-": "↑", - "u==": "⟰", - "u=": "⇑", - "uu-": "↟", - "upsilon": "υ", - "uparrow": "↑", - "updownarrow": "↕", - "upleftharpoon": "↿", - "uplus": "⊎", - "uprightharpoon": "↾", - "upuparrows": "⇈", - "And": "⋀", - "AA": "Å", - "AE": "Æ", - "Alpha": "Α", - "Or": "⋁", - "O+": "⨁", - "directsum": "⨁", - "Ox": "⨂", - "O.": "⨀", - "O*": "⍟", - "OE": "Œ", - "Omega": "Ω", - "Omicron": "Ο", - "Int": "ℤ", - "Inter": "⋂", - "bInter": "⋂", - "Iota": "Ι", - "Im": "ℑ", - "Un": "⋃", - "Union": "⋃", - "bUnion": "⋃", - "U+": "⨄", - "U.": "⨃", - "Upsilon": "Υ", - "Uparrow": "⇑", - "Updownarrow": "⇕", - "Gl-": "ƛ", - "Gl": "λ", - "Gangia": "Ϫ", - "Gamma": "Γ", - "Glb": "⨅", - "Ga": "α", - "GA": "Α", - "Gb": "β", - "GB": "Β", - "Gg": "γ", - "GG": "Γ", - "Gd": "δ", - "GD": "Δ", - "Ge": "ε", - "GE": "Ε", - "Gz": "ζ", - "GZ": "Ζ", - "Gth": "θ", - "Gt": "τ", - "GTH": "Θ", - "GT": "Τ", - "Gi": "ι", - "GI": "Ι", - "Gk": "κ", - "GK": "Κ", - "GL": "Λ", - "Gm": "μ", - "GM": "Μ", - "Gn": "ν", - "GN": "Ν", - "Gx": "ξ", - "GX": "Ξ", - "Gr": "ρ", - "GR": "Ρ", - "Gs": "σ", - "GS": "Σ", - "Gu": "υ", - "GU": "Υ", - "Gf": "φ", - "GF": "Φ", - "Gc": "χ", - "GC": "Χ", - "Gp": "ψ", - "GP": "Ψ", - "Go": "ω", - "GO": "Ω", - "Inf": "⨅", - "Join": "⨆", - "Lub": "⨆", - "Lambda": "Λ", - "Lamda": "Λ", - "Leftarrow": "⇐", - "Leftrightarrow": "⇔", - "Letter": "✉", - "Lleftarrow": "⇚", - "Ll": "⋘", - "Longleftarrow": "⇐", - "Longleftrightarrow": "⇔", - "Longrightarrow": "⇒", - "Meet": "⨅", - "Sup": "⨆", - "Sqcap": "⨅", - "Sqcup": "⨆", - "Lsh": "↰", - "|-n": "⊬", - "|-": "⊢", - "|=n": "⊭", - "|=": "⊨", - "|->": "↦", - "|=>": "⇰", - "||-n": "⊮", - "||-": "⊩", - "||=n": "⊯", - "||=": "⊫", - "|||-": "⊪", - "||": "‖", - "fuzzy": "‖", - "|n": "∤", - "Com": "ℂ", - "Chi": "Χ", - "Cap": "⋒", - "Cup": "⋓", - "cul": "⌜", - "cuL": "⌈", - "currency": "¤", - "curlyeqprec": "⋞", - "curlyeqsucc": "⋟", - "curlypreceq": "≼", - "curlyvee": "⋎", - "curlywedge": "⋏", - "curvearrowleft": "↶", - "curvearrowright": "↷", - "cur": "⌝", - "cuR": "⌉", - "cup": "∪", - "cu": "⌜", - "cll": "⌞", - "clL": "⌊", - "clr": "⌟", - "clR": "⌋", - "clubsuit": "♣", - "cl": "⌞", - "construction": "🚧", - "cong": "≅", - "con": "⬝", - "compl": "ᶜ", - "complement": "ᶜ", - "complementprefix": "∁", - "Complement": "∁", - "comp": "∘", - "com": "ℂ", - "coloneq": "≔", - "colon": "₡", - "copyright": "©", - "cdots": "⋯", - "cdot": "·", - "cib": "●", - "ciw": "○", - "ci..": "◌", - "ci.": "◎", - "ciO": "◯", - "circeq": "≗", - "circlearrowleft": "↺", - "circlearrowright": "↻", - "circledR": "®", - "circledS": "Ⓢ", - "circledast": "⊛", - "circledcirc": "⊚", - "circleddash": "⊝", - "circ": "∘", - "ci": "●", - "centerdot": "·", - "cent": "¢", - "cedi": "₵", - "celsius": "℃", - "ce": "ȩ", - "checkmark": "✓", - "chi": "χ", - "cruzeiro": "₢", - "caution": "☡", - "cap": "∩", - "qed": "∎", - "quad": " ", - "quot": "⧸", - "bigsolidus": "⧸", - "/": "⧸", - "+ ": "⊹", - "b+": "⊞", - "b-": "⊟", - "bx": "⊠", - "b.": "⊡", - "bn": "ℕ", - "bz": "ℤ", - "bq": "ℚ", - "brokenbar": "¦", - "br": "ℝ", - "bc": "ℂ", - "bp": "ℙ", - "bb": "𝔹", - "bsum": "⅀", - "b0": "𝟘", - "b1": "𝟙", - "b2": "𝟚", - "b3": "𝟛", - "b4": "𝟜", - "b5": "𝟝", - "b6": "𝟞", - "b7": "𝟟", - "b8": "𝟠", - "b9": "𝟡", - "sb0": "𝟬", - "sb1": "𝟭", - "sb2": "𝟮", - "sb3": "𝟯", - "sb4": "𝟰", - "sb5": "𝟱", - "sb6": "𝟲", - "sb7": "𝟳", - "sb8": "𝟴", - "sb9": "𝟵", - "bub": "•", - "buw": "◦", - "but": "‣", - "bumpeq": "≏", - "bu": "•", - "biohazard": "☣", - "bihimp": "⇔", - "bigcap": "⋂", - "bigcirc": "◯", - "bigcoprod": "∐", - "bigcup": "⋃", - "bigglb": "⨅", - "biginf": "⨅", - "bigjoin": "⨆", - "biglub": "⨆", - "bigmeet": "⨅", - "bigsqcap": "⨅", - "bigsqcup": "⨆", - "bigstar": "★", - "bigsup": "⨆", - "bigtriangledown": "▽", - "bigtriangleup": "△", - "bigvee": "⋁", - "bigwedge": "⋀", - "beta": "β", - "beth": "ℶ", - "between": "≬", - "because": "∵", - "backcong": "≌", - "backepsilon": "∍", - "backprime": "‵", - "backsimeq": "⋍", - "backsim": "∽", - "barwedge": "⊼", - "blacklozenge": "✦", - "blacksquare": "▪", - "blacksmiley": "☻", - "blacktriangledown": "▾", - "blacktriangleleft": "◂", - "blacktriangleright": "▸", - "blacktriangle": "▴", - "bot": "⊥", - "^bot": "ᗮ", - "bowtie": "⋈", - "boxminus": "⊟", - "boxmid": "◫", - "hcomp": "◫", - "boxplus": "⊞", - "boxtimes": "⊠", - "join": "⊔", - "r-2": "⇉", - "r-3": "⇶", - "r-l-": "⇄", - "r--": "⟶", - "r-n": "↛", - "r-|": "↦", - "r->": "↣", - "r-o": "⊸", - "r-": "→", - "r==": "⇛", - "r=n": "⇏", - "r=": "⇒", - "r~": "↝", - "rr-": "↠", - "reb": "▬", - "rew": "▭", - "real": "ℝ", - "registered": "®", - "re": "▬", - "rbag": "⟆", - "rat": "ℚ", - "radioactive": "☢", - "rrbracket": "〛", - "rangle": "⟩", - "rq": "’", - "rightarrowtail": "↣", - "rightarrow": "→", - "rightharpoondown": "⇁", - "rightharpoonup": "⇀", - "rightleftarrows": "⇄", - "rightleftharpoons": "⇌", - "rightrightarrows": "⇉", - "rightthreetimes": "⋌", - "risingdotseq": "≓", - "ruble": "₽", - "rupee": "₨", - "rho": "ρ", - "rhd": "▷", - "rceil": "⌉", - "rfloor": "⌋", - "rtimes": "⋊", - "rdq": "”", - "rdata": "》", - "functor": "⥤", - "fun": "λ", - "f<<": "«", - "f>>": "»", - "f<": "‹", - "f>": "›", - "finprod": "∏ᶠ", - "finsum": "∑ᶠ", - "frac12": "½", - "frac13": "⅓", - "frac14": "¼", - "frac15": "⅕", - "frac16": "⅙", - "frac18": "⅛", - "frac1": "⅟", - "frac23": "⅔", - "frac25": "⅖", - "frac34": "¾", - "frac35": "⅗", - "frac38": "⅜", - "frac45": "⅘", - "frac56": "⅚", - "frac58": "⅝", - "frac78": "⅞", - "frac": "¼", - "frown": "⌢", - "frqq": "»", - "frq": "›", - "female": "♀", - "fei": "ϥ", - "facsimile": "℻", - "fallingdotseq": "≒", - "flat": "♭", - "flqq": "«", - "flq": "‹", - "forall": "∀", - ")b": "⟆", - "[[": "⟦", - "]]": "⟧", - "{{": "⦃", - "}}": "⦄", - "((": "⸨", - "))": "⸩", - "([": "⟮", - "])": "⟯", - "Xi": "Ξ", - "Nat": "ℕ", - "Nu": "Ν", - "Zeta": "Ζ", - "Rat": "ℚ", - "Real": "ℝ", - "Re": "ℜ", - "Rho": "Ρ", - "Rightarrow": "⇒", - "Rrightarrow": "⇛", - "Rsh": "↱", - "Fei": "Ϥ", - "Frowny": "☹", - "Hori": "Ϩ", - "Heta": "Ͱ", - "Khei": "Ϧ", - "Koppa": "Ϟ", - "Kappa": "Κ", - "^a": "ᵃ", - "^b": "ᵇ", - "^c": "ᶜ", - "^d": "ᵈ", - "^e": "ᵉ", - "^f": "ᶠ", - "^g": "ᵍ", - "^h": "ʰ", - "^i": "ⁱ", - "^j": "ʲ", - "^k": "ᵏ", - "^l": "ˡ", - "^m": "ᵐ", - "^n": "ⁿ", - "^o": "ᵒ", - "^p": "ᵖ", - "^r": "ʳ", - "^s": "ˢ", - "^t": "ᵗ", - "^u": "ᵘ", - "^v": "ᵛ", - "^w": "ʷ", - "^x": "ˣ", - "^y": "ʸ", - "^z": "ᶻ", - "^A": "ᴬ", - "^B": "ᴮ", - "^D": "ᴰ", - "^E": "ᴱ", - "^G": "ᴳ", - "^H": "ᴴ", - "^I": "ᴵ", - "^J": "ᴶ", - "^K": "ᴷ", - "^L": "ᴸ", - "^M": "ᴹ", - "^N": "ᴺ", - "^O": "ᴼ", - "^P": "ᴾ", - "^R": "ᴿ", - "^T": "ᵀ", - "^U": "ᵁ", - "^V": "ⱽ", - "^W": "ᵂ", - "^0": "⁰", - "^1": "¹", - "^2": "²", - "^3": "³", - "^4": "⁴", - "^5": "⁵", - "^6": "⁶", - "^7": "⁷", - "^8": "⁸", - "^9": "⁹", - "^)": "⁾", - "^(": "⁽", - "^=": "⁼", - "^+": "⁺", - "^o_": "º", - "^-": "⁻", - "^a_": "ª", - "^uhook": "ꭟ", - "^ubar": "ᶶ", - "^upsilon": "ᶷ", - "^ltilde": "ꭞ", - "^ls": "ꭝ", - "^lhook": "ᶪ", - "^lretroflexhook": "ᶩ", - "^oe": "ꟹ", - "^heng": "ꭜ", - "^hhook": "ʱ", - "^hwithhook": "ʱ", - "^Hstroke": "ꟸ", - "^theta": "ᶿ", - "^turnedv": "ᶺ", - "^turnedmleg": "ᶭ", - "^turnedm": "ᵚ", - "^turnedh": "ᶣ", - "^turnedalpha": "ᶛ", - "^turnedae": "ᵆ", - "^turneda": "ᵄ", - "^turnedi": "ᵎ", - "^turnede": "ᵌ", - "^turnedrhook": "ʵ", - "^turnedrwithhook": "ʵ", - "^turnedr": "ʴ", - "^twithpalatalhook": "ᶵ", - "^otop": "ᵔ", - "^ezh": "ᶾ", - "^esh": "ᶴ", - "^eth": "ᶞ", - "^eng": "ᵑ", - "^zcurl": "ᶽ", - "^zretroflexhook": "ᶼ", - "^vhook": "ᶹ", - "^Ismall": "ᶦ", - "^Lsmall": "ᶫ", - "^Nsmall": "ᶰ", - "^Usmall": "ᶸ", - "^Istroke": "ᶧ", - "^Rinverted": "ʶ", - "^ccurl": "ᶝ", - "^chi": "ᵡ", - "^shook": "ᶳ", - "^gscript": "ᶢ", - "^schwa": "ᵊ", - "^usideways": "ᵙ", - "^phi": "ᶲ", - "^obarred": "ᶱ", - "^beta": "ᵝ", - "^obottom": "ᵕ", - "^nretroflexhook": "ᶯ", - "^nlefthook": "ᶮ", - "^mhook": "ᶬ", - "^jtail": "ᶨ", - "^iota": "ᶥ", - "^istroke": "ᶤ", - "^ereversedopen": "ᶟ", - "^stop": "ˤ", - "^varphi": "ᵠ", - "^vargamma": "ᵞ", - "^gamma": "ˠ", - "^ain": "ᵜ", - "^alpha": "ᵅ", - "^oopen": "ᵓ", - "^eopen": "ᵋ", - "^Ou": "ᴽ", - "^Nreversed": "ᴻ", - "^Ereversed": "ᴲ", - "^Bbarred": "ᴯ", - "^Ae": "ᴭ", - "^SM": "℠", - "^TEL": "℡", - "^TM": "™", - "_a": "ₐ", - "_e": "ₑ", - "_h": "ₕ", - "_i": "ᵢ", - "_j": "ⱼ", - "_k": "ₖ", - "_l": "ₗ", - "_m": "ₘ", - "_n": "ₙ", - "_o": "ₒ", - "_p": "ₚ", - "_r": "ᵣ", - "_s": "ₛ", - "_t": "ₜ", - "_u": "ᵤ", - "_v": "ᵥ", - "_x": "ₓ", - "_0": "₀", - "_1": "₁", - "_2": "₂", - "_3": "₃", - "_4": "₄", - "_5": "₅", - "_6": "₆", - "_7": "₇", - "_8": "₈", - "_9": "₉", - "_)": "₎", - "_(": "₍", - "_=": "₌", - "_+": "₊", - "_--": "̲", - "_-": "₋", - "!!": "‼", - "!?": "⁉", - "San": "Ϻ", - "Sampi": "Ϡ", - "Sho": "Ϸ", - "Shima": "Ϭ", - "Shei": "Ϣ", - "Stigma": "Ϛ", - "Sigma": "Σ", - "Subset": "⋐", - "Supset": "⋑", - "Smiley": "☺", - "Psi": "Ψ", - "Phi": "Φ", - "Pi": "Π", - "Pi0": "Π₀", - "P0": "Π₀", - "Pi_0": "Π₀", - "P_0": "Π₀", - "bfA": "𝐀", - "bfB": "𝐁", - "bfC": "𝐂", - "bfD": "𝐃", - "bfE": "𝐄", - "bfF": "𝐅", - "bfG": "𝐆", - "bfH": "𝐇", - "bfI": "𝐈", - "bfJ": "𝐉", - "bfK": "𝐊", - "bfL": "𝐋", - "bfM": "𝐌", - "bfN": "𝐍", - "bfO": "𝐎", - "bfP": "𝐏", - "bfQ": "𝐐", - "bfR": "𝐑", - "bfS": "𝐒", - "bfT": "𝐓", - "bfU": "𝐔", - "bfV": "𝐕", - "bfW": "𝐖", - "bfX": "𝐗", - "bfY": "𝐘", - "bfZ": "𝐙", - "bfa": "𝐚", - "bfb": "𝐛", - "bfc": "𝐜", - "bfd": "𝐝", - "bfe": "𝐞", - "bff": "𝐟", - "bfg": "𝐠", - "bfh": "𝐡", - "bfi": "𝐢", - "bfj": "𝐣", - "bfk": "𝐤", - "bfl": "𝐥", - "bfm": "𝐦", - "bfn": "𝐧", - "bfo": "𝐨", - "bfp": "𝐩", - "bfq": "𝐪", - "bfr": "𝐫", - "bfs": "𝐬", - "bft": "𝐭", - "bfu": "𝐮", - "bfv": "𝐯", - "bfw": "𝐰", - "bfx": "𝐱", - "bfy": "𝐲", - "bfz": "𝐳", - "MiA": "𝐴", - "MiB": "𝐵", - "MiC": "𝐶", - "MiD": "𝐷", - "MiE": "𝐸", - "MiF": "𝐹", - "MiG": "𝐺", - "MiH": "𝐻", - "MiI": "𝐼", - "MiJ": "𝐽", - "MiK": "𝐾", - "MiL": "𝐿", - "MiM": "𝑀", - "MiN": "𝑁", - "MiO": "𝑂", - "MiP": "𝑃", - "MiQ": "𝑄", - "MiR": "𝑅", - "MiS": "𝑆", - "MiT": "𝑇", - "MiU": "𝑈", - "MiV": "𝑉", - "MiW": "𝑊", - "MiX": "𝑋", - "MiY": "𝑌", - "MiZ": "𝑍", - "Mia": "𝑎", - "Mib": "𝑏", - "Mic": "𝑐", - "Mid": "𝑑", - "Mie": "𝑒", - "Mif": "𝑓", - "Mig": "𝑔", - "Mii": "𝑖", - "Mij": "𝑗", - "Mik": "𝑘", - "Mil": "𝑙", - "Mim": "𝑚", - "Min": "𝑛", - "Mio": "𝑜", - "Mip": "𝑝", - "Miq": "𝑞", - "Mir": "𝑟", - "Mis": "𝑠", - "Mit": "𝑡", - "Miu": "𝑢", - "Miv": "𝑣", - "Miw": "𝑤", - "Mix": "𝑥", - "Miy": "𝑦", - "Miz": "𝑧", - "MIA": "𝑨", - "MIB": "𝑩", - "MIC": "𝑪", - "MID": "𝑫", - "MIE": "𝑬", - "MIF": "𝑭", - "MIG": "𝑮", - "MIH": "𝑯", - "MII": "𝑰", - "MIJ": "𝑱", - "MIK": "𝑲", - "MIL": "𝑳", - "MIM": "𝑴", - "MIN": "𝑵", - "MIO": "𝑶", - "MIP": "𝑷", - "MIQ": "𝑸", - "MIR": "𝑹", - "MIS": "𝑺", - "MIT": "𝑻", - "MIU": "𝑼", - "MIV": "𝑽", - "MIW": "𝑾", - "MIX": "𝑿", - "MIY": "𝒀", - "MIZ": "𝒁", - "MIa": "𝒂", - "MIb": "𝒃", - "MIc": "𝒄", - "MId": "𝒅", - "MIe": "𝒆", - "MIf": "𝒇", - "MIg": "𝒈", - "MIh": "𝒉", - "MIi": "𝒊", - "MIj": "𝒋", - "MIk": "𝒌", - "MIl": "𝒍", - "MIm": "𝒎", - "MIn": "𝒏", - "MIo": "𝒐", - "MIp": "𝒑", - "MIq": "𝒒", - "MIr": "𝒓", - "MIs": "𝒔", - "MIt": "𝒕", - "MIu": "𝒖", - "MIv": "𝒗", - "MIw": "𝒘", - "MIx": "𝒙", - "MIy": "𝒚", - "MIz": "𝒛", - "McA": "𝒜", - "McB": "ℬ", - "McC": "𝒞", - "McD": "𝒟", - "McE": "ℰ", - "McF": "ℱ", - "McG": "𝒢", - "McH": "ℋ", - "McI": "ℐ", - "McJ": "𝒥", - "McK": "𝒦", - "McL": "ℒ", - "McM": "ℳ", - "McN": "𝒩", - "McO": "𝒪", - "McP": "𝒫", - "McQ": "𝒬", - "McR": "ℛ", - "McS": "𝒮", - "McT": "𝒯", - "McU": "𝒰", - "McV": "𝒱", - "McW": "𝒲", - "McX": "𝒳", - "McY": "𝒴", - "McZ": "𝒵", - "Mca": "𝒶", - "Mcb": "𝒷", - "Mcc": "𝒸", - "Mcd": "𝒹", - "Mce": "ℯ", - "Mcf": "𝒻", - "Mcg": "ℊ", - "Mch": "𝒽", - "Mci": "𝒾", - "Mcj": "𝒿", - "Mck": "𝓀", - "Mcl": "𝓁", - "Mcm": "𝓂", - "Mcn": "𝓃", - "Mco": "ℴ", - "Mcp": "𝓅", - "Mcq": "𝓆", - "Mcr": "𝓇", - "Mcs": "𝓈", - "Mct": "𝓉", - "Mcu": "𝓊", - "Mcv": "𝓋", - "Mcw": "𝓌", - "Mcx": "𝓍", - "Mcy": "𝓎", - "Mcz": "𝓏", - "MCA": "𝓐", - "MCB": "𝓑", - "MCC": "𝓒", - "MCD": "𝓓", - "MCE": "𝓔", - "MCF": "𝓕", - "MCG": "𝓖", - "MCH": "𝓗", - "MCI": "𝓘", - "MCJ": "𝓙", - "MCK": "𝓚", - "MCL": "𝓛", - "MCM": "𝓜", - "MCN": "𝓝", - "MCO": "𝓞", - "MCP": "𝓟", - "MCQ": "𝓠", - "MCR": "𝓡", - "MCS": "𝓢", - "MCT": "𝓣", - "MCU": "𝓤", - "MCV": "𝓥", - "MCW": "𝓦", - "MCX": "𝓧", - "MCY": "𝓨", - "MCZ": "𝓩", - "MCa": "𝓪", - "MCb": "𝓫", - "MCc": "𝓬", - "MCd": "𝓭", - "MCe": "𝓮", - "MCf": "𝓯", - "MCg": "𝓰", - "MCh": "𝓱", - "MCi": "𝓲", - "MCj": "𝓳", - "MCk": "𝓴", - "MCl": "𝓵", - "MCm": "𝓶", - "MCn": "𝓷", - "MCo": "𝓸", - "MCp": "𝓹", - "MCq": "𝓺", - "MCr": "𝓻", - "MCs": "𝓼", - "MCt": "𝓽", - "MCu": "𝓾", - "MCv": "𝓿", - "MCw": "𝔀", - "MCx": "𝔁", - "MCy": "𝔂", - "MCz": "𝔃", - "MfA": "𝔄", - "MfB": "𝔅", - "MfC": "ℭ", - "MfD": "𝔇", - "MfE": "𝔈", - "MfF": "𝔉", - "MfG": "𝔊", - "MfH": "ℌ", - "MfI": "ℑ", - "MfJ": "𝔍", - "MfK": "𝔎", - "MfL": "𝔏", - "MfM": "𝔐", - "MfN": "𝔑", - "MfO": "𝔒", - "MfP": "𝔓", - "MfQ": "𝔔", - "MfR": "ℜ", - "MfS": "𝔖", - "MfT": "𝔗", - "MfU": "𝔘", - "MfV": "𝔙", - "MfW": "𝔚", - "MfX": "𝔛", - "MfY": "𝔜", - "MfZ": "ℨ", - "Mfa": "𝔞", - "Mfb": "𝔟", - "Mfc": "𝔠", - "Mfd": "𝔡", - "Mfe": "𝔢", - "Mff": "𝔣", - "Mfg": "𝔤", - "Mfh": "𝔥", - "Mfi": "𝔦", - "Mfj": "𝔧", - "Mfk": "𝔨", - "Mfl": "𝔩", - "Mfm": "𝔪", - "Mfn": "𝔫", - "Mfo": "𝔬", - "Mfp": "𝔭", - "Mfq": "𝔮", - "Mfr": "𝔯", - "Mfs": "𝔰", - "Mft": "𝔱", - "Mfu": "𝔲", - "Mfv": "𝔳", - "Mfw": "𝔴", - "Mfx": "𝔵", - "Mfy": "𝔶", - "Mfz": "𝔷", - "yen": "¥", - "varrho": "ϱ", - "varkappa": "ϰ", - "varkai": "ϗ", - "varnothing": "∅", - "varpi": "ϖ", - "varphi": "ϕ", - "varprime": "′", - "varpropto": "∝", - "vartheta": "ϑ", - "vartriangleleft": "⊲", - "vartriangleright": "⊳", - "varbeta": "ϐ", - "varsigma": "ς", - "veebar": "⊻", - "vee": "∨", - "ve": "ě", - "vE": "Ě", - "vdash": "⊢", - "vdots": "⋮", - "vd": "ď", - "vDash": "⊨", - "vD": "Ď", - "vc": "č", - "vC": "Č", - "koppa": "ϟ", - "kip": "₭", - "ki": "į", - "kI": "Į", - "kelvin": "K", - "kappa": "κ", - "khei": "ϧ", - "warning": "⚠", - "won": "₩", - "wedge": "∧", - "wp": "℘", - "wr": "≀", - "Dei": "Ϯ", - "Delta": "Δ", - "Digamma": "Ϝ", - "Diamond": "◇", - "Downarrow": "⇓", - "DH": "Ð", - "zeta": "ζ", - "Eta": "Η", - "Epsilon": "Ε", - "Beta": "Β", - "Box": "□", - "Bumpeq": "≎", - "bbA": "𝔸", - "bbB": "𝔹", - "bbC": "ℂ", - "bbD": "𝔻", - "bbE": "𝔼", - "bbF": "𝔽", - "bbG": "𝔾", - "bbH": "ℍ", - "bbI": "𝕀", - "bbJ": "𝕁", - "bbK": "𝕂", - "bbL": "𝕃", - "bbM": "𝕄", - "bbN": "ℕ", - "bbO": "𝕆", - "bbP": "ℙ", - "bbQ": "ℚ", - "bbR": "ℝ", - "bbS": "𝕊", - "bbT": "𝕋", - "bbU": "𝕌", - "bbV": "𝕍", - "bbW": "𝕎", - "bbX": "𝕏", - "bbY": "𝕐", - "bbZ": "ℤ", - "bba": "𝕒", - "bbb": "𝕓", - "bbc": "𝕔", - "bbd": "𝕕", - "bbe": "𝕖", - "bbf": "𝕗", - "bbg": "𝕘", - "bbh": "𝕙", - "bbi": "𝕚", - "bbj": "𝕛", - "bbk": "𝕜", - "bbl": "𝕝", - "bbm": "𝕞", - "bbn": "𝕟", - "bbo": "𝕠", - "bbp": "𝕡", - "bbq": "𝕢", - "bbr": "𝕣", - "bbs": "𝕤", - "bbt": "𝕥", - "bbu": "𝕦", - "bbv": "𝕧", - "bbw": "𝕨", - "bbx": "𝕩", - "bby": "𝕪", - "bbz": "𝕫", - "Rge0": "ℝ≥0", - "R>=0": "ℝ≥0", - "nnreal": "ℝ≥0", - "ennreal": "ℝ≥0∞", - "enat": "ℕ∞", - "Zsqrt": "ℤ√", - "zsqrtd": "ℤ√", - "liel": "⁅", - "bracketl": "⁅", - "lier": "⁆", - "[-": "⁅", - "-]": "⁆", - "lsimplex": "⦋", - "rsimplex": "⦌", - "bracketr": "⁆", - "nhds": "𝓝", - "nbhds": "𝓝", - "X": "⨯", - "vectorproduct": "⨯", - "crossproduct": "⨯", - "xs": "×ˢ", - "coprod": "⨿", - "sigmaobj": "∐", - "xf": "×ᶠ", - "exf": "∃ᶠ", - "c[": "⦃", - "c]": "⦄", - "Yot": "Ϳ", - "goal": "⊢", - "Vdash": "⊩", - "Vert": "‖", - "Vvdash": "⊪", - "tiny": "⧾", - "miny": "⧿", - "heq": "≍", - "r!": "¡" -} diff --git a/completions/symbols+lean.json b/completions/symbols+lean.json deleted file mode 100644 index d9b34995..00000000 --- a/completions/symbols+lean.json +++ /dev/null @@ -1,9482 +0,0 @@ -[ - { - "label": "\\alpha", - "type": "symbol", - "apply": "α", - "symbolPanelCategory": 0 - }, - { - "label": "\\beta", - "type": "symbol", - "apply": "β", - "symbolPanelCategory": 0 - }, - { - "label": "\\gamma", - "type": "symbol", - "apply": "γ", - "symbolPanelCategory": 0 - }, - { - "label": "\\delta", - "type": "symbol", - "apply": "δ", - "symbolPanelCategory": 0 - }, - { - "label": "\\epsilon", - "type": "symbol", - "apply": "ε", - "symbolPanelCategory": 0 - }, - { - "label": "\\zeta", - "type": "symbol", - "apply": "ζ", - "symbolPanelCategory": 0 - }, - { - "label": "\\eta", - "type": "symbol", - "apply": "η", - "symbolPanelCategory": 0 - }, - { - "label": "\\theta", - "type": "symbol", - "apply": "θ", - "symbolPanelCategory": 0 - }, - { - "label": "\\iota", - "type": "symbol", - "apply": "ι", - "symbolPanelCategory": 0 - }, - { - "label": "\\kappa", - "type": "symbol", - "apply": "κ", - "symbolPanelCategory": 0 - }, - { - "label": "\\lambda", - "type": "symbol", - "apply": "λ", - "symbolPanelCategory": 0 - }, - { - "label": "\\mu", - "type": "symbol", - "apply": "μ", - "symbolPanelCategory": 0 - }, - { - "label": "\\nu", - "type": "symbol", - "apply": "ν", - "symbolPanelCategory": 0 - }, - { - "label": "\\ksi", - "type": "symbol", - "apply": "ξ", - "symbolPanelCategory": 0 - }, - { - "label": "\\pi", - "type": "symbol", - "apply": "π", - "symbolPanelCategory": 0 - }, - { - "label": "\\omikron", - "type": "symbol", - "apply": "ο", - "symbolPanelCategory": 0 - }, - { - "label": "\\rho", - "type": "symbol", - "apply": "ρ", - "symbolPanelCategory": 0 - }, - { - "label": "\\sigma1", - "type": "symbol", - "apply": "ς", - "symbolPanelCategory": 0 - }, - { - "label": "\\sigma2", - "type": "symbol", - "apply": "σ", - "symbolPanelCategory": 0 - }, - { - "label": "\\tau", - "type": "symbol", - "apply": "τ", - "symbolPanelCategory": 0 - }, - { - "label": "\\upsilon", - "type": "symbol", - "apply": "υ", - "symbolPanelCategory": 0 - }, - { - "label": "\\phi1", - "type": "symbol", - "apply": "ϕ", - "symbolPanelCategory": 0 - }, - { - "label": "\\phi2", - "type": "symbol", - "apply": "φ", - "symbolPanelCategory": 0 - }, - { - "label": "\\chi", - "type": "symbol", - "apply": "χ", - "symbolPanelCategory": 0 - }, - { - "label": "\\psi", - "type": "symbol", - "apply": "ψ", - "symbolPanelCategory": 0 - }, - { - "label": "\\omega", - "type": "symbol", - "apply": "ω", - "symbolPanelCategory": 0 - }, - { - "label": "\\Alpha", - "type": "symbol", - "apply": "Α", - "symbolPanelCategory": 1 - }, - { - "label": "\\Beta", - "type": "symbol", - "apply": "Β", - "symbolPanelCategory": 1 - }, - { - "label": "\\Gamma", - "type": "symbol", - "apply": "Γ", - "symbolPanelCategory": 1 - }, - { - "label": "\\Delta", - "type": "symbol", - "apply": "Δ", - "symbolPanelCategory": 1 - }, - { - "label": "\\Epsilon", - "type": "symbol", - "apply": "Ε", - "symbolPanelCategory": 1 - }, - { - "label": "\\Zeta", - "type": "symbol", - "apply": "Ζ", - "symbolPanelCategory": 1 - }, - { - "label": "\\Eta", - "type": "symbol", - "apply": "Η", - "symbolPanelCategory": 1 - }, - { - "label": "\\Theta", - "type": "symbol", - "apply": "Θ", - "symbolPanelCategory": 1 - }, - { - "label": "\\Iota", - "type": "symbol", - "apply": "Ι", - "symbolPanelCategory": 1 - }, - { - "label": "\\Kappa", - "type": "symbol", - "apply": "Κ", - "symbolPanelCategory": 1 - }, - { - "label": "\\Lambda", - "type": "symbol", - "apply": "Λ", - "symbolPanelCategory": 1 - }, - { - "label": "\\Mu", - "type": "symbol", - "apply": "Μ", - "symbolPanelCategory": 1 - }, - { - "label": "\\Nu", - "type": "symbol", - "apply": "Ν", - "symbolPanelCategory": 1 - }, - { - "label": "\\Ksi", - "type": "symbol", - "apply": "Ξ", - "symbolPanelCategory": 1 - }, - { - "label": "\\Omicron", - "type": "symbol", - "apply": "Ο", - "symbolPanelCategory": 1 - }, - { - "label": "\\Pi", - "type": "symbol", - "apply": "Π", - "symbolPanelCategory": 1 - }, - { - "label": "\\Rho", - "type": "symbol", - "apply": "Ρ", - "symbolPanelCategory": 1 - }, - { - "label": "\\Sigma", - "type": "symbol", - "apply": "Σ", - "symbolPanelCategory": 1 - }, - { - "label": "\\Tau", - "type": "symbol", - "apply": "Τ", - "symbolPanelCategory": 1 - }, - { - "label": "\\Upsilon", - "type": "symbol", - "apply": "Υ", - "symbolPanelCategory": 1 - }, - { - "label": "\\Phi", - "type": "symbol", - "apply": "Φ", - "symbolPanelCategory": 1 - }, - { - "label": "\\Chi", - "type": "symbol", - "apply": "Χ", - "symbolPanelCategory": 1 - }, - { - "label": "\\Psi", - "type": "symbol", - "apply": "Ψ", - "symbolPanelCategory": 1 - }, - { - "label": "\\Omega", - "type": "symbol", - "apply": "Ω", - "symbolPanelCategory": 1 - }, - { - "label": "\\forall", - "type": "symbol", - "apply": "∀", - "symbolPanelCategory": 2 - }, - { - "label": "\\exists", - "type": "symbol", - "apply": "∃", - "symbolPanelCategory": 2 - }, - { - "label": "\\in", - "type": "symbol", - "apply": "∈", - "symbolPanelCategory": 2 - }, - { - "label": "\\not-in", - "type": "symbol", - "apply": "∉", - "symbolPanelCategory": 2 - }, - { - "label": "\\QED", - "type": "symbol", - "apply": "∎", - "symbolPanelCategory": 2 - }, - { - "label": "\\infty", - "type": "symbol", - "apply": "∞", - "symbolPanelCategory": 2 - }, - { - "label": "\\and", - "type": "symbol", - "apply": "∧", - "symbolPanelCategory": 2 - }, - { - "label": "\\or", - "type": "symbol", - "apply": "∨", - "symbolPanelCategory": 2 - }, - { - "label": "\\abs", - "type": "symbol", - "apply": "∣", - "symbolPanelCategory": 2 - }, - { - "label": "\\intersection", - "type": "symbol", - "apply": "∩", - "symbolPanelCategory": 2 - }, - { - "label": "\\union", - "type": "symbol", - "apply": "∪", - "symbolPanelCategory": 2 - }, - { - "label": "\\bigintersection", - "type": "symbol", - "apply": "⋂", - "symbolPanelCategory": 2 - }, - { - "label": "\\bigunion", - "type": "symbol", - "apply": "⋃", - "symbolPanelCategory": 2 - }, - { - "label": "\\empty-set", - "type": "symbol", - "apply": "∅", - "symbolPanelCategory": 2 - }, - { - "label": "\\subset", - "type": "symbol", - "apply": "⊂", - "symbolPanelCategory": 2 - }, - { - "label": "\\subseteq", - "type": "symbol", - "apply": "⊆", - "symbolPanelCategory": 2 - }, - { - "label": "\\less-or-equal", - "type": "symbol", - "apply": "≤", - "symbolPanelCategory": 2 - }, - { - "label": "\\leq", - "type": "symbol", - "apply": "≤", - "symbolPanelCategory": 99 - }, - { - "label": "\\greater-or-equal", - "type": "symbol", - "apply": "≥", - "symbolPanelCategory": 2 - }, - { - "label": "\\geq", - "type": "symbol", - "apply": "≥", - "symbolPanelCategory": 99 - }, - { - "label": "\\not-equal", - "type": "symbol", - "apply": "≠", - "symbolPanelCategory": 2 - }, - { - "label": "\\neq", - "type": "symbol", - "apply": "≠", - "symbolPanelCategory": 99 - }, - { - "label": "\\not", - "type": "symbol", - "apply": "¬", - "symbolPanelCategory": 2 - }, - { - "label": "\\circle-plus", - "type": "symbol", - "apply": "⊕", - "symbolPanelCategory": 2 - }, - { - "label": "\\circle-times", - "type": "symbol", - "apply": "⊗", - "symbolPanelCategory": 2 - }, - { - "label": "\\arrow-left", - "type": "symbol", - "apply": "←", - "symbolPanelCategory": 3 - }, - { - "label": "\\arrow-up", - "type": "symbol", - "apply": "⬆", - "symbolPanelCategory": 3 - }, - { - "label": "\\arrow-right", - "type": "symbol", - "apply": "→", - "symbolPanelCategory": 3 - }, - { - "label": "\\to", - "type": "symbol", - "apply": "→", - "symbolPanelCategory": 99 - }, - { - "label": "\\arrow-down", - "type": "symbol", - "apply": "↓", - "symbolPanelCategory": 3 - }, - { - "label": "\\arrow-map", - "type": "symbol", - "apply": "↦", - "symbolPanelCategory": 3 - }, - { - "label": "\\arrow-left-right", - "type": "symbol", - "apply": "↔", - "symbolPanelCategory": 3 - }, - { - "label": "\\implies", - "type": "symbol", - "apply": "⇒", - "symbolPanelCategory": 3 - }, - { - "label": "\\implies-left", - "type": "symbol", - "apply": "⇐", - "symbolPanelCategory": 3 - }, - { - "label": "\\implies-right", - "type": "symbol", - "apply": "⇒", - "symbolPanelCategory": 3 - }, - { - "label": "\\implies-left-right", - "type": "symbol", - "apply": "⇔", - "symbolPanelCategory": 3 - }, - { - "label": "\\converges", - "type": "symbol", - "apply": "⟶", - "symbolPanelCategory": 3 - }, - { - "label": "\\naturals", - "type": "symbol", - "apply": "ℕ", - "symbolPanelCategory": 4 - }, - { - "label": "\\integers", - "type": "symbol", - "apply": "ℤ", - "symbolPanelCategory": 4 - }, - { - "label": "\\rationals", - "type": "symbol", - "apply": "ℚ", - "symbolPanelCategory": 4 - }, - { - "label": "\\reals", - "type": "symbol", - "apply": "ℝ", - "symbolPanelCategory": 4 - }, - { - "label": "\\complex-numbers", - "type": "symbol", - "apply": "ℂ", - "symbolPanelCategory": 4 - }, - { - "label": "\\contradiction", - "type": "symbol", - "apply": "↯", - "symbolPanelCategory": 2 - }, - { - "label": "\\degree", - "type": "symbol", - "apply": "°", - "symbolPanelCategory": 2 - }, - { - "label": "\\circ", - "type": "symbol", - "apply": "∘", - "symbolPanelCategory": 99 - }, - { - "label": "\\compose", - "type": "symbol", - "apply": "∘", - "symbolPanelCategory": 2 - }, - { - "label": "\\subproof", - "type": "symbol", - "apply": "·", - "symbolPanelCategory": 2 - }, - { - "label": "\\^1", - "type": "symbol", - "apply": "¹", - "symbolPanelCategory": 5 - }, - { - "label": "\\^2", - "type": "symbol", - "apply": "²", - "symbolPanelCategory": 5 - }, - { - "label": "\\^3", - "type": "symbol", - "apply": "³", - "symbolPanelCategory": 5 - }, - { - "label": "\\^4", - "type": "symbol", - "apply": "⁴", - "symbolPanelCategory": 5 - }, - { - "label": "\\^5", - "type": "symbol", - "apply": "⁵", - "symbolPanelCategory": 5 - }, - { - "label": "\\^6", - "type": "symbol", - "apply": "⁶", - "symbolPanelCategory": 5 - }, - { - "label": "\\^7", - "type": "symbol", - "apply": "⁷", - "symbolPanelCategory": 5 - }, - { - "label": "\\^8", - "type": "symbol", - "apply": "⁸", - "symbolPanelCategory": 5 - }, - { - "label": "\\^9", - "type": "symbol", - "apply": "⁹", - "symbolPanelCategory": 5 - }, - { - "label": "\\^-", - "type": "symbol", - "apply": "⁻", - "symbolPanelCategory": 5 - }, - { - "label": "\\inv", - "type": "symbol", - "apply": "⁻¹", - "symbolPanelCategory": 5 - }, - { - "label": "\\^0", - "type": "symbol", - "apply": "⁰", - "symbolPanelCategory": 5 - }, - { - "label": "\\_1", - "type": "symbol", - "apply": "₁", - "symbolPanelCategory": 5 - }, - { - "label": "\\_2", - "type": "symbol", - "apply": "₂", - "symbolPanelCategory": 5 - }, - { - "label": "\\_3", - "type": "symbol", - "apply": "₃", - "symbolPanelCategory": 5 - }, - { - "label": "\\_4", - "type": "symbol", - "apply": "₄", - "symbolPanelCategory": 5 - }, - { - "label": "\\_5", - "type": "symbol", - "apply": "₅", - "symbolPanelCategory": 5 - }, - { - "label": "\\_6", - "type": "symbol", - "apply": "₆", - "symbolPanelCategory": 5 - }, - { - "label": "\\_7", - "type": "symbol", - "apply": "₇", - "symbolPanelCategory": 5 - }, - { - "label": "\\_8", - "type": "symbol", - "apply": "₈", - "symbolPanelCategory": 5 - }, - { - "label": "\\_9", - "type": "symbol", - "apply": "₉", - "symbolPanelCategory": 5 - }, - { - "label": "\\_0", - "type": "symbol", - "apply": "₀", - "symbolPanelCategory": 5 - }, - { - "label": "\\McA", - "type": "symbol", - "apply": "𝒜", - "symbolPanelCategory": 6 - }, - { - "label": "\\McB", - "type": "symbol", - "apply": "ℬ", - "symbolPanelCategory": 6 - }, - { - "label": "\\McC", - "type": "symbol", - "apply": "𝒞", - "symbolPanelCategory": 6 - }, - { - "label": "\\McD", - "type": "symbol", - "apply": "𝒟", - "symbolPanelCategory": 6 - }, - { - "label": "\\McE", - "type": "symbol", - "apply": "ℰ", - "symbolPanelCategory": 6 - }, - { - "label": "\\McF", - "type": "symbol", - "apply": "ℱ", - "symbolPanelCategory": 6 - }, - { - "label": "\\McG", - "type": "symbol", - "apply": "𝒢", - "symbolPanelCategory": 6 - }, - { - "label": "\\McH", - "type": "symbol", - "apply": "ℋ", - "symbolPanelCategory": 6 - }, - { - "label": "\\McI", - "type": "symbol", - "apply": "ℐ", - "symbolPanelCategory": 6 - }, - { - "label": "\\McJ", - "type": "symbol", - "apply": "𝒥", - "symbolPanelCategory": 6 - }, - { - "label": "\\McK", - "type": "symbol", - "apply": "𝒦", - "symbolPanelCategory": 6 - }, - { - "label": "\\McL", - "type": "symbol", - "apply": "ℒ", - "symbolPanelCategory": 6 - }, - { - "label": "\\McM", - "type": "symbol", - "apply": "ℳ", - "symbolPanelCategory": 6 - }, - { - "label": "\\McN", - "type": "symbol", - "apply": "𝒩", - "symbolPanelCategory": 6 - }, - { - "label": "\\McO", - "type": "symbol", - "apply": "𝒪", - "symbolPanelCategory": 6 - }, - { - "label": "\\McP", - "type": "symbol", - "apply": "𝒫", - "symbolPanelCategory": 6 - }, - { - "label": "\\McQ", - "type": "symbol", - "apply": "𝒬", - "symbolPanelCategory": 6 - }, - { - "label": "\\McR", - "type": "symbol", - "apply": "ℛ", - "symbolPanelCategory": 6 - }, - { - "label": "\\McS", - "type": "symbol", - "apply": "𝒮", - "symbolPanelCategory": 6 - }, - { - "label": "\\McT", - "type": "symbol", - "apply": "𝒯", - "symbolPanelCategory": 6 - }, - { - "label": "\\McU", - "type": "symbol", - "apply": "𝒰", - "symbolPanelCategory": 6 - }, - { - "label": "\\McV", - "type": "symbol", - "apply": "𝒱", - "symbolPanelCategory": 6 - }, - { - "label": "\\McW", - "type": "symbol", - "apply": "𝒲", - "symbolPanelCategory": 6 - }, - { - "label": "\\McX", - "type": "symbol", - "apply": "𝒳", - "symbolPanelCategory": 6 - }, - { - "label": "\\McY", - "type": "symbol", - "apply": "𝒴", - "symbolPanelCategory": 6 - }, - { - "label": "\\McZ", - "type": "symbol", - "apply": "𝒵", - "symbolPanelCategory": 6 - }, - { - "label": "\\0", - "type": "symbol", - "apply": "₀" - }, - { - "label": "\\1", - "type": "symbol", - "apply": "₁" - }, - { - "label": "\\2", - "type": "symbol", - "apply": "₂" - }, - { - "label": "\\3", - "type": "symbol", - "apply": "₃" - }, - { - "label": "\\4", - "type": "symbol", - "apply": "₄" - }, - { - "label": "\\5", - "type": "symbol", - "apply": "₅" - }, - { - "label": "\\6", - "type": "symbol", - "apply": "₆" - }, - { - "label": "\\7", - "type": "symbol", - "apply": "₇" - }, - { - "label": "\\8", - "type": "symbol", - "apply": "₈" - }, - { - "label": "\\9", - "type": "symbol", - "apply": "₉" - }, - { - "label": "\\a", - "type": "symbol", - "apply": "α" - }, - { - "label": "\\b", - "type": "symbol", - "apply": "β" - }, - { - "label": "\\c", - "type": "symbol", - "apply": "χ" - }, - { - "label": "\\d", - "type": "symbol", - "apply": "↓" - }, - { - "label": "\\e", - "type": "symbol", - "apply": "ε" - }, - { - "label": "\\g", - "type": "symbol", - "apply": "γ" - }, - { - "label": "\\i", - "type": "symbol", - "apply": "∩" - }, - { - "label": "\\m", - "type": "symbol", - "apply": "μ" - }, - { - "label": "\\o", - "type": "symbol", - "apply": "∘" - }, - { - "label": "\\p", - "type": "symbol", - "apply": "Π" - }, - { - "label": "\\t", - "type": "symbol", - "apply": "▸" - }, - { - "label": "\\r", - "type": "symbol", - "apply": "→" - }, - { - "label": "\\u", - "type": "symbol", - "apply": "↑" - }, - { - "label": "\\v", - "type": "symbol", - "apply": "∨" - }, - { - "label": "\\x", - "type": "symbol", - "apply": "×" - }, - { - "label": "\\-", - "type": "symbol", - "apply": "⁻¹" - }, - { - "label": "\\~", - "type": "symbol", - "apply": "∼" - }, - { - "label": "\\.", - "type": "symbol", - "apply": "·" - }, - { - "label": "\\*", - "type": "symbol", - "apply": "⋆" - }, - { - "label": "\\!", - "type": "symbol", - "apply": "¬" - }, - { - "label": "\\?", - "type": "symbol", - "apply": "¿" - }, - { - "label": "\\l", - "type": "symbol", - "apply": "←" - }, - { - "label": "\\<", - "type": "symbol", - "apply": "⟨" - }, - { - "label": "\\>", - "type": "symbol", - "apply": "⟩" - }, - { - "label": "\\O", - "type": "symbol", - "apply": "Ø" - }, - { - "label": "\\&", - "type": "symbol", - "apply": "⅋" - }, - { - "label": "\\A", - "type": "symbol", - "apply": "𝔸" - }, - { - "label": "\\C", - "type": "symbol", - "apply": "ℂ" - }, - { - "label": "\\D", - "type": "symbol", - "apply": "Δ" - }, - { - "label": "\\F", - "type": "symbol", - "apply": "𝔽" - }, - { - "label": "\\G", - "type": "symbol", - "apply": "Γ" - }, - { - "label": "\\H", - "type": "symbol", - "apply": "ℍ" - }, - { - "label": "\\I", - "type": "symbol", - "apply": "⋂" - }, - { - "label": "\\I0", - "type": "symbol", - "apply": "⋂₀" - }, - { - "label": "\\K", - "type": "symbol", - "apply": "𝕂" - }, - { - "label": "\\L", - "type": "symbol", - "apply": "Λ" - }, - { - "label": "\\N", - "type": "symbol", - "apply": "ℕ" - }, - { - "label": "\\P", - "type": "symbol", - "apply": "Π" - }, - { - "label": "\\Q", - "type": "symbol", - "apply": "ℚ" - }, - { - "label": "\\R", - "type": "symbol", - "apply": "ℝ" - }, - { - "label": "\\S", - "type": "symbol", - "apply": "Σ" - }, - { - "label": "\\U", - "type": "symbol", - "apply": "⋃" - }, - { - "label": "\\U0", - "type": "symbol", - "apply": "⋃₀" - }, - { - "label": "\\Z", - "type": "symbol", - "apply": "ℤ" - }, - { - "label": "\\#", - "type": "symbol", - "apply": "♯" - }, - { - "label": "\\:", - "type": "symbol", - "apply": "∶" - }, - { - "label": "\\|", - "type": "symbol", - "apply": "∣" - }, - { - "label": "\\rw", - "type": "symbol", - "apply": "▸" - }, - { - "label": "\\coe", - "type": "symbol", - "apply": "↑" - }, - { - "label": "\\be", - "type": "symbol", - "apply": "β" - }, - { - "label": "\\ga", - "type": "symbol", - "apply": "γ" - }, - { - "label": "\\de", - "type": "symbol", - "apply": "δ" - }, - { - "label": "\\ep", - "type": "symbol", - "apply": "ε" - }, - { - "label": "\\ze", - "type": "symbol", - "apply": "ζ" - }, - { - "label": "\\et", - "type": "symbol", - "apply": "η" - }, - { - "label": "\\th", - "type": "symbol", - "apply": "θ" - }, - { - "label": "\\io", - "type": "symbol", - "apply": "ι" - }, - { - "label": "\\ka", - "type": "symbol", - "apply": "κ" - }, - { - "label": "\\la", - "type": "symbol", - "apply": "λ" - }, - { - "label": "\\xi", - "type": "symbol", - "apply": "ξ" - }, - { - "label": "\\rh", - "type": "symbol", - "apply": "ρ" - }, - { - "label": "\\vsi", - "type": "symbol", - "apply": "ς" - }, - { - "label": "\\si", - "type": "symbol", - "apply": "σ" - }, - { - "label": "\\ta", - "type": "symbol", - "apply": "τ" - }, - { - "label": "\\ph", - "type": "symbol", - "apply": "φ" - }, - { - "label": "\\ch", - "type": "symbol", - "apply": "χ" - }, - { - "label": "\\ps", - "type": "symbol", - "apply": "ψ" - }, - { - "label": "\\om", - "type": "symbol", - "apply": "ω" - }, - { - "label": "\\`A", - "type": "symbol", - "apply": "À" - }, - { - "label": "\\'A", - "type": "symbol", - "apply": "Á" - }, - { - "label": "\\^{A}", - "type": "symbol", - "apply": "Â" - }, - { - "label": "\\~A", - "type": "symbol", - "apply": "Ã" - }, - { - "label": "\\\"A", - "type": "symbol", - "apply": "Ä" - }, - { - "label": "\\-{A}", - "type": "symbol", - "apply": "Ā" - }, - { - "label": "\\cC", - "type": "symbol", - "apply": "Ç" - }, - { - "label": "\\`E", - "type": "symbol", - "apply": "È" - }, - { - "label": "\\'E", - "type": "symbol", - "apply": "É" - }, - { - "label": "\\^{E}", - "type": "symbol", - "apply": "Ê" - }, - { - "label": "\\\"E", - "type": "symbol", - "apply": "Ë" - }, - { - "label": "\\-{E}", - "type": "symbol", - "apply": "Ē" - }, - { - "label": "\\`I", - "type": "symbol", - "apply": "Ì" - }, - { - "label": "\\'I", - "type": "symbol", - "apply": "Í" - }, - { - "label": "\\^{I}", - "type": "symbol", - "apply": "Î" - }, - { - "label": "\\\"I", - "type": "symbol", - "apply": "Ï" - }, - { - "label": "\\-{I}", - "type": "symbol", - "apply": "Ī" - }, - { - "label": "\\~N", - "type": "symbol", - "apply": "Ñ" - }, - { - "label": "\\`O", - "type": "symbol", - "apply": "Ò" - }, - { - "label": "\\'O", - "type": "symbol", - "apply": "Ó" - }, - { - "label": "\\^{O}", - "type": "symbol", - "apply": "Ô" - }, - { - "label": "\\~O", - "type": "symbol", - "apply": "Õ" - }, - { - "label": "\\\"O", - "type": "symbol", - "apply": "Ö" - }, - { - "label": "\\/O", - "type": "symbol", - "apply": "Ø" - }, - { - "label": "\\-{O}", - "type": "symbol", - "apply": "Ō" - }, - { - "label": "\\`U", - "type": "symbol", - "apply": "Ù" - }, - { - "label": "\\'U", - "type": "symbol", - "apply": "Ú" - }, - { - "label": "\\^{U}", - "type": "symbol", - "apply": "Û" - }, - { - "label": "\\\"U", - "type": "symbol", - "apply": "Ü" - }, - { - "label": "\\-{U}", - "type": "symbol", - "apply": "Ū" - }, - { - "label": "\\'Y", - "type": "symbol", - "apply": "Ý" - }, - { - "label": "\\`a", - "type": "symbol", - "apply": "à" - }, - { - "label": "\\'a", - "type": "symbol", - "apply": "á" - }, - { - "label": "\\^{a}", - "type": "symbol", - "apply": "â" - }, - { - "label": "\\~a", - "type": "symbol", - "apply": "ã" - }, - { - "label": "\\\"a", - "type": "symbol", - "apply": "ä" - }, - { - "label": "\\-{a}", - "type": "symbol", - "apply": "ā" - }, - { - "label": "\\cc", - "type": "symbol", - "apply": "ç" - }, - { - "label": "\\`e", - "type": "symbol", - "apply": "è" - }, - { - "label": "\\'e", - "type": "symbol", - "apply": "é" - }, - { - "label": "\\^{e}", - "type": "symbol", - "apply": "ê" - }, - { - "label": "\\\"e", - "type": "symbol", - "apply": "ë" - }, - { - "label": "\\-{e}", - "type": "symbol", - "apply": "ē" - }, - { - "label": "\\`i", - "type": "symbol", - "apply": "ì" - }, - { - "label": "\\'i", - "type": "symbol", - "apply": "í" - }, - { - "label": "\\^{i}", - "type": "symbol", - "apply": "î" - }, - { - "label": "\\\"i", - "type": "symbol", - "apply": "ï" - }, - { - "label": "\\-{i}", - "type": "symbol", - "apply": "ī" - }, - { - "label": "\\~{n}", - "type": "symbol", - "apply": "ñ" - }, - { - "label": "\\`o", - "type": "symbol", - "apply": "ò" - }, - { - "label": "\\'o", - "type": "symbol", - "apply": "ó" - }, - { - "label": "\\^{o}", - "type": "symbol", - "apply": "ô" - }, - { - "label": "\\~o", - "type": "symbol", - "apply": "õ" - }, - { - "label": "\\\"o", - "type": "symbol", - "apply": "ö" - }, - { - "label": "\\/o", - "type": "symbol", - "apply": "ø" - }, - { - "label": "\\-{o}", - "type": "symbol", - "apply": "ō" - }, - { - "label": "\\`u", - "type": "symbol", - "apply": "ù" - }, - { - "label": "\\'u", - "type": "symbol", - "apply": "ú" - }, - { - "label": "\\^{u}", - "type": "symbol", - "apply": "û" - }, - { - "label": "\\\"u", - "type": "symbol", - "apply": "ü" - }, - { - "label": "\\-{u}", - "type": "symbol", - "apply": "ū" - }, - { - "label": "\\'y", - "type": "symbol", - "apply": "ý" - }, - { - "label": "\\\"y", - "type": "symbol", - "apply": "ÿ" - }, - { - "label": "\\/L", - "type": "symbol", - "apply": "Ł" - }, - { - "label": "\\note", - "type": "symbol", - "apply": "♩" - }, - { - "label": "\\notin", - "type": "symbol", - "apply": "∉" - }, - { - "label": "\\notlt", - "type": "symbol", - "apply": "≮" - }, - { - "label": "\\nomisma", - "type": "symbol", - "apply": "𐆎" - }, - { - "label": "\\nin", - "type": "symbol", - "apply": "∉" - }, - { - "label": "\\nni", - "type": "symbol", - "apply": "∌" - }, - { - "label": "\\ni", - "type": "symbol", - "apply": "∋" - }, - { - "label": "\\nattrans", - "type": "symbol", - "apply": "⟹" - }, - { - "label": "\\nat_trans", - "type": "symbol", - "apply": "⟹" - }, - { - "label": "\\natural", - "type": "symbol", - "apply": "♮" - }, - { - "label": "\\nat", - "type": "symbol", - "apply": "ℕ" - }, - { - "label": "\\naira", - "type": "symbol", - "apply": "₦" - }, - { - "label": "\\nabla", - "type": "symbol", - "apply": "∇" - }, - { - "label": "\\napprox", - "type": "symbol", - "apply": "≉" - }, - { - "label": "\\numero", - "type": "symbol", - "apply": "№" - }, - { - "label": "\\nLeftarrow", - "type": "symbol", - "apply": "⇍" - }, - { - "label": "\\nLeftrightarrow", - "type": "symbol", - "apply": "⇎" - }, - { - "label": "\\nRightarrow", - "type": "symbol", - "apply": "⇏" - }, - { - "label": "\\nVDash", - "type": "symbol", - "apply": "⊯" - }, - { - "label": "\\nVdash", - "type": "symbol", - "apply": "⊮" - }, - { - "label": "\\ncong", - "type": "symbol", - "apply": "≇" - }, - { - "label": "\\nearrow", - "type": "symbol", - "apply": "↗" - }, - { - "label": "\\neg", - "type": "symbol", - "apply": "¬" - }, - { - "label": "\\nequiv", - "type": "symbol", - "apply": "≢" - }, - { - "label": "\\nexists", - "type": "symbol", - "apply": "∄" - }, - { - "label": "\\ne", - "type": "symbol", - "apply": "≠" - }, - { - "label": "\\ngeqq", - "type": "symbol", - "apply": "≱" - }, - { - "label": "\\ngeqslant", - "type": "symbol", - "apply": "≱" - }, - { - "label": "\\ngeq", - "type": "symbol", - "apply": "≱" - }, - { - "label": "\\ngtr", - "type": "symbol", - "apply": "≯" - }, - { - "label": "\\nleftarrow", - "type": "symbol", - "apply": "↚" - }, - { - "label": "\\nleftrightarrow", - "type": "symbol", - "apply": "↮" - }, - { - "label": "\\nleqq", - "type": "symbol", - "apply": "≰" - }, - { - "label": "\\nleqslant", - "type": "symbol", - "apply": "≰" - }, - { - "label": "\\nleq", - "type": "symbol", - "apply": "≰" - }, - { - "label": "\\nless", - "type": "symbol", - "apply": "≮" - }, - { - "label": "\\nmid", - "type": "symbol", - "apply": "∤" - }, - { - "label": "\\nparallel", - "type": "symbol", - "apply": "∦" - }, - { - "label": "\\npreceq", - "type": "symbol", - "apply": "⋠" - }, - { - "label": "\\nprec", - "type": "symbol", - "apply": "⊀" - }, - { - "label": "\\nrightarrow", - "type": "symbol", - "apply": "↛" - }, - { - "label": "\\nshortmid", - "type": "symbol", - "apply": "∤" - }, - { - "label": "\\nsimeq", - "type": "symbol", - "apply": "≄" - }, - { - "label": "\\nsim", - "type": "symbol", - "apply": "≁" - }, - { - "label": "\\nsubseteqq", - "type": "symbol", - "apply": "⊈" - }, - { - "label": "\\nsubseteq", - "type": "symbol", - "apply": "⊈" - }, - { - "label": "\\nsubset", - "type": "symbol", - "apply": "⊄" - }, - { - "label": "\\nsucceq", - "type": "symbol", - "apply": "⋡" - }, - { - "label": "\\nsucc", - "type": "symbol", - "apply": "⊁" - }, - { - "label": "\\nsupseteqq", - "type": "symbol", - "apply": "⊉" - }, - { - "label": "\\nsupseteq", - "type": "symbol", - "apply": "⊉" - }, - { - "label": "\\nsupset", - "type": "symbol", - "apply": "⊅" - }, - { - "label": "\\ntrianglelefteq", - "type": "symbol", - "apply": "⋬" - }, - { - "label": "\\ntriangleleft", - "type": "symbol", - "apply": "⋪" - }, - { - "label": "\\ntrianglerighteq", - "type": "symbol", - "apply": "⋭" - }, - { - "label": "\\ntriangleright", - "type": "symbol", - "apply": "⋫" - }, - { - "label": "\\nvDash", - "type": "symbol", - "apply": "⊭" - }, - { - "label": "\\nvdash", - "type": "symbol", - "apply": "⊬" - }, - { - "label": "\\nwarrow", - "type": "symbol", - "apply": "↖" - }, - { - "label": "\\eqn", - "type": "symbol", - "apply": "≠" - }, - { - "label": "\\equiv", - "type": "symbol", - "apply": "≃" - }, - { - "label": "\\eqcirc", - "type": "symbol", - "apply": "≖" - }, - { - "label": "\\eqcolon", - "type": "symbol", - "apply": "≕" - }, - { - "label": "\\eqslantgtr", - "type": "symbol", - "apply": "⋝" - }, - { - "label": "\\eqslantless", - "type": "symbol", - "apply": "⋜" - }, - { - "label": "\\entails", - "type": "symbol", - "apply": "⊢" - }, - { - "label": "\\en", - "type": "symbol", - "apply": "–" - }, - { - "label": "\\exn", - "type": "symbol", - "apply": "∄" - }, - { - "label": "\\ex", - "type": "symbol", - "apply": "∃" - }, - { - "label": "\\emptyset", - "type": "symbol", - "apply": "∅" - }, - { - "label": "\\empty", - "type": "symbol", - "apply": "∅" - }, - { - "label": "\\em", - "type": "symbol", - "apply": "—" - }, - { - "label": "\\eps", - "type": "symbol", - "apply": "ε" - }, - { - "label": "\\euro", - "type": "symbol", - "apply": "€" - }, - { - "label": "\\ell", - "type": "symbol", - "apply": "ℓ" - }, - { - "label": "\\iso", - "type": "symbol", - "apply": "≅" - }, - { - "label": "\\inn", - "type": "symbol", - "apply": "∉" - }, - { - "label": "\\inter", - "type": "symbol", - "apply": "∩" - }, - { - "label": "\\intercal", - "type": "symbol", - "apply": "⊺" - }, - { - "label": "\\integral", - "type": "symbol", - "apply": "∫" - }, - { - "label": "\\integral-", - "type": "symbol", - "apply": "⨍" - }, - { - "label": "\\int", - "type": "symbol", - "apply": "ℤ" - }, - { - "label": "\\increment", - "type": "symbol", - "apply": "∆" - }, - { - "label": "\\inf", - "type": "symbol", - "apply": "⊓" - }, - { - "label": "\\infi", - "type": "symbol", - "apply": "⨅" - }, - { - "label": "\\iff", - "type": "symbol", - "apply": "↔" - }, - { - "label": "\\imp", - "type": "symbol", - "apply": "→" - }, - { - "label": "\\imath", - "type": "symbol", - "apply": "ı" - }, - { - "label": "\\=n", - "type": "symbol", - "apply": "≠" - }, - { - "label": "\\==n", - "type": "symbol", - "apply": "≢" - }, - { - "label": "\\===", - "type": "symbol", - "apply": "≣" - }, - { - "label": "\\==>", - "type": "symbol", - "apply": "⟹" - }, - { - "label": "\\==", - "type": "symbol", - "apply": "≡" - }, - { - "label": "\\=:", - "type": "symbol", - "apply": "≕" - }, - { - "label": "\\=o", - "type": "symbol", - "apply": "≗" - }, - { - "label": "\\=>n", - "type": "symbol", - "apply": "⇏" - }, - { - "label": "\\=>", - "type": "symbol", - "apply": "⇒" - }, - { - "label": "\\~n", - "type": "symbol", - "apply": "≁" - }, - { - "label": "\\~~n", - "type": "symbol", - "apply": "≉" - }, - { - "label": "\\~~~", - "type": "symbol", - "apply": "≋" - }, - { - "label": "\\~~-", - "type": "symbol", - "apply": "≊" - }, - { - "label": "\\~~", - "type": "symbol", - "apply": "≈" - }, - { - "label": "\\~-n", - "type": "symbol", - "apply": "≄" - }, - { - "label": "\\~-", - "type": "symbol", - "apply": "≃" - }, - { - "label": "\\~=n", - "type": "symbol", - "apply": "≇" - }, - { - "label": "\\~=", - "type": "symbol", - "apply": "≅" - }, - { - "label": "\\homotopy", - "type": "symbol", - "apply": "∼" - }, - { - "label": "\\hom", - "type": "symbol", - "apply": "⟶" - }, - { - "label": "\\hori", - "type": "symbol", - "apply": "ϩ" - }, - { - "label": "\\hookleftarrow", - "type": "symbol", - "apply": "↩" - }, - { - "label": "\\hookrightarrow", - "type": "symbol", - "apply": "↪" - }, - { - "label": "\\hryvnia", - "type": "symbol", - "apply": "₴" - }, - { - "label": "\\heta", - "type": "symbol", - "apply": "ͱ" - }, - { - "label": "\\heartsuit", - "type": "symbol", - "apply": "♥" - }, - { - "label": "\\hbar", - "type": "symbol", - "apply": "ℏ" - }, - { - "label": "\\:~", - "type": "symbol", - "apply": "∻" - }, - { - "label": "\\:=", - "type": "symbol", - "apply": "≔" - }, - { - "label": "\\::-", - "type": "symbol", - "apply": "∺" - }, - { - "label": "\\::", - "type": "symbol", - "apply": "∷" - }, - { - "label": "\\-~", - "type": "symbol", - "apply": "≂" - }, - { - "label": "\\-|", - "type": "symbol", - "apply": "⊣" - }, - { - "label": "\\-1", - "type": "symbol", - "apply": "⁻¹" - }, - { - "label": "\\^-1", - "type": "symbol", - "apply": "⁻¹" - }, - { - "label": "\\-2", - "type": "symbol", - "apply": "⁻²" - }, - { - "label": "\\-3", - "type": "symbol", - "apply": "⁻³" - }, - { - "label": "\\-:", - "type": "symbol", - "apply": "∹" - }, - { - "label": "\\->n", - "type": "symbol", - "apply": "↛" - }, - { - "label": "\\->", - "type": "symbol", - "apply": "→" - }, - { - "label": "\\-->", - "type": "symbol", - "apply": "⟶" - }, - { - "label": "\\---", - "type": "symbol", - "apply": "─" - }, - { - "label": "\\--=", - "type": "symbol", - "apply": "═" - }, - { - "label": "\\--_", - "type": "symbol", - "apply": "━" - }, - { - "label": "\\--.", - "type": "symbol", - "apply": "╌" - }, - { - "label": "\\-o", - "type": "symbol", - "apply": "⊸" - }, - { - "label": "\\.=.", - "type": "symbol", - "apply": "≑" - }, - { - "label": "\\.=", - "type": "symbol", - "apply": "≐" - }, - { - "label": "\\.+", - "type": "symbol", - "apply": "∔" - }, - { - "label": "\\.-", - "type": "symbol", - "apply": "∸" - }, - { - "label": "\\...", - "type": "symbol", - "apply": "⋯" - }, - { - "label": "\\(=", - "type": "symbol", - "apply": "≘" - }, - { - "label": "\\(b", - "type": "symbol", - "apply": "⟅" - }, - { - "label": "\\and=", - "type": "symbol", - "apply": "≙" - }, - { - "label": "\\an", - "type": "symbol", - "apply": "∧" - }, - { - "label": "\\angle", - "type": "symbol", - "apply": "∠" - }, - { - "label": "\\rightangle", - "type": "symbol", - "apply": "∟" - }, - { - "label": "\\angstrom", - "type": "symbol", - "apply": "Å" - }, - { - "label": "\\all", - "type": "symbol", - "apply": "∀" - }, - { - "label": "\\allf", - "type": "symbol", - "apply": "∀ᶠ" - }, - { - "label": "\\all^f", - "type": "symbol", - "apply": "∀ᶠ" - }, - { - "label": "\\allm", - "type": "symbol", - "apply": "∀ᵐ" - }, - { - "label": "\\all^m", - "type": "symbol", - "apply": "∀ᵐ" - }, - { - "label": "\\aleph", - "type": "symbol", - "apply": "ℵ" - }, - { - "label": "\\aleph0", - "type": "symbol", - "apply": "ℵ₀" - }, - { - "label": "\\asterisk", - "type": "symbol", - "apply": "⁎" - }, - { - "label": "\\ast", - "type": "symbol", - "apply": "∗" - }, - { - "label": "\\asymp", - "type": "symbol", - "apply": "≍" - }, - { - "label": "\\apl", - "type": "symbol", - "apply": "⌶" - }, - { - "label": "\\approxeq", - "type": "symbol", - "apply": "≊" - }, - { - "label": "\\approx", - "type": "symbol", - "apply": "≈" - }, - { - "label": "\\aa", - "type": "symbol", - "apply": "å" - }, - { - "label": "\\ae", - "type": "symbol", - "apply": "æ" - }, - { - "label": "\\austral", - "type": "symbol", - "apply": "₳" - }, - { - "label": "\\afghani", - "type": "symbol", - "apply": "؋" - }, - { - "label": "\\amalg", - "type": "symbol", - "apply": "∐" - }, - { - "label": "\\average", - "type": "symbol", - "apply": "⨍" - }, - { - "label": "\\-int", - "type": "symbol", - "apply": "⨍" - }, - { - "label": "\\or=", - "type": "symbol", - "apply": "≚" - }, - { - "label": "\\ordfeminine", - "type": "symbol", - "apply": "ª" - }, - { - "label": "\\ordmasculine", - "type": "symbol", - "apply": "º" - }, - { - "label": "\\oplus", - "type": "symbol", - "apply": "⊕" - }, - { - "label": "\\od", - "type": "symbol", - "apply": "ᵒᵈ" - }, - { - "label": "\\orderdual", - "type": "symbol", - "apply": "ᵒᵈ" - }, - { - "label": "\\addopposite", - "type": "symbol", - "apply": "ᵃᵒᵖ" - }, - { - "label": "\\aop", - "type": "symbol", - "apply": "ᵃᵒᵖ" - }, - { - "label": "\\mulopposite", - "type": "symbol", - "apply": "ᵐᵒᵖ" - }, - { - "label": "\\mop", - "type": "symbol", - "apply": "ᵐᵒᵖ" - }, - { - "label": "\\opposite", - "type": "symbol", - "apply": "ᵒᵖ" - }, - { - "label": "\\op", - "type": "symbol", - "apply": "ᵒᵖ" - }, - { - "label": "\\o+", - "type": "symbol", - "apply": "⊕" - }, - { - "label": "\\o--", - "type": "symbol", - "apply": "⊖" - }, - { - "label": "\\o-", - "type": "symbol", - "apply": "⊝" - }, - { - "label": "\\ox", - "type": "symbol", - "apply": "⊗" - }, - { - "label": "\\o/", - "type": "symbol", - "apply": "⊘" - }, - { - "label": "\\o.", - "type": "symbol", - "apply": "⊙" - }, - { - "label": "\\oo", - "type": "symbol", - "apply": "⊚" - }, - { - "label": "\\o*", - "type": "symbol", - "apply": "∘*" - }, - { - "label": "\\o=", - "type": "symbol", - "apply": "⊜" - }, - { - "label": "\\oe", - "type": "symbol", - "apply": "œ" - }, - { - "label": "\\octagonal", - "type": "symbol", - "apply": "🛑" - }, - { - "label": "\\ohm", - "type": "symbol", - "apply": "Ω" - }, - { - "label": "\\ounce", - "type": "symbol", - "apply": "℥" - }, - { - "label": "\\omicron", - "type": "symbol", - "apply": "ο" - }, - { - "label": "\\ominus", - "type": "symbol", - "apply": "⊖" - }, - { - "label": "\\odot", - "type": "symbol", - "apply": "⊙" - }, - { - "label": "\\oint", - "type": "symbol", - "apply": "∮" - }, - { - "label": "\\oiint", - "type": "symbol", - "apply": "∯" - }, - { - "label": "\\oslash", - "type": "symbol", - "apply": "⊘" - }, - { - "label": "\\otimes", - "type": "symbol", - "apply": "⊗" - }, - { - "label": "\\tensorproduct", - "type": "symbol", - "apply": "⊗" - }, - { - "label": "\\pitensorproduct", - "type": "symbol", - "apply": "⨂" - }, - { - "label": "\\tensorpower", - "type": "symbol", - "apply": "⨂" - }, - { - "label": "\\pd", - "type": "symbol", - "apply": "∂" - }, - { - "label": "\\*=", - "type": "symbol", - "apply": "≛" - }, - { - "label": "\\t=", - "type": "symbol", - "apply": "≜" - }, - { - "label": "\\tint", - "type": "symbol", - "apply": "∯" - }, - { - "label": "\\transport", - "type": "symbol", - "apply": "▹" - }, - { - "label": "\\trans", - "type": "symbol", - "apply": "▹" - }, - { - "label": "\\triangledown", - "type": "symbol", - "apply": "▿" - }, - { - "label": "\\trianglelefteq", - "type": "symbol", - "apply": "⊴" - }, - { - "label": "\\triangleleft", - "type": "symbol", - "apply": "◃" - }, - { - "label": "\\triangleq", - "type": "symbol", - "apply": "≜" - }, - { - "label": "\\trianglerighteq", - "type": "symbol", - "apply": "⊵" - }, - { - "label": "\\triangleright", - "type": "symbol", - "apply": "▹" - }, - { - "label": "\\triangle", - "type": "symbol", - "apply": "▵" - }, - { - "label": "\\tr", - "type": "symbol", - "apply": "⬝" - }, - { - "label": "\\tb", - "type": "symbol", - "apply": "◂" - }, - { - "label": "\\twoheadleftarrow", - "type": "symbol", - "apply": "↞" - }, - { - "label": "\\twoheadrightarrow", - "type": "symbol", - "apply": "↠" - }, - { - "label": "\\tw", - "type": "symbol", - "apply": "◃" - }, - { - "label": "\\tie", - "type": "symbol", - "apply": "⁀" - }, - { - "label": "\\times", - "type": "symbol", - "apply": "×" - }, - { - "label": "\\therefore", - "type": "symbol", - "apply": "∴" - }, - { - "label": "\\thickapprox", - "type": "symbol", - "apply": "≈" - }, - { - "label": "\\thicksim", - "type": "symbol", - "apply": "∼" - }, - { - "label": "\\telephone", - "type": "symbol", - "apply": "℡" - }, - { - "label": "\\tenge", - "type": "symbol", - "apply": "₸" - }, - { - "label": "\\textmusicalnote", - "type": "symbol", - "apply": "♪" - }, - { - "label": "\\textmu", - "type": "symbol", - "apply": "µ" - }, - { - "label": "\\textfractionsolidus", - "type": "symbol", - "apply": "⁄" - }, - { - "label": "\\textbaht", - "type": "symbol", - "apply": "฿" - }, - { - "label": "\\textdied", - "type": "symbol", - "apply": "✝" - }, - { - "label": "\\textdiscount", - "type": "symbol", - "apply": "⁒" - }, - { - "label": "\\textcolonmonetary", - "type": "symbol", - "apply": "₡" - }, - { - "label": "\\textcircledP", - "type": "symbol", - "apply": "℗" - }, - { - "label": "\\textwon", - "type": "symbol", - "apply": "₩" - }, - { - "label": "\\textnaira", - "type": "symbol", - "apply": "₦" - }, - { - "label": "\\textnumero", - "type": "symbol", - "apply": "№" - }, - { - "label": "\\textpeso", - "type": "symbol", - "apply": "₱" - }, - { - "label": "\\textpertenthousand", - "type": "symbol", - "apply": "‱" - }, - { - "label": "\\textlira", - "type": "symbol", - "apply": "₤" - }, - { - "label": "\\textlquill", - "type": "symbol", - "apply": "⁅" - }, - { - "label": "\\textrecipe", - "type": "symbol", - "apply": "℞" - }, - { - "label": "\\textreferencemark", - "type": "symbol", - "apply": "※" - }, - { - "label": "\\textrquill", - "type": "symbol", - "apply": "⁆" - }, - { - "label": "\\textinterrobang", - "type": "symbol", - "apply": "‽" - }, - { - "label": "\\textestimated", - "type": "symbol", - "apply": "℮" - }, - { - "label": "\\textopenbullet", - "type": "symbol", - "apply": "◦" - }, - { - "label": "\\tugrik", - "type": "symbol", - "apply": "₮" - }, - { - "label": "\\top", - "type": "symbol", - "apply": "⊤" - }, - { - "label": "\\to0", - "type": "symbol", - "apply": "→₀" - }, - { - "label": "\\r0", - "type": "symbol", - "apply": "→₀" - }, - { - "label": "\\to_0", - "type": "symbol", - "apply": "→₀" - }, - { - "label": "\\r_0", - "type": "symbol", - "apply": "→₀" - }, - { - "label": "\\finsupp", - "type": "symbol", - "apply": "→₀" - }, - { - "label": "\\to1", - "type": "symbol", - "apply": "→₁" - }, - { - "label": "\\r1", - "type": "symbol", - "apply": "→₁" - }, - { - "label": "\\to_1", - "type": "symbol", - "apply": "→₁" - }, - { - "label": "\\r_1", - "type": "symbol", - "apply": "→₁" - }, - { - "label": "\\l1", - "type": "symbol", - "apply": "→₁" - }, - { - "label": "\\to1s", - "type": "symbol", - "apply": "→₁ₛ" - }, - { - "label": "\\r1s", - "type": "symbol", - "apply": "→₁ₛ" - }, - { - "label": "\\to_1s", - "type": "symbol", - "apply": "→₁ₛ" - }, - { - "label": "\\r_1s", - "type": "symbol", - "apply": "→₁ₛ" - }, - { - "label": "\\l1simplefunc", - "type": "symbol", - "apply": "→₁ₛ" - }, - { - "label": "\\toa", - "type": "symbol", - "apply": "→ₐ" - }, - { - "label": "\\ra", - "type": "symbol", - "apply": "→ₐ" - }, - { - "label": "\\to_a", - "type": "symbol", - "apply": "→ₐ" - }, - { - "label": "\\r_a", - "type": "symbol", - "apply": "→ₐ" - }, - { - "label": "\\alghom", - "type": "symbol", - "apply": "→ₐ" - }, - { - "label": "\\tob", - "type": "symbol", - "apply": "→ᵇ" - }, - { - "label": "\\rb", - "type": "symbol", - "apply": "→ᵇ" - }, - { - "label": "\\to^b", - "type": "symbol", - "apply": "→ᵇ" - }, - { - "label": "\\r^b", - "type": "symbol", - "apply": "→ᵇ" - }, - { - "label": "\\boundedcontinuousfunction", - "type": "symbol", - "apply": "→ᵇ" - }, - { - "label": "\\tol", - "type": "symbol", - "apply": "→ₗ" - }, - { - "label": "\\rl", - "type": "symbol", - "apply": "→ₗ" - }, - { - "label": "\\to_l", - "type": "symbol", - "apply": "→ₗ" - }, - { - "label": "\\r_l", - "type": "symbol", - "apply": "→ₗ" - }, - { - "label": "\\linearmap", - "type": "symbol", - "apply": "→ₗ" - }, - { - "label": "\\tosl", - "type": "symbol", - "apply": "→ₛₗ" - }, - { - "label": "\\rsl", - "type": "symbol", - "apply": "→ₛₗ" - }, - { - "label": "\\to_sl", - "type": "symbol", - "apply": "→ₛₗ" - }, - { - "label": "\\r_sl", - "type": "symbol", - "apply": "→ₛₗ" - }, - { - "label": "\\semilinearmap", - "type": "symbol", - "apply": "→ₛₗ" - }, - { - "label": "\\tom", - "type": "symbol", - "apply": "→ₘ" - }, - { - "label": "\\rm", - "type": "symbol", - "apply": "→ₘ" - }, - { - "label": "\\to_m", - "type": "symbol", - "apply": "→ₘ" - }, - { - "label": "\\r_m", - "type": "symbol", - "apply": "→ₘ" - }, - { - "label": "\\aeeqfun", - "type": "symbol", - "apply": "→ₘ" - }, - { - "label": "\\rp", - "type": "symbol", - "apply": "→ₚ" - }, - { - "label": "\\to_p", - "type": "symbol", - "apply": "→ₚ" - }, - { - "label": "\\r_p", - "type": "symbol", - "apply": "→ₚ" - }, - { - "label": "\\dfinsupp", - "type": "symbol", - "apply": "→ₚ" - }, - { - "label": "\\tos", - "type": "symbol", - "apply": "→ₛ" - }, - { - "label": "\\rs", - "type": "symbol", - "apply": "→ₛ" - }, - { - "label": "\\to_s", - "type": "symbol", - "apply": "→ₛ" - }, - { - "label": "\\r_s", - "type": "symbol", - "apply": "→ₛ" - }, - { - "label": "\\simplefunc", - "type": "symbol", - "apply": "→ₛ" - }, - { - "label": "\\heyting", - "type": "symbol", - "apply": "⇨" - }, - { - "label": "\\himp", - "type": "symbol", - "apply": "⇨" - }, - { - "label": "\\hnot", - "type": "symbol", - "apply": "￢" - }, - { - "label": "\\covers", - "type": "symbol", - "apply": "⋖" - }, - { - "label": "\\covby", - "type": "symbol", - "apply": "⋖" - }, - { - "label": "\\wcovby", - "type": "symbol", - "apply": "⩿" - }, - { - "label": "\\wcovers", - "type": "symbol", - "apply": "⩿" - }, - { - "label": "\\def=", - "type": "symbol", - "apply": "≝" - }, - { - "label": "\\defs", - "type": "symbol", - "apply": "≙" - }, - { - "label": "\\dei", - "type": "symbol", - "apply": "ϯ" - }, - { - "label": "\\doteqdot", - "type": "symbol", - "apply": "≑" - }, - { - "label": "\\doteq", - "type": "symbol", - "apply": "≐" - }, - { - "label": "\\dotplus", - "type": "symbol", - "apply": "∔" - }, - { - "label": "\\dotsquare", - "type": "symbol", - "apply": "⊡" - }, - { - "label": "\\dot", - "type": "symbol", - "apply": "·" - }, - { - "label": "\\dong", - "type": "symbol", - "apply": "₫" - }, - { - "label": "\\downarrow", - "type": "symbol", - "apply": "↓" - }, - { - "label": "\\downdownarrows", - "type": "symbol", - "apply": "⇊" - }, - { - "label": "\\downleftharpoon", - "type": "symbol", - "apply": "⇃" - }, - { - "label": "\\downrightharpoon", - "type": "symbol", - "apply": "⇂" - }, - { - "label": "\\dr-", - "type": "symbol", - "apply": "↘" - }, - { - "label": "\\dr=", - "type": "symbol", - "apply": "⇘" - }, - { - "label": "\\drachma", - "type": "symbol", - "apply": "₯" - }, - { - "label": "\\dr", - "type": "symbol", - "apply": "↘" - }, - { - "label": "\\dl-", - "type": "symbol", - "apply": "↙" - }, - { - "label": "\\dl=", - "type": "symbol", - "apply": "⇙" - }, - { - "label": "\\dl", - "type": "symbol", - "apply": "↙" - }, - { - "label": "\\d-2", - "type": "symbol", - "apply": "⇊" - }, - { - "label": "\\d-u-", - "type": "symbol", - "apply": "⇵" - }, - { - "label": "\\d-|", - "type": "symbol", - "apply": "↧" - }, - { - "label": "\\d-", - "type": "symbol", - "apply": "↓" - }, - { - "label": "\\d==", - "type": "symbol", - "apply": "⟱" - }, - { - "label": "\\d=", - "type": "symbol", - "apply": "⇓" - }, - { - "label": "\\dd-", - "type": "symbol", - "apply": "↡" - }, - { - "label": "\\ddagger", - "type": "symbol", - "apply": "‡" - }, - { - "label": "\\ddag", - "type": "symbol", - "apply": "‡" - }, - { - "label": "\\ddots", - "type": "symbol", - "apply": "⋱" - }, - { - "label": "\\dz", - "type": "symbol", - "apply": "↯" - }, - { - "label": "\\dib", - "type": "symbol", - "apply": "◆" - }, - { - "label": "\\diw", - "type": "symbol", - "apply": "◇" - }, - { - "label": "\\di.", - "type": "symbol", - "apply": "◈" - }, - { - "label": "\\die", - "type": "symbol", - "apply": "⚀" - }, - { - "label": "\\division", - "type": "symbol", - "apply": "÷" - }, - { - "label": "\\divideontimes", - "type": "symbol", - "apply": "⋇" - }, - { - "label": "\\div", - "type": "symbol", - "apply": "÷" - }, - { - "label": "\\diameter", - "type": "symbol", - "apply": "⌀" - }, - { - "label": "\\diamondsuit", - "type": "symbol", - "apply": "♢" - }, - { - "label": "\\diamond", - "type": "symbol", - "apply": "⋄" - }, - { - "label": "\\digamma", - "type": "symbol", - "apply": "ϝ" - }, - { - "label": "\\di", - "type": "symbol", - "apply": "◆" - }, - { - "label": "\\dagger", - "type": "symbol", - "apply": "†" - }, - { - "label": "\\dag", - "type": "symbol", - "apply": "†" - }, - { - "label": "\\daleth", - "type": "symbol", - "apply": "ℸ" - }, - { - "label": "\\dashv", - "type": "symbol", - "apply": "⊣" - }, - { - "label": "\\dh", - "type": "symbol", - "apply": "ð" - }, - { - "label": "\\dvd", - "type": "symbol", - "apply": "∣" - }, - { - "label": "\\m=", - "type": "symbol", - "apply": "≞" - }, - { - "label": "\\meet", - "type": "symbol", - "apply": "⊓" - }, - { - "label": "\\member", - "type": "symbol", - "apply": "∈" - }, - { - "label": "\\mem", - "type": "symbol", - "apply": "∈" - }, - { - "label": "\\measuredangle", - "type": "symbol", - "apply": "∡" - }, - { - "label": "\\ma", - "type": "symbol", - "apply": "↦" - }, - { - "label": "\\mapsto", - "type": "symbol", - "apply": "↦" - }, - { - "label": "\\male", - "type": "symbol", - "apply": "♂" - }, - { - "label": "\\maltese", - "type": "symbol", - "apply": "✠" - }, - { - "label": "\\manat", - "type": "symbol", - "apply": "₼" - }, - { - "label": "\\mathscr{I}", - "type": "symbol", - "apply": "ℐ" - }, - { - "label": "\\minus", - "type": "symbol", - "apply": "−" - }, - { - "label": "\\mill", - "type": "symbol", - "apply": "₥" - }, - { - "label": "\\micro", - "type": "symbol", - "apply": "µ" - }, - { - "label": "\\mid", - "type": "symbol", - "apply": "∣" - }, - { - "label": "\\multiplication", - "type": "symbol", - "apply": "×" - }, - { - "label": "\\multimap", - "type": "symbol", - "apply": "⊸" - }, - { - "label": "\\mho", - "type": "symbol", - "apply": "℧" - }, - { - "label": "\\models", - "type": "symbol", - "apply": "⊧" - }, - { - "label": "\\mp", - "type": "symbol", - "apply": "∓" - }, - { - "label": "\\?=", - "type": "symbol", - "apply": "≟" - }, - { - "label": "\\??", - "type": "symbol", - "apply": "⁇" - }, - { - "label": "\\?!", - "type": "symbol", - "apply": "‽" - }, - { - "label": "\\prohibited", - "type": "symbol", - "apply": "🛇" - }, - { - "label": "\\prod", - "type": "symbol", - "apply": "∏" - }, - { - "label": "\\propto", - "type": "symbol", - "apply": "∝" - }, - { - "label": "\\precapprox", - "type": "symbol", - "apply": "≾" - }, - { - "label": "\\preceq", - "type": "symbol", - "apply": "≼" - }, - { - "label": "\\precnapprox", - "type": "symbol", - "apply": "⋨" - }, - { - "label": "\\precnsim", - "type": "symbol", - "apply": "⋨" - }, - { - "label": "\\precsim", - "type": "symbol", - "apply": "≾" - }, - { - "label": "\\prec", - "type": "symbol", - "apply": "≺" - }, - { - "label": "\\preim", - "type": "symbol", - "apply": "⁻¹'" - }, - { - "label": "\\preimage", - "type": "symbol", - "apply": "⁻¹'" - }, - { - "label": "\\prime", - "type": "symbol", - "apply": "′" - }, - { - "label": "\\pr", - "type": "symbol", - "apply": "↣" - }, - { - "label": "\\powerset", - "type": "symbol", - "apply": "𝒫" - }, - { - "label": "\\pounds", - "type": "symbol", - "apply": "£" - }, - { - "label": "\\pound", - "type": "symbol", - "apply": "£" - }, - { - "label": "\\pab", - "type": "symbol", - "apply": "▰" - }, - { - "label": "\\paw", - "type": "symbol", - "apply": "▱" - }, - { - "label": "\\partnership", - "type": "symbol", - "apply": "㉐" - }, - { - "label": "\\partial", - "type": "symbol", - "apply": "∂" - }, - { - "label": "\\paragraph", - "type": "symbol", - "apply": "¶" - }, - { - "label": "\\parallel", - "type": "symbol", - "apply": "∥" - }, - { - "label": "\\pa", - "type": "symbol", - "apply": "▰" - }, - { - "label": "\\pm", - "type": "symbol", - "apply": "±" - }, - { - "label": "\\perp", - "type": "symbol", - "apply": "⟂" - }, - { - "label": "\\^perp", - "type": "symbol", - "apply": "ᗮ" - }, - { - "label": "\\permil", - "type": "symbol", - "apply": "‰" - }, - { - "label": "\\per", - "type": "symbol", - "apply": "⅌" - }, - { - "label": "\\peso", - "type": "symbol", - "apply": "₱" - }, - { - "label": "\\peseta", - "type": "symbol", - "apply": "₧" - }, - { - "label": "\\pilcrow", - "type": "symbol", - "apply": "¶" - }, - { - "label": "\\pitchfork", - "type": "symbol", - "apply": "⋔" - }, - { - "label": "\\phi", - "type": "symbol", - "apply": "φ" - }, - { - "label": "\\leqn", - "type": "symbol", - "apply": "≰" - }, - { - "label": "\\leqq", - "type": "symbol", - "apply": "≦" - }, - { - "label": "\\leqslant", - "type": "symbol", - "apply": "≤" - }, - { - "label": "\\len", - "type": "symbol", - "apply": "≰" - }, - { - "label": "\\leadsto", - "type": "symbol", - "apply": "↝" - }, - { - "label": "\\leftarrowtail", - "type": "symbol", - "apply": "↢" - }, - { - "label": "\\leftarrow", - "type": "symbol", - "apply": "←" - }, - { - "label": "\\leftharpoondown", - "type": "symbol", - "apply": "↽" - }, - { - "label": "\\leftharpoonup", - "type": "symbol", - "apply": "↼" - }, - { - "label": "\\leftleftarrows", - "type": "symbol", - "apply": "⇇" - }, - { - "label": "\\leftrightarrows", - "type": "symbol", - "apply": "⇆" - }, - { - "label": "\\leftrightarrow", - "type": "symbol", - "apply": "↔" - }, - { - "label": "\\leftrightharpoons", - "type": "symbol", - "apply": "⇋" - }, - { - "label": "\\leftrightsquigarrow", - "type": "symbol", - "apply": "↭" - }, - { - "label": "\\leftthreetimes", - "type": "symbol", - "apply": "⋋" - }, - { - "label": "\\lessapprox", - "type": "symbol", - "apply": "≲" - }, - { - "label": "\\lessdot", - "type": "symbol", - "apply": "⋖" - }, - { - "label": "\\lesseqgtr", - "type": "symbol", - "apply": "⋚" - }, - { - "label": "\\lesseqqgtr", - "type": "symbol", - "apply": "⋚" - }, - { - "label": "\\lessgtr", - "type": "symbol", - "apply": "≶" - }, - { - "label": "\\lesssim", - "type": "symbol", - "apply": "≲" - }, - { - "label": "\\le", - "type": "symbol", - "apply": "≤" - }, - { - "label": "\\lub", - "type": "symbol", - "apply": "⊔" - }, - { - "label": "\\lr--", - "type": "symbol", - "apply": "⟷" - }, - { - "label": "\\lr-n", - "type": "symbol", - "apply": "↮" - }, - { - "label": "\\lr-", - "type": "symbol", - "apply": "↔" - }, - { - "label": "\\lr=n", - "type": "symbol", - "apply": "⇎" - }, - { - "label": "\\lr=", - "type": "symbol", - "apply": "⇔" - }, - { - "label": "\\lr~", - "type": "symbol", - "apply": "↭" - }, - { - "label": "\\lrcorner", - "type": "symbol", - "apply": "⌟" - }, - { - "label": "\\lr", - "type": "symbol", - "apply": "↔" - }, - { - "label": "\\l-2", - "type": "symbol", - "apply": "⇇" - }, - { - "label": "\\l-r-", - "type": "symbol", - "apply": "⇆" - }, - { - "label": "\\l--", - "type": "symbol", - "apply": "⟵" - }, - { - "label": "\\l-n", - "type": "symbol", - "apply": "↚" - }, - { - "label": "\\l-|", - "type": "symbol", - "apply": "↤" - }, - { - "label": "\\l->", - "type": "symbol", - "apply": "↢" - }, - { - "label": "\\l-", - "type": "symbol", - "apply": "←" - }, - { - "label": "\\l==", - "type": "symbol", - "apply": "⇚" - }, - { - "label": "\\l=n", - "type": "symbol", - "apply": "⇍" - }, - { - "label": "\\l=", - "type": "symbol", - "apply": "⇐" - }, - { - "label": "\\l~", - "type": "symbol", - "apply": "↜" - }, - { - "label": "\\ll-", - "type": "symbol", - "apply": "↞" - }, - { - "label": "\\llcorner", - "type": "symbol", - "apply": "⌞" - }, - { - "label": "\\llbracket", - "type": "symbol", - "apply": "〚" - }, - { - "label": "\\ll", - "type": "symbol", - "apply": "≪" - }, - { - "label": "\\lbag", - "type": "symbol", - "apply": "⟅" - }, - { - "label": "\\lamda", - "type": "symbol", - "apply": "λ" - }, - { - "label": "\\lam", - "type": "symbol", - "apply": "λ" - }, - { - "label": "\\lari", - "type": "symbol", - "apply": "₾" - }, - { - "label": "\\langle", - "type": "symbol", - "apply": "⟨" - }, - { - "label": "\\lira", - "type": "symbol", - "apply": "₤" - }, - { - "label": "\\lceil", - "type": "symbol", - "apply": "⌈" - }, - { - "label": "\\ldots", - "type": "symbol", - "apply": "…" - }, - { - "label": "\\ldq", - "type": "symbol", - "apply": "“" - }, - { - "label": "\\ldata", - "type": "symbol", - "apply": "《" - }, - { - "label": "\\lfloor", - "type": "symbol", - "apply": "⌊" - }, - { - "label": "\\lf", - "type": "symbol", - "apply": "⧏" - }, - { - "label": "\\<|", - "type": "symbol", - "apply": "⧏" - }, - { - "label": "\\lhd", - "type": "symbol", - "apply": "◁" - }, - { - "label": "\\lnapprox", - "type": "symbol", - "apply": "⋦" - }, - { - "label": "\\lneqq", - "type": "symbol", - "apply": "≨" - }, - { - "label": "\\lneq", - "type": "symbol", - "apply": "≨" - }, - { - "label": "\\lnsim", - "type": "symbol", - "apply": "⋦" - }, - { - "label": "\\lnot", - "type": "symbol", - "apply": "¬" - }, - { - "label": "\\longleftarrow", - "type": "symbol", - "apply": "⟵" - }, - { - "label": "\\longleftrightarrow", - "type": "symbol", - "apply": "⟷" - }, - { - "label": "\\longrightarrow", - "type": "symbol", - "apply": "⟶" - }, - { - "label": "\\looparrowleft", - "type": "symbol", - "apply": "↫" - }, - { - "label": "\\looparrowright", - "type": "symbol", - "apply": "↬" - }, - { - "label": "\\lozenge", - "type": "symbol", - "apply": "✧" - }, - { - "label": "\\lq", - "type": "symbol", - "apply": "‘" - }, - { - "label": "\\ltimes", - "type": "symbol", - "apply": "⋉" - }, - { - "label": "\\lvertneqq", - "type": "symbol", - "apply": "≨" - }, - { - "label": "\\geqn", - "type": "symbol", - "apply": "≱" - }, - { - "label": "\\geqq", - "type": "symbol", - "apply": "≧" - }, - { - "label": "\\geqslant", - "type": "symbol", - "apply": "≥" - }, - { - "label": "\\gen", - "type": "symbol", - "apply": "≱" - }, - { - "label": "\\gets", - "type": "symbol", - "apply": "←" - }, - { - "label": "\\ge", - "type": "symbol", - "apply": "≥" - }, - { - "label": "\\glb", - "type": "symbol", - "apply": "⊓" - }, - { - "label": "\\glqq", - "type": "symbol", - "apply": "„" - }, - { - "label": "\\glq", - "type": "symbol", - "apply": "‚" - }, - { - "label": "\\guarani", - "type": "symbol", - "apply": "₲" - }, - { - "label": "\\gangia", - "type": "symbol", - "apply": "ϫ" - }, - { - "label": "\\ggg", - "type": "symbol", - "apply": "⋙" - }, - { - "label": "\\gg", - "type": "symbol", - "apply": "≫" - }, - { - "label": "\\gimel", - "type": "symbol", - "apply": "ℷ" - }, - { - "label": "\\gnapprox", - "type": "symbol", - "apply": "⋧" - }, - { - "label": "\\gneqq", - "type": "symbol", - "apply": "≩" - }, - { - "label": "\\gneq", - "type": "symbol", - "apply": "≩" - }, - { - "label": "\\gnsim", - "type": "symbol", - "apply": "⋧" - }, - { - "label": "\\gtrapprox", - "type": "symbol", - "apply": "≳" - }, - { - "label": "\\gtrdot", - "type": "symbol", - "apply": "⋗" - }, - { - "label": "\\gtreqless", - "type": "symbol", - "apply": "⋛" - }, - { - "label": "\\gtreqqless", - "type": "symbol", - "apply": "⋛" - }, - { - "label": "\\gtrless", - "type": "symbol", - "apply": "≷" - }, - { - "label": "\\gtrsim", - "type": "symbol", - "apply": "≳" - }, - { - "label": "\\gvertneqq", - "type": "symbol", - "apply": "≩" - }, - { - "label": "\\grqq", - "type": "symbol", - "apply": "“" - }, - { - "label": "\\grq", - "type": "symbol", - "apply": "‘" - }, - { - "label": "\\<=n", - "type": "symbol", - "apply": "≰" - }, - { - "label": "\\<=>n", - "type": "symbol", - "apply": "⇎" - }, - { - "label": "\\<=>", - "type": "symbol", - "apply": "⇔" - }, - { - "label": "\\<=", - "type": "symbol", - "apply": "≤" - }, - { - "label": "\\<~nn", - "type": "symbol", - "apply": "≴" - }, - { - "label": "\\<~n", - "type": "symbol", - "apply": "⋦" - }, - { - "label": "\\<~", - "type": "symbol", - "apply": "≲" - }, - { - "label": "\\<:", - "type": "symbol", - "apply": "⋖" - }, - { - "label": "\\:>", - "type": "symbol", - "apply": "⋗" - }, - { - "label": "\\<->n", - "type": "symbol", - "apply": "↮" - }, - { - "label": "\\<->", - "type": "symbol", - "apply": "↔" - }, - { - "label": "\\<-->", - "type": "symbol", - "apply": "⟷" - }, - { - "label": "\\<--", - "type": "symbol", - "apply": "⟵" - }, - { - "label": "\\<-n", - "type": "symbol", - "apply": "↚" - }, - { - "label": "\\<-", - "type": "symbol", - "apply": "←" - }, - { - "label": "\\<<", - "type": "symbol", - "apply": "⟪" - }, - { - "label": "\\>=n", - "type": "symbol", - "apply": "≱" - }, - { - "label": "\\>=", - "type": "symbol", - "apply": "≥" - }, - { - "label": "\\>n", - "type": "symbol", - "apply": "≯" - }, - { - "label": "\\>~nn", - "type": "symbol", - "apply": "≵" - }, - { - "label": "\\>~n", - "type": "symbol", - "apply": "⋧" - }, - { - "label": "\\>~", - "type": "symbol", - "apply": "≳" - }, - { - "label": "\\>>", - "type": "symbol", - "apply": "⟫" - }, - { - "label": "\\root", - "type": "symbol", - "apply": "√" - }, - { - "label": "\\scissor", - "type": "symbol", - "apply": "✂" - }, - { - "label": "\\ssubn", - "type": "symbol", - "apply": "⊄" - }, - { - "label": "\\ssub", - "type": "symbol", - "apply": "⊂" - }, - { - "label": "\\ssupn", - "type": "symbol", - "apply": "⊅" - }, - { - "label": "\\ssup", - "type": "symbol", - "apply": "⊃" - }, - { - "label": "\\ssqub", - "type": "symbol", - "apply": "⊏" - }, - { - "label": "\\ssqup", - "type": "symbol", - "apply": "⊐" - }, - { - "label": "\\ss", - "type": "symbol", - "apply": "⊆" - }, - { - "label": "\\subn", - "type": "symbol", - "apply": "⊈" - }, - { - "label": "\\subseteqq", - "type": "symbol", - "apply": "⊆" - }, - { - "label": "\\subsetneqq", - "type": "symbol", - "apply": "⊊" - }, - { - "label": "\\subsetneq", - "type": "symbol", - "apply": "⊊" - }, - { - "label": "\\ssubset", - "type": "symbol", - "apply": "⊂" - }, - { - "label": "\\sub", - "type": "symbol", - "apply": "⊆" - }, - { - "label": "\\supn", - "type": "symbol", - "apply": "⊉" - }, - { - "label": "\\supseteqq", - "type": "symbol", - "apply": "⊇" - }, - { - "label": "\\supseteq", - "type": "symbol", - "apply": "⊇" - }, - { - "label": "\\supsetneqq", - "type": "symbol", - "apply": "⊋" - }, - { - "label": "\\supsetneq", - "type": "symbol", - "apply": "⊋" - }, - { - "label": "\\supset", - "type": "symbol", - "apply": "⊇" - }, - { - "label": "\\ssupset", - "type": "symbol", - "apply": "⊃" - }, - { - "label": "\\sUnion", - "type": "symbol", - "apply": "⋃₀" - }, - { - "label": "\\sInter", - "type": "symbol", - "apply": "⋂₀" - }, - { - "label": "\\sup", - "type": "symbol", - "apply": "⊔" - }, - { - "label": "\\supr", - "type": "symbol", - "apply": "⨆" - }, - { - "label": "\\surd3", - "type": "symbol", - "apply": "∛" - }, - { - "label": "\\surd4", - "type": "symbol", - "apply": "∜" - }, - { - "label": "\\surd", - "type": "symbol", - "apply": "√" - }, - { - "label": "\\succapprox", - "type": "symbol", - "apply": "≿" - }, - { - "label": "\\succcurlyeq", - "type": "symbol", - "apply": "≽" - }, - { - "label": "\\succeq", - "type": "symbol", - "apply": "≽" - }, - { - "label": "\\succnapprox", - "type": "symbol", - "apply": "⋩" - }, - { - "label": "\\succnsim", - "type": "symbol", - "apply": "⋩" - }, - { - "label": "\\succsim", - "type": "symbol", - "apply": "≿" - }, - { - "label": "\\succ", - "type": "symbol", - "apply": "≻" - }, - { - "label": "\\sum", - "type": "symbol", - "apply": "∑" - }, - { - "label": "\\specializes", - "type": "symbol", - "apply": "⤳" - }, - { - "label": "\\~>", - "type": "symbol", - "apply": "⤳" - }, - { - "label": "\\squbn", - "type": "symbol", - "apply": "⋢" - }, - { - "label": "\\squb", - "type": "symbol", - "apply": "⊑" - }, - { - "label": "\\squpn", - "type": "symbol", - "apply": "⋣" - }, - { - "label": "\\squp", - "type": "symbol", - "apply": "⊒" - }, - { - "label": "\\square", - "type": "symbol", - "apply": "□" - }, - { - "label": "\\squigarrowright", - "type": "symbol", - "apply": "⇝" - }, - { - "label": "\\sqb", - "type": "symbol", - "apply": "■" - }, - { - "label": "\\sqw", - "type": "symbol", - "apply": "□" - }, - { - "label": "\\sq.", - "type": "symbol", - "apply": "▣" - }, - { - "label": "\\sqo", - "type": "symbol", - "apply": "▢" - }, - { - "label": "\\sqcap", - "type": "symbol", - "apply": "⊓" - }, - { - "label": "\\sqcup", - "type": "symbol", - "apply": "⊔" - }, - { - "label": "\\sqrt", - "type": "symbol", - "apply": "√" - }, - { - "label": "\\sqsubseteq", - "type": "symbol", - "apply": "⊑" - }, - { - "label": "\\sqsubset", - "type": "symbol", - "apply": "⊏" - }, - { - "label": "\\sqsupseteq", - "type": "symbol", - "apply": "⊒" - }, - { - "label": "\\sqsupset", - "type": "symbol", - "apply": "⊐" - }, - { - "label": "\\sq", - "type": "symbol", - "apply": "◾" - }, - { - "label": "\\sy", - "type": "symbol", - "apply": "⁻¹" - }, - { - "label": "\\symmdiff", - "type": "symbol", - "apply": "∆" - }, - { - "label": "\\st4", - "type": "symbol", - "apply": "✦" - }, - { - "label": "\\st6", - "type": "symbol", - "apply": "✶" - }, - { - "label": "\\st8", - "type": "symbol", - "apply": "✴" - }, - { - "label": "\\st12", - "type": "symbol", - "apply": "✹" - }, - { - "label": "\\stigma", - "type": "symbol", - "apply": "ϛ" - }, - { - "label": "\\star", - "type": "symbol", - "apply": "⋆" - }, - { - "label": "\\straightphi", - "type": "symbol", - "apply": "φ" - }, - { - "label": "\\st", - "type": "symbol", - "apply": "⋆" - }, - { - "label": "\\spesmilo", - "type": "symbol", - "apply": "₷" - }, - { - "label": "\\span", - "type": "symbol", - "apply": "∙" - }, - { - "label": "\\spadesuit", - "type": "symbol", - "apply": "♠" - }, - { - "label": "\\sphericalangle", - "type": "symbol", - "apply": "∢" - }, - { - "label": "\\section", - "type": "symbol", - "apply": "§" - }, - { - "label": "\\searrow", - "type": "symbol", - "apply": "↘" - }, - { - "label": "\\san", - "type": "symbol", - "apply": "ϻ" - }, - { - "label": "\\sampi", - "type": "symbol", - "apply": "ϡ" - }, - { - "label": "\\shortmid", - "type": "symbol", - "apply": "∣" - }, - { - "label": "\\sho", - "type": "symbol", - "apply": "ϸ" - }, - { - "label": "\\shima", - "type": "symbol", - "apply": "ϭ" - }, - { - "label": "\\shei", - "type": "symbol", - "apply": "ϣ" - }, - { - "label": "\\sharp", - "type": "symbol", - "apply": "♯" - }, - { - "label": "\\sigma", - "type": "symbol", - "apply": "σ" - }, - { - "label": "\\simeq", - "type": "symbol", - "apply": "≃" - }, - { - "label": "\\sim", - "type": "symbol", - "apply": "∼" - }, - { - "label": "\\sbs", - "type": "symbol", - "apply": "﹨" - }, - { - "label": "\\smallamalg", - "type": "symbol", - "apply": "∐" - }, - { - "label": "\\smallsetminus", - "type": "symbol", - "apply": "∖" - }, - { - "label": "\\smallsmile", - "type": "symbol", - "apply": "⌣" - }, - { - "label": "\\smile", - "type": "symbol", - "apply": "⌣" - }, - { - "label": "\\smul", - "type": "symbol", - "apply": "•" - }, - { - "label": "\\swarrow", - "type": "symbol", - "apply": "↙" - }, - { - "label": "\\Tr", - "type": "symbol", - "apply": "◀" - }, - { - "label": "\\Tb", - "type": "symbol", - "apply": "◀" - }, - { - "label": "\\Tw", - "type": "symbol", - "apply": "◁" - }, - { - "label": "\\TH", - "type": "symbol", - "apply": "Þ" - }, - { - "label": "\\undertie", - "type": "symbol", - "apply": "‿" - }, - { - "label": "\\uncertainty", - "type": "symbol", - "apply": "⯑" - }, - { - "label": "\\un", - "type": "symbol", - "apply": "∪" - }, - { - "label": "\\u+", - "type": "symbol", - "apply": "⊎" - }, - { - "label": "\\u.", - "type": "symbol", - "apply": "⊍" - }, - { - "label": "\\ud-|", - "type": "symbol", - "apply": "↨" - }, - { - "label": "\\ud-", - "type": "symbol", - "apply": "↕" - }, - { - "label": "\\ud=", - "type": "symbol", - "apply": "⇕" - }, - { - "label": "\\ud", - "type": "symbol", - "apply": "↕" - }, - { - "label": "\\ul-", - "type": "symbol", - "apply": "↖" - }, - { - "label": "\\ul=", - "type": "symbol", - "apply": "⇖" - }, - { - "label": "\\ulcorner", - "type": "symbol", - "apply": "⌜" - }, - { - "label": "\\ul", - "type": "symbol", - "apply": "↖" - }, - { - "label": "\\ur-", - "type": "symbol", - "apply": "↗" - }, - { - "label": "\\ur=", - "type": "symbol", - "apply": "⇗" - }, - { - "label": "\\urcorner", - "type": "symbol", - "apply": "⌝" - }, - { - "label": "\\ur", - "type": "symbol", - "apply": "↗" - }, - { - "label": "\\u-2", - "type": "symbol", - "apply": "⇈" - }, - { - "label": "\\u-d-", - "type": "symbol", - "apply": "⇅" - }, - { - "label": "\\u-|", - "type": "symbol", - "apply": "↥" - }, - { - "label": "\\u-", - "type": "symbol", - "apply": "↑" - }, - { - "label": "\\u==", - "type": "symbol", - "apply": "⟰" - }, - { - "label": "\\u=", - "type": "symbol", - "apply": "⇑" - }, - { - "label": "\\uu-", - "type": "symbol", - "apply": "↟" - }, - { - "label": "\\uparrow", - "type": "symbol", - "apply": "↑" - }, - { - "label": "\\updownarrow", - "type": "symbol", - "apply": "↕" - }, - { - "label": "\\upleftharpoon", - "type": "symbol", - "apply": "↿" - }, - { - "label": "\\uplus", - "type": "symbol", - "apply": "⊎" - }, - { - "label": "\\uprightharpoon", - "type": "symbol", - "apply": "↾" - }, - { - "label": "\\upuparrows", - "type": "symbol", - "apply": "⇈" - }, - { - "label": "\\And", - "type": "symbol", - "apply": "⋀" - }, - { - "label": "\\AA", - "type": "symbol", - "apply": "Å" - }, - { - "label": "\\AE", - "type": "symbol", - "apply": "Æ" - }, - { - "label": "\\Or", - "type": "symbol", - "apply": "⋁" - }, - { - "label": "\\O+", - "type": "symbol", - "apply": "⨁" - }, - { - "label": "\\directsum", - "type": "symbol", - "apply": "⨁" - }, - { - "label": "\\Ox", - "type": "symbol", - "apply": "⨂" - }, - { - "label": "\\O.", - "type": "symbol", - "apply": "⨀" - }, - { - "label": "\\O*", - "type": "symbol", - "apply": "⍟" - }, - { - "label": "\\OE", - "type": "symbol", - "apply": "Œ" - }, - { - "label": "\\Int", - "type": "symbol", - "apply": "ℤ" - }, - { - "label": "\\Inter", - "type": "symbol", - "apply": "⋂" - }, - { - "label": "\\bInter", - "type": "symbol", - "apply": "⋂" - }, - { - "label": "\\Im", - "type": "symbol", - "apply": "ℑ" - }, - { - "label": "\\Un", - "type": "symbol", - "apply": "⋃" - }, - { - "label": "\\Union", - "type": "symbol", - "apply": "⋃" - }, - { - "label": "\\bUnion", - "type": "symbol", - "apply": "⋃" - }, - { - "label": "\\U+", - "type": "symbol", - "apply": "⨄" - }, - { - "label": "\\U.", - "type": "symbol", - "apply": "⨃" - }, - { - "label": "\\Uparrow", - "type": "symbol", - "apply": "⇑" - }, - { - "label": "\\Updownarrow", - "type": "symbol", - "apply": "⇕" - }, - { - "label": "\\Gl-", - "type": "symbol", - "apply": "ƛ" - }, - { - "label": "\\Gl", - "type": "symbol", - "apply": "λ" - }, - { - "label": "\\Gangia", - "type": "symbol", - "apply": "Ϫ" - }, - { - "label": "\\Glb", - "type": "symbol", - "apply": "⨅" - }, - { - "label": "\\Ga", - "type": "symbol", - "apply": "α" - }, - { - "label": "\\GA", - "type": "symbol", - "apply": "Α" - }, - { - "label": "\\Gb", - "type": "symbol", - "apply": "β" - }, - { - "label": "\\GB", - "type": "symbol", - "apply": "Β" - }, - { - "label": "\\Gg", - "type": "symbol", - "apply": "γ" - }, - { - "label": "\\GG", - "type": "symbol", - "apply": "Γ" - }, - { - "label": "\\Gd", - "type": "symbol", - "apply": "δ" - }, - { - "label": "\\GD", - "type": "symbol", - "apply": "Δ" - }, - { - "label": "\\Ge", - "type": "symbol", - "apply": "ε" - }, - { - "label": "\\GE", - "type": "symbol", - "apply": "Ε" - }, - { - "label": "\\Gz", - "type": "symbol", - "apply": "ζ" - }, - { - "label": "\\GZ", - "type": "symbol", - "apply": "Ζ" - }, - { - "label": "\\Gth", - "type": "symbol", - "apply": "θ" - }, - { - "label": "\\Gt", - "type": "symbol", - "apply": "τ" - }, - { - "label": "\\GTH", - "type": "symbol", - "apply": "Θ" - }, - { - "label": "\\GT", - "type": "symbol", - "apply": "Τ" - }, - { - "label": "\\Gi", - "type": "symbol", - "apply": "ι" - }, - { - "label": "\\GI", - "type": "symbol", - "apply": "Ι" - }, - { - "label": "\\Gk", - "type": "symbol", - "apply": "κ" - }, - { - "label": "\\GK", - "type": "symbol", - "apply": "Κ" - }, - { - "label": "\\GL", - "type": "symbol", - "apply": "Λ" - }, - { - "label": "\\Gm", - "type": "symbol", - "apply": "μ" - }, - { - "label": "\\GM", - "type": "symbol", - "apply": "Μ" - }, - { - "label": "\\Gn", - "type": "symbol", - "apply": "ν" - }, - { - "label": "\\GN", - "type": "symbol", - "apply": "Ν" - }, - { - "label": "\\Gx", - "type": "symbol", - "apply": "ξ" - }, - { - "label": "\\GX", - "type": "symbol", - "apply": "Ξ" - }, - { - "label": "\\Gr", - "type": "symbol", - "apply": "ρ" - }, - { - "label": "\\GR", - "type": "symbol", - "apply": "Ρ" - }, - { - "label": "\\Gs", - "type": "symbol", - "apply": "σ" - }, - { - "label": "\\GS", - "type": "symbol", - "apply": "Σ" - }, - { - "label": "\\Gu", - "type": "symbol", - "apply": "υ" - }, - { - "label": "\\GU", - "type": "symbol", - "apply": "Υ" - }, - { - "label": "\\Gf", - "type": "symbol", - "apply": "φ" - }, - { - "label": "\\GF", - "type": "symbol", - "apply": "Φ" - }, - { - "label": "\\Gc", - "type": "symbol", - "apply": "χ" - }, - { - "label": "\\GC", - "type": "symbol", - "apply": "Χ" - }, - { - "label": "\\Gp", - "type": "symbol", - "apply": "ψ" - }, - { - "label": "\\GP", - "type": "symbol", - "apply": "Ψ" - }, - { - "label": "\\Go", - "type": "symbol", - "apply": "ω" - }, - { - "label": "\\GO", - "type": "symbol", - "apply": "Ω" - }, - { - "label": "\\Inf", - "type": "symbol", - "apply": "⨅" - }, - { - "label": "\\Join", - "type": "symbol", - "apply": "⨆" - }, - { - "label": "\\Lub", - "type": "symbol", - "apply": "⨆" - }, - { - "label": "\\Lamda", - "type": "symbol", - "apply": "Λ" - }, - { - "label": "\\Leftarrow", - "type": "symbol", - "apply": "⇐" - }, - { - "label": "\\Leftrightarrow", - "type": "symbol", - "apply": "⇔" - }, - { - "label": "\\Letter", - "type": "symbol", - "apply": "✉" - }, - { - "label": "\\Lleftarrow", - "type": "symbol", - "apply": "⇚" - }, - { - "label": "\\Ll", - "type": "symbol", - "apply": "⋘" - }, - { - "label": "\\Longleftarrow", - "type": "symbol", - "apply": "⇐" - }, - { - "label": "\\Longleftrightarrow", - "type": "symbol", - "apply": "⇔" - }, - { - "label": "\\Longrightarrow", - "type": "symbol", - "apply": "⇒" - }, - { - "label": "\\Meet", - "type": "symbol", - "apply": "⨅" - }, - { - "label": "\\Sup", - "type": "symbol", - "apply": "⨆" - }, - { - "label": "\\Sqcap", - "type": "symbol", - "apply": "⨅" - }, - { - "label": "\\Sqcup", - "type": "symbol", - "apply": "⨆" - }, - { - "label": "\\Lsh", - "type": "symbol", - "apply": "↰" - }, - { - "label": "\\|-n", - "type": "symbol", - "apply": "⊬" - }, - { - "label": "\\|-", - "type": "symbol", - "apply": "⊢" - }, - { - "label": "\\|=n", - "type": "symbol", - "apply": "⊭" - }, - { - "label": "\\|=", - "type": "symbol", - "apply": "⊨" - }, - { - "label": "\\|->", - "type": "symbol", - "apply": "↦" - }, - { - "label": "\\|=>", - "type": "symbol", - "apply": "⇰" - }, - { - "label": "\\||-n", - "type": "symbol", - "apply": "⊮" - }, - { - "label": "\\||-", - "type": "symbol", - "apply": "⊩" - }, - { - "label": "\\||=n", - "type": "symbol", - "apply": "⊯" - }, - { - "label": "\\||=", - "type": "symbol", - "apply": "⊫" - }, - { - "label": "\\|||-", - "type": "symbol", - "apply": "⊪" - }, - { - "label": "\\||", - "type": "symbol", - "apply": "‖" - }, - { - "label": "\\fuzzy", - "type": "symbol", - "apply": "‖" - }, - { - "label": "\\|n", - "type": "symbol", - "apply": "∤" - }, - { - "label": "\\Com", - "type": "symbol", - "apply": "ℂ" - }, - { - "label": "\\Cap", - "type": "symbol", - "apply": "⋒" - }, - { - "label": "\\Cup", - "type": "symbol", - "apply": "⋓" - }, - { - "label": "\\cul", - "type": "symbol", - "apply": "⌜" - }, - { - "label": "\\cuL", - "type": "symbol", - "apply": "⌈" - }, - { - "label": "\\currency", - "type": "symbol", - "apply": "¤" - }, - { - "label": "\\curlyeqprec", - "type": "symbol", - "apply": "⋞" - }, - { - "label": "\\curlyeqsucc", - "type": "symbol", - "apply": "⋟" - }, - { - "label": "\\curlypreceq", - "type": "symbol", - "apply": "≼" - }, - { - "label": "\\curlyvee", - "type": "symbol", - "apply": "⋎" - }, - { - "label": "\\curlywedge", - "type": "symbol", - "apply": "⋏" - }, - { - "label": "\\curvearrowleft", - "type": "symbol", - "apply": "↶" - }, - { - "label": "\\curvearrowright", - "type": "symbol", - "apply": "↷" - }, - { - "label": "\\cur", - "type": "symbol", - "apply": "⌝" - }, - { - "label": "\\cuR", - "type": "symbol", - "apply": "⌉" - }, - { - "label": "\\cup", - "type": "symbol", - "apply": "∪" - }, - { - "label": "\\cu", - "type": "symbol", - "apply": "⌜" - }, - { - "label": "\\cll", - "type": "symbol", - "apply": "⌞" - }, - { - "label": "\\clL", - "type": "symbol", - "apply": "⌊" - }, - { - "label": "\\clr", - "type": "symbol", - "apply": "⌟" - }, - { - "label": "\\clR", - "type": "symbol", - "apply": "⌋" - }, - { - "label": "\\clubsuit", - "type": "symbol", - "apply": "♣" - }, - { - "label": "\\cl", - "type": "symbol", - "apply": "⌞" - }, - { - "label": "\\construction", - "type": "symbol", - "apply": "🚧" - }, - { - "label": "\\cong", - "type": "symbol", - "apply": "≅" - }, - { - "label": "\\con", - "type": "symbol", - "apply": "⬝" - }, - { - "label": "\\compl", - "type": "symbol", - "apply": "ᶜ" - }, - { - "label": "\\complement", - "type": "symbol", - "apply": "ᶜ" - }, - { - "label": "\\complementprefix", - "type": "symbol", - "apply": "∁" - }, - { - "label": "\\Complement", - "type": "symbol", - "apply": "∁" - }, - { - "label": "\\comp", - "type": "symbol", - "apply": "∘" - }, - { - "label": "\\com", - "type": "symbol", - "apply": "ℂ" - }, - { - "label": "\\coloneq", - "type": "symbol", - "apply": "≔" - }, - { - "label": "\\colon", - "type": "symbol", - "apply": "₡" - }, - { - "label": "\\copyright", - "type": "symbol", - "apply": "©" - }, - { - "label": "\\cdots", - "type": "symbol", - "apply": "⋯" - }, - { - "label": "\\cdot", - "type": "symbol", - "apply": "·" - }, - { - "label": "\\cib", - "type": "symbol", - "apply": "●" - }, - { - "label": "\\ciw", - "type": "symbol", - "apply": "○" - }, - { - "label": "\\ci..", - "type": "symbol", - "apply": "◌" - }, - { - "label": "\\ci.", - "type": "symbol", - "apply": "◎" - }, - { - "label": "\\ciO", - "type": "symbol", - "apply": "◯" - }, - { - "label": "\\circeq", - "type": "symbol", - "apply": "≗" - }, - { - "label": "\\circlearrowleft", - "type": "symbol", - "apply": "↺" - }, - { - "label": "\\circlearrowright", - "type": "symbol", - "apply": "↻" - }, - { - "label": "\\circledR", - "type": "symbol", - "apply": "®" - }, - { - "label": "\\circledS", - "type": "symbol", - "apply": "Ⓢ" - }, - { - "label": "\\circledast", - "type": "symbol", - "apply": "⊛" - }, - { - "label": "\\circledcirc", - "type": "symbol", - "apply": "⊚" - }, - { - "label": "\\circleddash", - "type": "symbol", - "apply": "⊝" - }, - { - "label": "\\ci", - "type": "symbol", - "apply": "●" - }, - { - "label": "\\centerdot", - "type": "symbol", - "apply": "·" - }, - { - "label": "\\cent", - "type": "symbol", - "apply": "¢" - }, - { - "label": "\\cedi", - "type": "symbol", - "apply": "₵" - }, - { - "label": "\\celsius", - "type": "symbol", - "apply": "℃" - }, - { - "label": "\\ce", - "type": "symbol", - "apply": "ȩ" - }, - { - "label": "\\checkmark", - "type": "symbol", - "apply": "✓" - }, - { - "label": "\\cruzeiro", - "type": "symbol", - "apply": "₢" - }, - { - "label": "\\caution", - "type": "symbol", - "apply": "☡" - }, - { - "label": "\\cap", - "type": "symbol", - "apply": "∩" - }, - { - "label": "\\qed", - "type": "symbol", - "apply": "∎" - }, - { - "label": "\\quad", - "type": "symbol", - "apply": " " - }, - { - "label": "\\quot", - "type": "symbol", - "apply": "⧸" - }, - { - "label": "\\bigsolidus", - "type": "symbol", - "apply": "⧸" - }, - { - "label": "\\/", - "type": "symbol", - "apply": "⧸" - }, - { - "label": "\\+ ", - "type": "symbol", - "apply": "⊹" - }, - { - "label": "\\b+", - "type": "symbol", - "apply": "⊞" - }, - { - "label": "\\b-", - "type": "symbol", - "apply": "⊟" - }, - { - "label": "\\bx", - "type": "symbol", - "apply": "⊠" - }, - { - "label": "\\b.", - "type": "symbol", - "apply": "⊡" - }, - { - "label": "\\bn", - "type": "symbol", - "apply": "ℕ" - }, - { - "label": "\\bz", - "type": "symbol", - "apply": "ℤ" - }, - { - "label": "\\bq", - "type": "symbol", - "apply": "ℚ" - }, - { - "label": "\\brokenbar", - "type": "symbol", - "apply": "¦" - }, - { - "label": "\\br", - "type": "symbol", - "apply": "ℝ" - }, - { - "label": "\\bc", - "type": "symbol", - "apply": "ℂ" - }, - { - "label": "\\bp", - "type": "symbol", - "apply": "ℙ" - }, - { - "label": "\\bb", - "type": "symbol", - "apply": "𝔹" - }, - { - "label": "\\bsum", - "type": "symbol", - "apply": "⅀" - }, - { - "label": "\\b0", - "type": "symbol", - "apply": "𝟘" - }, - { - "label": "\\b1", - "type": "symbol", - "apply": "𝟙" - }, - { - "label": "\\b2", - "type": "symbol", - "apply": "𝟚" - }, - { - "label": "\\b3", - "type": "symbol", - "apply": "𝟛" - }, - { - "label": "\\b4", - "type": "symbol", - "apply": "𝟜" - }, - { - "label": "\\b5", - "type": "symbol", - "apply": "𝟝" - }, - { - "label": "\\b6", - "type": "symbol", - "apply": "𝟞" - }, - { - "label": "\\b7", - "type": "symbol", - "apply": "𝟟" - }, - { - "label": "\\b8", - "type": "symbol", - "apply": "𝟠" - }, - { - "label": "\\b9", - "type": "symbol", - "apply": "𝟡" - }, - { - "label": "\\sb0", - "type": "symbol", - "apply": "𝟬" - }, - { - "label": "\\sb1", - "type": "symbol", - "apply": "𝟭" - }, - { - "label": "\\sb2", - "type": "symbol", - "apply": "𝟮" - }, - { - "label": "\\sb3", - "type": "symbol", - "apply": "𝟯" - }, - { - "label": "\\sb4", - "type": "symbol", - "apply": "𝟰" - }, - { - "label": "\\sb5", - "type": "symbol", - "apply": "𝟱" - }, - { - "label": "\\sb6", - "type": "symbol", - "apply": "𝟲" - }, - { - "label": "\\sb7", - "type": "symbol", - "apply": "𝟳" - }, - { - "label": "\\sb8", - "type": "symbol", - "apply": "𝟴" - }, - { - "label": "\\sb9", - "type": "symbol", - "apply": "𝟵" - }, - { - "label": "\\bub", - "type": "symbol", - "apply": "•" - }, - { - "label": "\\buw", - "type": "symbol", - "apply": "◦" - }, - { - "label": "\\but", - "type": "symbol", - "apply": "‣" - }, - { - "label": "\\bumpeq", - "type": "symbol", - "apply": "≏" - }, - { - "label": "\\bu", - "type": "symbol", - "apply": "•" - }, - { - "label": "\\biohazard", - "type": "symbol", - "apply": "☣" - }, - { - "label": "\\bihimp", - "type": "symbol", - "apply": "⇔" - }, - { - "label": "\\bigcap", - "type": "symbol", - "apply": "⋂" - }, - { - "label": "\\bigcirc", - "type": "symbol", - "apply": "◯" - }, - { - "label": "\\bigcoprod", - "type": "symbol", - "apply": "∐" - }, - { - "label": "\\bigcup", - "type": "symbol", - "apply": "⋃" - }, - { - "label": "\\bigglb", - "type": "symbol", - "apply": "⨅" - }, - { - "label": "\\biginf", - "type": "symbol", - "apply": "⨅" - }, - { - "label": "\\bigjoin", - "type": "symbol", - "apply": "⨆" - }, - { - "label": "\\biglub", - "type": "symbol", - "apply": "⨆" - }, - { - "label": "\\bigmeet", - "type": "symbol", - "apply": "⨅" - }, - { - "label": "\\bigsqcap", - "type": "symbol", - "apply": "⨅" - }, - { - "label": "\\bigsqcup", - "type": "symbol", - "apply": "⨆" - }, - { - "label": "\\bigstar", - "type": "symbol", - "apply": "★" - }, - { - "label": "\\bigsup", - "type": "symbol", - "apply": "⨆" - }, - { - "label": "\\bigtriangledown", - "type": "symbol", - "apply": "▽" - }, - { - "label": "\\bigtriangleup", - "type": "symbol", - "apply": "△" - }, - { - "label": "\\bigvee", - "type": "symbol", - "apply": "⋁" - }, - { - "label": "\\bigwedge", - "type": "symbol", - "apply": "⋀" - }, - { - "label": "\\beth", - "type": "symbol", - "apply": "ℶ" - }, - { - "label": "\\between", - "type": "symbol", - "apply": "≬" - }, - { - "label": "\\because", - "type": "symbol", - "apply": "∵" - }, - { - "label": "\\backcong", - "type": "symbol", - "apply": "≌" - }, - { - "label": "\\backepsilon", - "type": "symbol", - "apply": "∍" - }, - { - "label": "\\backprime", - "type": "symbol", - "apply": "‵" - }, - { - "label": "\\backsimeq", - "type": "symbol", - "apply": "⋍" - }, - { - "label": "\\backsim", - "type": "symbol", - "apply": "∽" - }, - { - "label": "\\barwedge", - "type": "symbol", - "apply": "⊼" - }, - { - "label": "\\blacklozenge", - "type": "symbol", - "apply": "✦" - }, - { - "label": "\\blacksquare", - "type": "symbol", - "apply": "▪" - }, - { - "label": "\\blacksmiley", - "type": "symbol", - "apply": "☻" - }, - { - "label": "\\blacktriangledown", - "type": "symbol", - "apply": "▾" - }, - { - "label": "\\blacktriangleleft", - "type": "symbol", - "apply": "◂" - }, - { - "label": "\\blacktriangleright", - "type": "symbol", - "apply": "▸" - }, - { - "label": "\\blacktriangle", - "type": "symbol", - "apply": "▴" - }, - { - "label": "\\bot", - "type": "symbol", - "apply": "⊥" - }, - { - "label": "\\^bot", - "type": "symbol", - "apply": "ᗮ" - }, - { - "label": "\\bowtie", - "type": "symbol", - "apply": "⋈" - }, - { - "label": "\\boxminus", - "type": "symbol", - "apply": "⊟" - }, - { - "label": "\\boxmid", - "type": "symbol", - "apply": "◫" - }, - { - "label": "\\hcomp", - "type": "symbol", - "apply": "◫" - }, - { - "label": "\\boxplus", - "type": "symbol", - "apply": "⊞" - }, - { - "label": "\\boxtimes", - "type": "symbol", - "apply": "⊠" - }, - { - "label": "\\join", - "type": "symbol", - "apply": "⊔" - }, - { - "label": "\\r-2", - "type": "symbol", - "apply": "⇉" - }, - { - "label": "\\r-3", - "type": "symbol", - "apply": "⇶" - }, - { - "label": "\\r-l-", - "type": "symbol", - "apply": "⇄" - }, - { - "label": "\\r--", - "type": "symbol", - "apply": "⟶" - }, - { - "label": "\\r-n", - "type": "symbol", - "apply": "↛" - }, - { - "label": "\\r-|", - "type": "symbol", - "apply": "↦" - }, - { - "label": "\\r->", - "type": "symbol", - "apply": "↣" - }, - { - "label": "\\r-o", - "type": "symbol", - "apply": "⊸" - }, - { - "label": "\\r-", - "type": "symbol", - "apply": "→" - }, - { - "label": "\\r==", - "type": "symbol", - "apply": "⇛" - }, - { - "label": "\\r=n", - "type": "symbol", - "apply": "⇏" - }, - { - "label": "\\r=", - "type": "symbol", - "apply": "⇒" - }, - { - "label": "\\r~", - "type": "symbol", - "apply": "↝" - }, - { - "label": "\\rr-", - "type": "symbol", - "apply": "↠" - }, - { - "label": "\\reb", - "type": "symbol", - "apply": "▬" - }, - { - "label": "\\rew", - "type": "symbol", - "apply": "▭" - }, - { - "label": "\\real", - "type": "symbol", - "apply": "ℝ" - }, - { - "label": "\\registered", - "type": "symbol", - "apply": "®" - }, - { - "label": "\\re", - "type": "symbol", - "apply": "▬" - }, - { - "label": "\\rbag", - "type": "symbol", - "apply": "⟆" - }, - { - "label": "\\rat", - "type": "symbol", - "apply": "ℚ" - }, - { - "label": "\\radioactive", - "type": "symbol", - "apply": "☢" - }, - { - "label": "\\rrbracket", - "type": "symbol", - "apply": "〛" - }, - { - "label": "\\rangle", - "type": "symbol", - "apply": "⟩" - }, - { - "label": "\\rq", - "type": "symbol", - "apply": "’" - }, - { - "label": "\\rightarrowtail", - "type": "symbol", - "apply": "↣" - }, - { - "label": "\\rightarrow", - "type": "symbol", - "apply": "→" - }, - { - "label": "\\rightharpoondown", - "type": "symbol", - "apply": "⇁" - }, - { - "label": "\\rightharpoonup", - "type": "symbol", - "apply": "⇀" - }, - { - "label": "\\rightleftarrows", - "type": "symbol", - "apply": "⇄" - }, - { - "label": "\\rightleftharpoons", - "type": "symbol", - "apply": "⇌" - }, - { - "label": "\\rightrightarrows", - "type": "symbol", - "apply": "⇉" - }, - { - "label": "\\rightthreetimes", - "type": "symbol", - "apply": "⋌" - }, - { - "label": "\\risingdotseq", - "type": "symbol", - "apply": "≓" - }, - { - "label": "\\ruble", - "type": "symbol", - "apply": "₽" - }, - { - "label": "\\rupee", - "type": "symbol", - "apply": "₨" - }, - { - "label": "\\rhd", - "type": "symbol", - "apply": "▷" - }, - { - "label": "\\rceil", - "type": "symbol", - "apply": "⌉" - }, - { - "label": "\\rfloor", - "type": "symbol", - "apply": "⌋" - }, - { - "label": "\\rtimes", - "type": "symbol", - "apply": "⋊" - }, - { - "label": "\\rdq", - "type": "symbol", - "apply": "”" - }, - { - "label": "\\rdata", - "type": "symbol", - "apply": "》" - }, - { - "label": "\\functor", - "type": "symbol", - "apply": "⥤" - }, - { - "label": "\\fun", - "type": "symbol", - "apply": "λ" - }, - { - "label": "\\f<<", - "type": "symbol", - "apply": "«" - }, - { - "label": "\\f>>", - "type": "symbol", - "apply": "»" - }, - { - "label": "\\f<", - "type": "symbol", - "apply": "‹" - }, - { - "label": "\\f>", - "type": "symbol", - "apply": "›" - }, - { - "label": "\\finprod", - "type": "symbol", - "apply": "∏ᶠ" - }, - { - "label": "\\finsum", - "type": "symbol", - "apply": "∑ᶠ" - }, - { - "label": "\\frac12", - "type": "symbol", - "apply": "½" - }, - { - "label": "\\frac13", - "type": "symbol", - "apply": "⅓" - }, - { - "label": "\\frac14", - "type": "symbol", - "apply": "¼" - }, - { - "label": "\\frac15", - "type": "symbol", - "apply": "⅕" - }, - { - "label": "\\frac16", - "type": "symbol", - "apply": "⅙" - }, - { - "label": "\\frac18", - "type": "symbol", - "apply": "⅛" - }, - { - "label": "\\frac1", - "type": "symbol", - "apply": "⅟" - }, - { - "label": "\\frac23", - "type": "symbol", - "apply": "⅔" - }, - { - "label": "\\frac25", - "type": "symbol", - "apply": "⅖" - }, - { - "label": "\\frac34", - "type": "symbol", - "apply": "¾" - }, - { - "label": "\\frac35", - "type": "symbol", - "apply": "⅗" - }, - { - "label": "\\frac38", - "type": "symbol", - "apply": "⅜" - }, - { - "label": "\\frac45", - "type": "symbol", - "apply": "⅘" - }, - { - "label": "\\frac56", - "type": "symbol", - "apply": "⅚" - }, - { - "label": "\\frac58", - "type": "symbol", - "apply": "⅝" - }, - { - "label": "\\frac78", - "type": "symbol", - "apply": "⅞" - }, - { - "label": "\\frac", - "type": "symbol", - "apply": "¼" - }, - { - "label": "\\frown", - "type": "symbol", - "apply": "⌢" - }, - { - "label": "\\frqq", - "type": "symbol", - "apply": "»" - }, - { - "label": "\\frq", - "type": "symbol", - "apply": "›" - }, - { - "label": "\\female", - "type": "symbol", - "apply": "♀" - }, - { - "label": "\\fei", - "type": "symbol", - "apply": "ϥ" - }, - { - "label": "\\facsimile", - "type": "symbol", - "apply": "℻" - }, - { - "label": "\\fallingdotseq", - "type": "symbol", - "apply": "≒" - }, - { - "label": "\\flat", - "type": "symbol", - "apply": "♭" - }, - { - "label": "\\flqq", - "type": "symbol", - "apply": "«" - }, - { - "label": "\\flq", - "type": "symbol", - "apply": "‹" - }, - { - "label": "\\)b", - "type": "symbol", - "apply": "⟆" - }, - { - "label": "\\[[", - "type": "symbol", - "apply": "⟦" - }, - { - "label": "\\]]", - "type": "symbol", - "apply": "⟧" - }, - { - "label": "\\{{", - "type": "symbol", - "apply": "⦃" - }, - { - "label": "\\}}", - "type": "symbol", - "apply": "⦄" - }, - { - "label": "\\((", - "type": "symbol", - "apply": "⸨" - }, - { - "label": "\\))", - "type": "symbol", - "apply": "⸩" - }, - { - "label": "\\([", - "type": "symbol", - "apply": "⟮" - }, - { - "label": "\\])", - "type": "symbol", - "apply": "⟯" - }, - { - "label": "\\Xi", - "type": "symbol", - "apply": "Ξ" - }, - { - "label": "\\Nat", - "type": "symbol", - "apply": "ℕ" - }, - { - "label": "\\Rat", - "type": "symbol", - "apply": "ℚ" - }, - { - "label": "\\Real", - "type": "symbol", - "apply": "ℝ" - }, - { - "label": "\\Re", - "type": "symbol", - "apply": "ℜ" - }, - { - "label": "\\Rightarrow", - "type": "symbol", - "apply": "⇒" - }, - { - "label": "\\Rrightarrow", - "type": "symbol", - "apply": "⇛" - }, - { - "label": "\\Rsh", - "type": "symbol", - "apply": "↱" - }, - { - "label": "\\Fei", - "type": "symbol", - "apply": "Ϥ" - }, - { - "label": "\\Frowny", - "type": "symbol", - "apply": "☹" - }, - { - "label": "\\Hori", - "type": "symbol", - "apply": "Ϩ" - }, - { - "label": "\\Heta", - "type": "symbol", - "apply": "Ͱ" - }, - { - "label": "\\Khei", - "type": "symbol", - "apply": "Ϧ" - }, - { - "label": "\\Koppa", - "type": "symbol", - "apply": "Ϟ" - }, - { - "label": "\\^a", - "type": "symbol", - "apply": "ᵃ" - }, - { - "label": "\\^b", - "type": "symbol", - "apply": "ᵇ" - }, - { - "label": "\\^c", - "type": "symbol", - "apply": "ᶜ" - }, - { - "label": "\\^d", - "type": "symbol", - "apply": "ᵈ" - }, - { - "label": "\\^e", - "type": "symbol", - "apply": "ᵉ" - }, - { - "label": "\\^f", - "type": "symbol", - "apply": "ᶠ" - }, - { - "label": "\\^g", - "type": "symbol", - "apply": "ᵍ" - }, - { - "label": "\\^h", - "type": "symbol", - "apply": "ʰ" - }, - { - "label": "\\^i", - "type": "symbol", - "apply": "ⁱ" - }, - { - "label": "\\^j", - "type": "symbol", - "apply": "ʲ" - }, - { - "label": "\\^k", - "type": "symbol", - "apply": "ᵏ" - }, - { - "label": "\\^l", - "type": "symbol", - "apply": "ˡ" - }, - { - "label": "\\^m", - "type": "symbol", - "apply": "ᵐ" - }, - { - "label": "\\^n", - "type": "symbol", - "apply": "ⁿ" - }, - { - "label": "\\^o", - "type": "symbol", - "apply": "ᵒ" - }, - { - "label": "\\^p", - "type": "symbol", - "apply": "ᵖ" - }, - { - "label": "\\^r", - "type": "symbol", - "apply": "ʳ" - }, - { - "label": "\\^s", - "type": "symbol", - "apply": "ˢ" - }, - { - "label": "\\^t", - "type": "symbol", - "apply": "ᵗ" - }, - { - "label": "\\^u", - "type": "symbol", - "apply": "ᵘ" - }, - { - "label": "\\^v", - "type": "symbol", - "apply": "ᵛ" - }, - { - "label": "\\^w", - "type": "symbol", - "apply": "ʷ" - }, - { - "label": "\\^x", - "type": "symbol", - "apply": "ˣ" - }, - { - "label": "\\^y", - "type": "symbol", - "apply": "ʸ" - }, - { - "label": "\\^z", - "type": "symbol", - "apply": "ᶻ" - }, - { - "label": "\\^A", - "type": "symbol", - "apply": "ᴬ" - }, - { - "label": "\\^B", - "type": "symbol", - "apply": "ᴮ" - }, - { - "label": "\\^D", - "type": "symbol", - "apply": "ᴰ" - }, - { - "label": "\\^E", - "type": "symbol", - "apply": "ᴱ" - }, - { - "label": "\\^G", - "type": "symbol", - "apply": "ᴳ" - }, - { - "label": "\\^H", - "type": "symbol", - "apply": "ᴴ" - }, - { - "label": "\\^I", - "type": "symbol", - "apply": "ᴵ" - }, - { - "label": "\\^J", - "type": "symbol", - "apply": "ᴶ" - }, - { - "label": "\\^K", - "type": "symbol", - "apply": "ᴷ" - }, - { - "label": "\\^L", - "type": "symbol", - "apply": "ᴸ" - }, - { - "label": "\\^M", - "type": "symbol", - "apply": "ᴹ" - }, - { - "label": "\\^N", - "type": "symbol", - "apply": "ᴺ" - }, - { - "label": "\\^O", - "type": "symbol", - "apply": "ᴼ" - }, - { - "label": "\\^P", - "type": "symbol", - "apply": "ᴾ" - }, - { - "label": "\\^R", - "type": "symbol", - "apply": "ᴿ" - }, - { - "label": "\\^T", - "type": "symbol", - "apply": "ᵀ" - }, - { - "label": "\\^U", - "type": "symbol", - "apply": "ᵁ" - }, - { - "label": "\\^V", - "type": "symbol", - "apply": "ⱽ" - }, - { - "label": "\\^W", - "type": "symbol", - "apply": "ᵂ" - }, - { - "label": "\\^)", - "type": "symbol", - "apply": "⁾" - }, - { - "label": "\\^(", - "type": "symbol", - "apply": "⁽" - }, - { - "label": "\\^=", - "type": "symbol", - "apply": "⁼" - }, - { - "label": "\\^+", - "type": "symbol", - "apply": "⁺" - }, - { - "label": "\\^o_", - "type": "symbol", - "apply": "º" - }, - { - "label": "\\^a_", - "type": "symbol", - "apply": "ª" - }, - { - "label": "\\^uhook", - "type": "symbol", - "apply": "ꭟ" - }, - { - "label": "\\^ubar", - "type": "symbol", - "apply": "ᶶ" - }, - { - "label": "\\^upsilon", - "type": "symbol", - "apply": "ᶷ" - }, - { - "label": "\\^ltilde", - "type": "symbol", - "apply": "ꭞ" - }, - { - "label": "\\^ls", - "type": "symbol", - "apply": "ꭝ" - }, - { - "label": "\\^lhook", - "type": "symbol", - "apply": "ᶪ" - }, - { - "label": "\\^lretroflexhook", - "type": "symbol", - "apply": "ᶩ" - }, - { - "label": "\\^oe", - "type": "symbol", - "apply": "ꟹ" - }, - { - "label": "\\^heng", - "type": "symbol", - "apply": "ꭜ" - }, - { - "label": "\\^hhook", - "type": "symbol", - "apply": "ʱ" - }, - { - "label": "\\^hwithhook", - "type": "symbol", - "apply": "ʱ" - }, - { - "label": "\\^Hstroke", - "type": "symbol", - "apply": "ꟸ" - }, - { - "label": "\\^theta", - "type": "symbol", - "apply": "ᶿ" - }, - { - "label": "\\^turnedv", - "type": "symbol", - "apply": "ᶺ" - }, - { - "label": "\\^turnedmleg", - "type": "symbol", - "apply": "ᶭ" - }, - { - "label": "\\^turnedm", - "type": "symbol", - "apply": "ᵚ" - }, - { - "label": "\\^turnedh", - "type": "symbol", - "apply": "ᶣ" - }, - { - "label": "\\^turnedalpha", - "type": "symbol", - "apply": "ᶛ" - }, - { - "label": "\\^turnedae", - "type": "symbol", - "apply": "ᵆ" - }, - { - "label": "\\^turneda", - "type": "symbol", - "apply": "ᵄ" - }, - { - "label": "\\^turnedi", - "type": "symbol", - "apply": "ᵎ" - }, - { - "label": "\\^turnede", - "type": "symbol", - "apply": "ᵌ" - }, - { - "label": "\\^turnedrhook", - "type": "symbol", - "apply": "ʵ" - }, - { - "label": "\\^turnedrwithhook", - "type": "symbol", - "apply": "ʵ" - }, - { - "label": "\\^turnedr", - "type": "symbol", - "apply": "ʴ" - }, - { - "label": "\\^twithpalatalhook", - "type": "symbol", - "apply": "ᶵ" - }, - { - "label": "\\^otop", - "type": "symbol", - "apply": "ᵔ" - }, - { - "label": "\\^ezh", - "type": "symbol", - "apply": "ᶾ" - }, - { - "label": "\\^esh", - "type": "symbol", - "apply": "ᶴ" - }, - { - "label": "\\^eth", - "type": "symbol", - "apply": "ᶞ" - }, - { - "label": "\\^eng", - "type": "symbol", - "apply": "ᵑ" - }, - { - "label": "\\^zcurl", - "type": "symbol", - "apply": "ᶽ" - }, - { - "label": "\\^zretroflexhook", - "type": "symbol", - "apply": "ᶼ" - }, - { - "label": "\\^vhook", - "type": "symbol", - "apply": "ᶹ" - }, - { - "label": "\\^Ismall", - "type": "symbol", - "apply": "ᶦ" - }, - { - "label": "\\^Lsmall", - "type": "symbol", - "apply": "ᶫ" - }, - { - "label": "\\^Nsmall", - "type": "symbol", - "apply": "ᶰ" - }, - { - "label": "\\^Usmall", - "type": "symbol", - "apply": "ᶸ" - }, - { - "label": "\\^Istroke", - "type": "symbol", - "apply": "ᶧ" - }, - { - "label": "\\^Rinverted", - "type": "symbol", - "apply": "ʶ" - }, - { - "label": "\\^ccurl", - "type": "symbol", - "apply": "ᶝ" - }, - { - "label": "\\^chi", - "type": "symbol", - "apply": "ᵡ" - }, - { - "label": "\\^shook", - "type": "symbol", - "apply": "ᶳ" - }, - { - "label": "\\^gscript", - "type": "symbol", - "apply": "ᶢ" - }, - { - "label": "\\^schwa", - "type": "symbol", - "apply": "ᵊ" - }, - { - "label": "\\^usideways", - "type": "symbol", - "apply": "ᵙ" - }, - { - "label": "\\^phi", - "type": "symbol", - "apply": "ᶲ" - }, - { - "label": "\\^obarred", - "type": "symbol", - "apply": "ᶱ" - }, - { - "label": "\\^beta", - "type": "symbol", - "apply": "ᵝ" - }, - { - "label": "\\^obottom", - "type": "symbol", - "apply": "ᵕ" - }, - { - "label": "\\^nretroflexhook", - "type": "symbol", - "apply": "ᶯ" - }, - { - "label": "\\^nlefthook", - "type": "symbol", - "apply": "ᶮ" - }, - { - "label": "\\^mhook", - "type": "symbol", - "apply": "ᶬ" - }, - { - "label": "\\^jtail", - "type": "symbol", - "apply": "ᶨ" - }, - { - "label": "\\^iota", - "type": "symbol", - "apply": "ᶥ" - }, - { - "label": "\\^istroke", - "type": "symbol", - "apply": "ᶤ" - }, - { - "label": "\\^ereversedopen", - "type": "symbol", - "apply": "ᶟ" - }, - { - "label": "\\^stop", - "type": "symbol", - "apply": "ˤ" - }, - { - "label": "\\^varphi", - "type": "symbol", - "apply": "ᵠ" - }, - { - "label": "\\^vargamma", - "type": "symbol", - "apply": "ᵞ" - }, - { - "label": "\\^gamma", - "type": "symbol", - "apply": "ˠ" - }, - { - "label": "\\^ain", - "type": "symbol", - "apply": "ᵜ" - }, - { - "label": "\\^alpha", - "type": "symbol", - "apply": "ᵅ" - }, - { - "label": "\\^oopen", - "type": "symbol", - "apply": "ᵓ" - }, - { - "label": "\\^eopen", - "type": "symbol", - "apply": "ᵋ" - }, - { - "label": "\\^Ou", - "type": "symbol", - "apply": "ᴽ" - }, - { - "label": "\\^Nreversed", - "type": "symbol", - "apply": "ᴻ" - }, - { - "label": "\\^Ereversed", - "type": "symbol", - "apply": "ᴲ" - }, - { - "label": "\\^Bbarred", - "type": "symbol", - "apply": "ᴯ" - }, - { - "label": "\\^Ae", - "type": "symbol", - "apply": "ᴭ" - }, - { - "label": "\\^SM", - "type": "symbol", - "apply": "℠" - }, - { - "label": "\\^TEL", - "type": "symbol", - "apply": "℡" - }, - { - "label": "\\^TM", - "type": "symbol", - "apply": "™" - }, - { - "label": "\\_a", - "type": "symbol", - "apply": "ₐ" - }, - { - "label": "\\_e", - "type": "symbol", - "apply": "ₑ" - }, - { - "label": "\\_h", - "type": "symbol", - "apply": "ₕ" - }, - { - "label": "\\_i", - "type": "symbol", - "apply": "ᵢ" - }, - { - "label": "\\_j", - "type": "symbol", - "apply": "ⱼ" - }, - { - "label": "\\_k", - "type": "symbol", - "apply": "ₖ" - }, - { - "label": "\\_l", - "type": "symbol", - "apply": "ₗ" - }, - { - "label": "\\_m", - "type": "symbol", - "apply": "ₘ" - }, - { - "label": "\\_n", - "type": "symbol", - "apply": "ₙ" - }, - { - "label": "\\_o", - "type": "symbol", - "apply": "ₒ" - }, - { - "label": "\\_p", - "type": "symbol", - "apply": "ₚ" - }, - { - "label": "\\_r", - "type": "symbol", - "apply": "ᵣ" - }, - { - "label": "\\_s", - "type": "symbol", - "apply": "ₛ" - }, - { - "label": "\\_t", - "type": "symbol", - "apply": "ₜ" - }, - { - "label": "\\_u", - "type": "symbol", - "apply": "ᵤ" - }, - { - "label": "\\_v", - "type": "symbol", - "apply": "ᵥ" - }, - { - "label": "\\_x", - "type": "symbol", - "apply": "ₓ" - }, - { - "label": "\\_)", - "type": "symbol", - "apply": "₎" - }, - { - "label": "\\_(", - "type": "symbol", - "apply": "₍" - }, - { - "label": "\\_=", - "type": "symbol", - "apply": "₌" - }, - { - "label": "\\_+", - "type": "symbol", - "apply": "₊" - }, - { - "label": "\\_--", - "type": "symbol", - "apply": "̲" - }, - { - "label": "\\_-", - "type": "symbol", - "apply": "₋" - }, - { - "label": "\\!!", - "type": "symbol", - "apply": "‼" - }, - { - "label": "\\!?", - "type": "symbol", - "apply": "⁉" - }, - { - "label": "\\San", - "type": "symbol", - "apply": "Ϻ" - }, - { - "label": "\\Sampi", - "type": "symbol", - "apply": "Ϡ" - }, - { - "label": "\\Sho", - "type": "symbol", - "apply": "Ϸ" - }, - { - "label": "\\Shima", - "type": "symbol", - "apply": "Ϭ" - }, - { - "label": "\\Shei", - "type": "symbol", - "apply": "Ϣ" - }, - { - "label": "\\Stigma", - "type": "symbol", - "apply": "Ϛ" - }, - { - "label": "\\Subset", - "type": "symbol", - "apply": "⋐" - }, - { - "label": "\\Supset", - "type": "symbol", - "apply": "⋑" - }, - { - "label": "\\Smiley", - "type": "symbol", - "apply": "☺" - }, - { - "label": "\\Pi0", - "type": "symbol", - "apply": "Π₀" - }, - { - "label": "\\P0", - "type": "symbol", - "apply": "Π₀" - }, - { - "label": "\\Pi_0", - "type": "symbol", - "apply": "Π₀" - }, - { - "label": "\\P_0", - "type": "symbol", - "apply": "Π₀" - }, - { - "label": "\\bfA", - "type": "symbol", - "apply": "𝐀" - }, - { - "label": "\\bfB", - "type": "symbol", - "apply": "𝐁" - }, - { - "label": "\\bfC", - "type": "symbol", - "apply": "𝐂" - }, - { - "label": "\\bfD", - "type": "symbol", - "apply": "𝐃" - }, - { - "label": "\\bfE", - "type": "symbol", - "apply": "𝐄" - }, - { - "label": "\\bfF", - "type": "symbol", - "apply": "𝐅" - }, - { - "label": "\\bfG", - "type": "symbol", - "apply": "𝐆" - }, - { - "label": "\\bfH", - "type": "symbol", - "apply": "𝐇" - }, - { - "label": "\\bfI", - "type": "symbol", - "apply": "𝐈" - }, - { - "label": "\\bfJ", - "type": "symbol", - "apply": "𝐉" - }, - { - "label": "\\bfK", - "type": "symbol", - "apply": "𝐊" - }, - { - "label": "\\bfL", - "type": "symbol", - "apply": "𝐋" - }, - { - "label": "\\bfM", - "type": "symbol", - "apply": "𝐌" - }, - { - "label": "\\bfN", - "type": "symbol", - "apply": "𝐍" - }, - { - "label": "\\bfO", - "type": "symbol", - "apply": "𝐎" - }, - { - "label": "\\bfP", - "type": "symbol", - "apply": "𝐏" - }, - { - "label": "\\bfQ", - "type": "symbol", - "apply": "𝐐" - }, - { - "label": "\\bfR", - "type": "symbol", - "apply": "𝐑" - }, - { - "label": "\\bfS", - "type": "symbol", - "apply": "𝐒" - }, - { - "label": "\\bfT", - "type": "symbol", - "apply": "𝐓" - }, - { - "label": "\\bfU", - "type": "symbol", - "apply": "𝐔" - }, - { - "label": "\\bfV", - "type": "symbol", - "apply": "𝐕" - }, - { - "label": "\\bfW", - "type": "symbol", - "apply": "𝐖" - }, - { - "label": "\\bfX", - "type": "symbol", - "apply": "𝐗" - }, - { - "label": "\\bfY", - "type": "symbol", - "apply": "𝐘" - }, - { - "label": "\\bfZ", - "type": "symbol", - "apply": "𝐙" - }, - { - "label": "\\bfa", - "type": "symbol", - "apply": "𝐚" - }, - { - "label": "\\bfb", - "type": "symbol", - "apply": "𝐛" - }, - { - "label": "\\bfc", - "type": "symbol", - "apply": "𝐜" - }, - { - "label": "\\bfd", - "type": "symbol", - "apply": "𝐝" - }, - { - "label": "\\bfe", - "type": "symbol", - "apply": "𝐞" - }, - { - "label": "\\bff", - "type": "symbol", - "apply": "𝐟" - }, - { - "label": "\\bfg", - "type": "symbol", - "apply": "𝐠" - }, - { - "label": "\\bfh", - "type": "symbol", - "apply": "𝐡" - }, - { - "label": "\\bfi", - "type": "symbol", - "apply": "𝐢" - }, - { - "label": "\\bfj", - "type": "symbol", - "apply": "𝐣" - }, - { - "label": "\\bfk", - "type": "symbol", - "apply": "𝐤" - }, - { - "label": "\\bfl", - "type": "symbol", - "apply": "𝐥" - }, - { - "label": "\\bfm", - "type": "symbol", - "apply": "𝐦" - }, - { - "label": "\\bfn", - "type": "symbol", - "apply": "𝐧" - }, - { - "label": "\\bfo", - "type": "symbol", - "apply": "𝐨" - }, - { - "label": "\\bfp", - "type": "symbol", - "apply": "𝐩" - }, - { - "label": "\\bfq", - "type": "symbol", - "apply": "𝐪" - }, - { - "label": "\\bfr", - "type": "symbol", - "apply": "𝐫" - }, - { - "label": "\\bfs", - "type": "symbol", - "apply": "𝐬" - }, - { - "label": "\\bft", - "type": "symbol", - "apply": "𝐭" - }, - { - "label": "\\bfu", - "type": "symbol", - "apply": "𝐮" - }, - { - "label": "\\bfv", - "type": "symbol", - "apply": "𝐯" - }, - { - "label": "\\bfw", - "type": "symbol", - "apply": "𝐰" - }, - { - "label": "\\bfx", - "type": "symbol", - "apply": "𝐱" - }, - { - "label": "\\bfy", - "type": "symbol", - "apply": "𝐲" - }, - { - "label": "\\bfz", - "type": "symbol", - "apply": "𝐳" - }, - { - "label": "\\MiA", - "type": "symbol", - "apply": "𝐴" - }, - { - "label": "\\MiB", - "type": "symbol", - "apply": "𝐵" - }, - { - "label": "\\MiC", - "type": "symbol", - "apply": "𝐶" - }, - { - "label": "\\MiD", - "type": "symbol", - "apply": "𝐷" - }, - { - "label": "\\MiE", - "type": "symbol", - "apply": "𝐸" - }, - { - "label": "\\MiF", - "type": "symbol", - "apply": "𝐹" - }, - { - "label": "\\MiG", - "type": "symbol", - "apply": "𝐺" - }, - { - "label": "\\MiH", - "type": "symbol", - "apply": "𝐻" - }, - { - "label": "\\MiI", - "type": "symbol", - "apply": "𝐼" - }, - { - "label": "\\MiJ", - "type": "symbol", - "apply": "𝐽" - }, - { - "label": "\\MiK", - "type": "symbol", - "apply": "𝐾" - }, - { - "label": "\\MiL", - "type": "symbol", - "apply": "𝐿" - }, - { - "label": "\\MiM", - "type": "symbol", - "apply": "𝑀" - }, - { - "label": "\\MiN", - "type": "symbol", - "apply": "𝑁" - }, - { - "label": "\\MiO", - "type": "symbol", - "apply": "𝑂" - }, - { - "label": "\\MiP", - "type": "symbol", - "apply": "𝑃" - }, - { - "label": "\\MiQ", - "type": "symbol", - "apply": "𝑄" - }, - { - "label": "\\MiR", - "type": "symbol", - "apply": "𝑅" - }, - { - "label": "\\MiS", - "type": "symbol", - "apply": "𝑆" - }, - { - "label": "\\MiT", - "type": "symbol", - "apply": "𝑇" - }, - { - "label": "\\MiU", - "type": "symbol", - "apply": "𝑈" - }, - { - "label": "\\MiV", - "type": "symbol", - "apply": "𝑉" - }, - { - "label": "\\MiW", - "type": "symbol", - "apply": "𝑊" - }, - { - "label": "\\MiX", - "type": "symbol", - "apply": "𝑋" - }, - { - "label": "\\MiY", - "type": "symbol", - "apply": "𝑌" - }, - { - "label": "\\MiZ", - "type": "symbol", - "apply": "𝑍" - }, - { - "label": "\\Mia", - "type": "symbol", - "apply": "𝑎" - }, - { - "label": "\\Mib", - "type": "symbol", - "apply": "𝑏" - }, - { - "label": "\\Mic", - "type": "symbol", - "apply": "𝑐" - }, - { - "label": "\\Mid", - "type": "symbol", - "apply": "𝑑" - }, - { - "label": "\\Mie", - "type": "symbol", - "apply": "𝑒" - }, - { - "label": "\\Mif", - "type": "symbol", - "apply": "𝑓" - }, - { - "label": "\\Mig", - "type": "symbol", - "apply": "𝑔" - }, - { - "label": "\\Mii", - "type": "symbol", - "apply": "𝑖" - }, - { - "label": "\\Mij", - "type": "symbol", - "apply": "𝑗" - }, - { - "label": "\\Mik", - "type": "symbol", - "apply": "𝑘" - }, - { - "label": "\\Mil", - "type": "symbol", - "apply": "𝑙" - }, - { - "label": "\\Mim", - "type": "symbol", - "apply": "𝑚" - }, - { - "label": "\\Min", - "type": "symbol", - "apply": "𝑛" - }, - { - "label": "\\Mio", - "type": "symbol", - "apply": "𝑜" - }, - { - "label": "\\Mip", - "type": "symbol", - "apply": "𝑝" - }, - { - "label": "\\Miq", - "type": "symbol", - "apply": "𝑞" - }, - { - "label": "\\Mir", - "type": "symbol", - "apply": "𝑟" - }, - { - "label": "\\Mis", - "type": "symbol", - "apply": "𝑠" - }, - { - "label": "\\Mit", - "type": "symbol", - "apply": "𝑡" - }, - { - "label": "\\Miu", - "type": "symbol", - "apply": "𝑢" - }, - { - "label": "\\Miv", - "type": "symbol", - "apply": "𝑣" - }, - { - "label": "\\Miw", - "type": "symbol", - "apply": "𝑤" - }, - { - "label": "\\Mix", - "type": "symbol", - "apply": "𝑥" - }, - { - "label": "\\Miy", - "type": "symbol", - "apply": "𝑦" - }, - { - "label": "\\Miz", - "type": "symbol", - "apply": "𝑧" - }, - { - "label": "\\MIA", - "type": "symbol", - "apply": "𝑨" - }, - { - "label": "\\MIB", - "type": "symbol", - "apply": "𝑩" - }, - { - "label": "\\MIC", - "type": "symbol", - "apply": "𝑪" - }, - { - "label": "\\MID", - "type": "symbol", - "apply": "𝑫" - }, - { - "label": "\\MIE", - "type": "symbol", - "apply": "𝑬" - }, - { - "label": "\\MIF", - "type": "symbol", - "apply": "𝑭" - }, - { - "label": "\\MIG", - "type": "symbol", - "apply": "𝑮" - }, - { - "label": "\\MIH", - "type": "symbol", - "apply": "𝑯" - }, - { - "label": "\\MII", - "type": "symbol", - "apply": "𝑰" - }, - { - "label": "\\MIJ", - "type": "symbol", - "apply": "𝑱" - }, - { - "label": "\\MIK", - "type": "symbol", - "apply": "𝑲" - }, - { - "label": "\\MIL", - "type": "symbol", - "apply": "𝑳" - }, - { - "label": "\\MIM", - "type": "symbol", - "apply": "𝑴" - }, - { - "label": "\\MIN", - "type": "symbol", - "apply": "𝑵" - }, - { - "label": "\\MIO", - "type": "symbol", - "apply": "𝑶" - }, - { - "label": "\\MIP", - "type": "symbol", - "apply": "𝑷" - }, - { - "label": "\\MIQ", - "type": "symbol", - "apply": "𝑸" - }, - { - "label": "\\MIR", - "type": "symbol", - "apply": "𝑹" - }, - { - "label": "\\MIS", - "type": "symbol", - "apply": "𝑺" - }, - { - "label": "\\MIT", - "type": "symbol", - "apply": "𝑻" - }, - { - "label": "\\MIU", - "type": "symbol", - "apply": "𝑼" - }, - { - "label": "\\MIV", - "type": "symbol", - "apply": "𝑽" - }, - { - "label": "\\MIW", - "type": "symbol", - "apply": "𝑾" - }, - { - "label": "\\MIX", - "type": "symbol", - "apply": "𝑿" - }, - { - "label": "\\MIY", - "type": "symbol", - "apply": "𝒀" - }, - { - "label": "\\MIZ", - "type": "symbol", - "apply": "𝒁" - }, - { - "label": "\\MIa", - "type": "symbol", - "apply": "𝒂" - }, - { - "label": "\\MIb", - "type": "symbol", - "apply": "𝒃" - }, - { - "label": "\\MIc", - "type": "symbol", - "apply": "𝒄" - }, - { - "label": "\\MId", - "type": "symbol", - "apply": "𝒅" - }, - { - "label": "\\MIe", - "type": "symbol", - "apply": "𝒆" - }, - { - "label": "\\MIf", - "type": "symbol", - "apply": "𝒇" - }, - { - "label": "\\MIg", - "type": "symbol", - "apply": "𝒈" - }, - { - "label": "\\MIh", - "type": "symbol", - "apply": "𝒉" - }, - { - "label": "\\MIi", - "type": "symbol", - "apply": "𝒊" - }, - { - "label": "\\MIj", - "type": "symbol", - "apply": "𝒋" - }, - { - "label": "\\MIk", - "type": "symbol", - "apply": "𝒌" - }, - { - "label": "\\MIl", - "type": "symbol", - "apply": "𝒍" - }, - { - "label": "\\MIm", - "type": "symbol", - "apply": "𝒎" - }, - { - "label": "\\MIn", - "type": "symbol", - "apply": "𝒏" - }, - { - "label": "\\MIo", - "type": "symbol", - "apply": "𝒐" - }, - { - "label": "\\MIp", - "type": "symbol", - "apply": "𝒑" - }, - { - "label": "\\MIq", - "type": "symbol", - "apply": "𝒒" - }, - { - "label": "\\MIr", - "type": "symbol", - "apply": "𝒓" - }, - { - "label": "\\MIs", - "type": "symbol", - "apply": "𝒔" - }, - { - "label": "\\MIt", - "type": "symbol", - "apply": "𝒕" - }, - { - "label": "\\MIu", - "type": "symbol", - "apply": "𝒖" - }, - { - "label": "\\MIv", - "type": "symbol", - "apply": "𝒗" - }, - { - "label": "\\MIw", - "type": "symbol", - "apply": "𝒘" - }, - { - "label": "\\MIx", - "type": "symbol", - "apply": "𝒙" - }, - { - "label": "\\MIy", - "type": "symbol", - "apply": "𝒚" - }, - { - "label": "\\MIz", - "type": "symbol", - "apply": "𝒛" - }, - { - "label": "\\Mca", - "type": "symbol", - "apply": "𝒶" - }, - { - "label": "\\Mcb", - "type": "symbol", - "apply": "𝒷" - }, - { - "label": "\\Mcc", - "type": "symbol", - "apply": "𝒸" - }, - { - "label": "\\Mcd", - "type": "symbol", - "apply": "𝒹" - }, - { - "label": "\\Mce", - "type": "symbol", - "apply": "ℯ" - }, - { - "label": "\\Mcf", - "type": "symbol", - "apply": "𝒻" - }, - { - "label": "\\Mcg", - "type": "symbol", - "apply": "ℊ" - }, - { - "label": "\\Mch", - "type": "symbol", - "apply": "𝒽" - }, - { - "label": "\\Mci", - "type": "symbol", - "apply": "𝒾" - }, - { - "label": "\\Mcj", - "type": "symbol", - "apply": "𝒿" - }, - { - "label": "\\Mck", - "type": "symbol", - "apply": "𝓀" - }, - { - "label": "\\Mcl", - "type": "symbol", - "apply": "𝓁" - }, - { - "label": "\\Mcm", - "type": "symbol", - "apply": "𝓂" - }, - { - "label": "\\Mcn", - "type": "symbol", - "apply": "𝓃" - }, - { - "label": "\\Mco", - "type": "symbol", - "apply": "ℴ" - }, - { - "label": "\\Mcp", - "type": "symbol", - "apply": "𝓅" - }, - { - "label": "\\Mcq", - "type": "symbol", - "apply": "𝓆" - }, - { - "label": "\\Mcr", - "type": "symbol", - "apply": "𝓇" - }, - { - "label": "\\Mcs", - "type": "symbol", - "apply": "𝓈" - }, - { - "label": "\\Mct", - "type": "symbol", - "apply": "𝓉" - }, - { - "label": "\\Mcu", - "type": "symbol", - "apply": "𝓊" - }, - { - "label": "\\Mcv", - "type": "symbol", - "apply": "𝓋" - }, - { - "label": "\\Mcw", - "type": "symbol", - "apply": "𝓌" - }, - { - "label": "\\Mcx", - "type": "symbol", - "apply": "𝓍" - }, - { - "label": "\\Mcy", - "type": "symbol", - "apply": "𝓎" - }, - { - "label": "\\Mcz", - "type": "symbol", - "apply": "𝓏" - }, - { - "label": "\\MCA", - "type": "symbol", - "apply": "𝓐" - }, - { - "label": "\\MCB", - "type": "symbol", - "apply": "𝓑" - }, - { - "label": "\\MCC", - "type": "symbol", - "apply": "𝓒" - }, - { - "label": "\\MCD", - "type": "symbol", - "apply": "𝓓" - }, - { - "label": "\\MCE", - "type": "symbol", - "apply": "𝓔" - }, - { - "label": "\\MCF", - "type": "symbol", - "apply": "𝓕" - }, - { - "label": "\\MCG", - "type": "symbol", - "apply": "𝓖" - }, - { - "label": "\\MCH", - "type": "symbol", - "apply": "𝓗" - }, - { - "label": "\\MCI", - "type": "symbol", - "apply": "𝓘" - }, - { - "label": "\\MCJ", - "type": "symbol", - "apply": "𝓙" - }, - { - "label": "\\MCK", - "type": "symbol", - "apply": "𝓚" - }, - { - "label": "\\MCL", - "type": "symbol", - "apply": "𝓛" - }, - { - "label": "\\MCM", - "type": "symbol", - "apply": "𝓜" - }, - { - "label": "\\MCN", - "type": "symbol", - "apply": "𝓝" - }, - { - "label": "\\MCO", - "type": "symbol", - "apply": "𝓞" - }, - { - "label": "\\MCP", - "type": "symbol", - "apply": "𝓟" - }, - { - "label": "\\MCQ", - "type": "symbol", - "apply": "𝓠" - }, - { - "label": "\\MCR", - "type": "symbol", - "apply": "𝓡" - }, - { - "label": "\\MCS", - "type": "symbol", - "apply": "𝓢" - }, - { - "label": "\\MCT", - "type": "symbol", - "apply": "𝓣" - }, - { - "label": "\\MCU", - "type": "symbol", - "apply": "𝓤" - }, - { - "label": "\\MCV", - "type": "symbol", - "apply": "𝓥" - }, - { - "label": "\\MCW", - "type": "symbol", - "apply": "𝓦" - }, - { - "label": "\\MCX", - "type": "symbol", - "apply": "𝓧" - }, - { - "label": "\\MCY", - "type": "symbol", - "apply": "𝓨" - }, - { - "label": "\\MCZ", - "type": "symbol", - "apply": "𝓩" - }, - { - "label": "\\MCa", - "type": "symbol", - "apply": "𝓪" - }, - { - "label": "\\MCb", - "type": "symbol", - "apply": "𝓫" - }, - { - "label": "\\MCc", - "type": "symbol", - "apply": "𝓬" - }, - { - "label": "\\MCd", - "type": "symbol", - "apply": "𝓭" - }, - { - "label": "\\MCe", - "type": "symbol", - "apply": "𝓮" - }, - { - "label": "\\MCf", - "type": "symbol", - "apply": "𝓯" - }, - { - "label": "\\MCg", - "type": "symbol", - "apply": "𝓰" - }, - { - "label": "\\MCh", - "type": "symbol", - "apply": "𝓱" - }, - { - "label": "\\MCi", - "type": "symbol", - "apply": "𝓲" - }, - { - "label": "\\MCj", - "type": "symbol", - "apply": "𝓳" - }, - { - "label": "\\MCk", - "type": "symbol", - "apply": "𝓴" - }, - { - "label": "\\MCl", - "type": "symbol", - "apply": "𝓵" - }, - { - "label": "\\MCm", - "type": "symbol", - "apply": "𝓶" - }, - { - "label": "\\MCn", - "type": "symbol", - "apply": "𝓷" - }, - { - "label": "\\MCo", - "type": "symbol", - "apply": "𝓸" - }, - { - "label": "\\MCp", - "type": "symbol", - "apply": "𝓹" - }, - { - "label": "\\MCq", - "type": "symbol", - "apply": "𝓺" - }, - { - "label": "\\MCr", - "type": "symbol", - "apply": "𝓻" - }, - { - "label": "\\MCs", - "type": "symbol", - "apply": "𝓼" - }, - { - "label": "\\MCt", - "type": "symbol", - "apply": "𝓽" - }, - { - "label": "\\MCu", - "type": "symbol", - "apply": "𝓾" - }, - { - "label": "\\MCv", - "type": "symbol", - "apply": "𝓿" - }, - { - "label": "\\MCw", - "type": "symbol", - "apply": "𝔀" - }, - { - "label": "\\MCx", - "type": "symbol", - "apply": "𝔁" - }, - { - "label": "\\MCy", - "type": "symbol", - "apply": "𝔂" - }, - { - "label": "\\MCz", - "type": "symbol", - "apply": "𝔃" - }, - { - "label": "\\MfA", - "type": "symbol", - "apply": "𝔄" - }, - { - "label": "\\MfB", - "type": "symbol", - "apply": "𝔅" - }, - { - "label": "\\MfC", - "type": "symbol", - "apply": "ℭ" - }, - { - "label": "\\MfD", - "type": "symbol", - "apply": "𝔇" - }, - { - "label": "\\MfE", - "type": "symbol", - "apply": "𝔈" - }, - { - "label": "\\MfF", - "type": "symbol", - "apply": "𝔉" - }, - { - "label": "\\MfG", - "type": "symbol", - "apply": "𝔊" - }, - { - "label": "\\MfH", - "type": "symbol", - "apply": "ℌ" - }, - { - "label": "\\MfI", - "type": "symbol", - "apply": "ℑ" - }, - { - "label": "\\MfJ", - "type": "symbol", - "apply": "𝔍" - }, - { - "label": "\\MfK", - "type": "symbol", - "apply": "𝔎" - }, - { - "label": "\\MfL", - "type": "symbol", - "apply": "𝔏" - }, - { - "label": "\\MfM", - "type": "symbol", - "apply": "𝔐" - }, - { - "label": "\\MfN", - "type": "symbol", - "apply": "𝔑" - }, - { - "label": "\\MfO", - "type": "symbol", - "apply": "𝔒" - }, - { - "label": "\\MfP", - "type": "symbol", - "apply": "𝔓" - }, - { - "label": "\\MfQ", - "type": "symbol", - "apply": "𝔔" - }, - { - "label": "\\MfR", - "type": "symbol", - "apply": "ℜ" - }, - { - "label": "\\MfS", - "type": "symbol", - "apply": "𝔖" - }, - { - "label": "\\MfT", - "type": "symbol", - "apply": "𝔗" - }, - { - "label": "\\MfU", - "type": "symbol", - "apply": "𝔘" - }, - { - "label": "\\MfV", - "type": "symbol", - "apply": "𝔙" - }, - { - "label": "\\MfW", - "type": "symbol", - "apply": "𝔚" - }, - { - "label": "\\MfX", - "type": "symbol", - "apply": "𝔛" - }, - { - "label": "\\MfY", - "type": "symbol", - "apply": "𝔜" - }, - { - "label": "\\MfZ", - "type": "symbol", - "apply": "ℨ" - }, - { - "label": "\\Mfa", - "type": "symbol", - "apply": "𝔞" - }, - { - "label": "\\Mfb", - "type": "symbol", - "apply": "𝔟" - }, - { - "label": "\\Mfc", - "type": "symbol", - "apply": "𝔠" - }, - { - "label": "\\Mfd", - "type": "symbol", - "apply": "𝔡" - }, - { - "label": "\\Mfe", - "type": "symbol", - "apply": "𝔢" - }, - { - "label": "\\Mff", - "type": "symbol", - "apply": "𝔣" - }, - { - "label": "\\Mfg", - "type": "symbol", - "apply": "𝔤" - }, - { - "label": "\\Mfh", - "type": "symbol", - "apply": "𝔥" - }, - { - "label": "\\Mfi", - "type": "symbol", - "apply": "𝔦" - }, - { - "label": "\\Mfj", - "type": "symbol", - "apply": "𝔧" - }, - { - "label": "\\Mfk", - "type": "symbol", - "apply": "𝔨" - }, - { - "label": "\\Mfl", - "type": "symbol", - "apply": "𝔩" - }, - { - "label": "\\Mfm", - "type": "symbol", - "apply": "𝔪" - }, - { - "label": "\\Mfn", - "type": "symbol", - "apply": "𝔫" - }, - { - "label": "\\Mfo", - "type": "symbol", - "apply": "𝔬" - }, - { - "label": "\\Mfp", - "type": "symbol", - "apply": "𝔭" - }, - { - "label": "\\Mfq", - "type": "symbol", - "apply": "𝔮" - }, - { - "label": "\\Mfr", - "type": "symbol", - "apply": "𝔯" - }, - { - "label": "\\Mfs", - "type": "symbol", - "apply": "𝔰" - }, - { - "label": "\\Mft", - "type": "symbol", - "apply": "𝔱" - }, - { - "label": "\\Mfu", - "type": "symbol", - "apply": "𝔲" - }, - { - "label": "\\Mfv", - "type": "symbol", - "apply": "𝔳" - }, - { - "label": "\\Mfw", - "type": "symbol", - "apply": "𝔴" - }, - { - "label": "\\Mfx", - "type": "symbol", - "apply": "𝔵" - }, - { - "label": "\\Mfy", - "type": "symbol", - "apply": "𝔶" - }, - { - "label": "\\Mfz", - "type": "symbol", - "apply": "𝔷" - }, - { - "label": "\\yen", - "type": "symbol", - "apply": "¥" - }, - { - "label": "\\varrho", - "type": "symbol", - "apply": "ϱ" - }, - { - "label": "\\varkappa", - "type": "symbol", - "apply": "ϰ" - }, - { - "label": "\\varkai", - "type": "symbol", - "apply": "ϗ" - }, - { - "label": "\\varnothing", - "type": "symbol", - "apply": "∅" - }, - { - "label": "\\varpi", - "type": "symbol", - "apply": "ϖ" - }, - { - "label": "\\varphi", - "type": "symbol", - "apply": "ϕ" - }, - { - "label": "\\varprime", - "type": "symbol", - "apply": "′" - }, - { - "label": "\\varpropto", - "type": "symbol", - "apply": "∝" - }, - { - "label": "\\vartheta", - "type": "symbol", - "apply": "ϑ" - }, - { - "label": "\\vartriangleleft", - "type": "symbol", - "apply": "⊲" - }, - { - "label": "\\vartriangleright", - "type": "symbol", - "apply": "⊳" - }, - { - "label": "\\varbeta", - "type": "symbol", - "apply": "ϐ" - }, - { - "label": "\\varsigma", - "type": "symbol", - "apply": "ς" - }, - { - "label": "\\veebar", - "type": "symbol", - "apply": "⊻" - }, - { - "label": "\\vee", - "type": "symbol", - "apply": "∨" - }, - { - "label": "\\ve", - "type": "symbol", - "apply": "ě" - }, - { - "label": "\\vE", - "type": "symbol", - "apply": "Ě" - }, - { - "label": "\\vdash", - "type": "symbol", - "apply": "⊢" - }, - { - "label": "\\vdots", - "type": "symbol", - "apply": "⋮" - }, - { - "label": "\\vd", - "type": "symbol", - "apply": "ď" - }, - { - "label": "\\vDash", - "type": "symbol", - "apply": "⊨" - }, - { - "label": "\\vD", - "type": "symbol", - "apply": "Ď" - }, - { - "label": "\\vc", - "type": "symbol", - "apply": "č" - }, - { - "label": "\\vC", - "type": "symbol", - "apply": "Č" - }, - { - "label": "\\koppa", - "type": "symbol", - "apply": "ϟ" - }, - { - "label": "\\kip", - "type": "symbol", - "apply": "₭" - }, - { - "label": "\\ki", - "type": "symbol", - "apply": "į" - }, - { - "label": "\\kI", - "type": "symbol", - "apply": "Į" - }, - { - "label": "\\kelvin", - "type": "symbol", - "apply": "K" - }, - { - "label": "\\khei", - "type": "symbol", - "apply": "ϧ" - }, - { - "label": "\\warning", - "type": "symbol", - "apply": "⚠" - }, - { - "label": "\\won", - "type": "symbol", - "apply": "₩" - }, - { - "label": "\\wedge", - "type": "symbol", - "apply": "∧" - }, - { - "label": "\\wp", - "type": "symbol", - "apply": "℘" - }, - { - "label": "\\wr", - "type": "symbol", - "apply": "≀" - }, - { - "label": "\\Dei", - "type": "symbol", - "apply": "Ϯ" - }, - { - "label": "\\Digamma", - "type": "symbol", - "apply": "Ϝ" - }, - { - "label": "\\Diamond", - "type": "symbol", - "apply": "◇" - }, - { - "label": "\\Downarrow", - "type": "symbol", - "apply": "⇓" - }, - { - "label": "\\DH", - "type": "symbol", - "apply": "Ð" - }, - { - "label": "\\Box", - "type": "symbol", - "apply": "□" - }, - { - "label": "\\Bumpeq", - "type": "symbol", - "apply": "≎" - }, - { - "label": "\\bbA", - "type": "symbol", - "apply": "𝔸" - }, - { - "label": "\\bbB", - "type": "symbol", - "apply": "𝔹" - }, - { - "label": "\\bbC", - "type": "symbol", - "apply": "ℂ" - }, - { - "label": "\\bbD", - "type": "symbol", - "apply": "𝔻" - }, - { - "label": "\\bbE", - "type": "symbol", - "apply": "𝔼" - }, - { - "label": "\\bbF", - "type": "symbol", - "apply": "𝔽" - }, - { - "label": "\\bbG", - "type": "symbol", - "apply": "𝔾" - }, - { - "label": "\\bbH", - "type": "symbol", - "apply": "ℍ" - }, - { - "label": "\\bbI", - "type": "symbol", - "apply": "𝕀" - }, - { - "label": "\\bbJ", - "type": "symbol", - "apply": "𝕁" - }, - { - "label": "\\bbK", - "type": "symbol", - "apply": "𝕂" - }, - { - "label": "\\bbL", - "type": "symbol", - "apply": "𝕃" - }, - { - "label": "\\bbM", - "type": "symbol", - "apply": "𝕄" - }, - { - "label": "\\bbN", - "type": "symbol", - "apply": "ℕ" - }, - { - "label": "\\bbO", - "type": "symbol", - "apply": "𝕆" - }, - { - "label": "\\bbP", - "type": "symbol", - "apply": "ℙ" - }, - { - "label": "\\bbQ", - "type": "symbol", - "apply": "ℚ" - }, - { - "label": "\\bbR", - "type": "symbol", - "apply": "ℝ" - }, - { - "label": "\\bbS", - "type": "symbol", - "apply": "𝕊" - }, - { - "label": "\\bbT", - "type": "symbol", - "apply": "𝕋" - }, - { - "label": "\\bbU", - "type": "symbol", - "apply": "𝕌" - }, - { - "label": "\\bbV", - "type": "symbol", - "apply": "𝕍" - }, - { - "label": "\\bbW", - "type": "symbol", - "apply": "𝕎" - }, - { - "label": "\\bbX", - "type": "symbol", - "apply": "𝕏" - }, - { - "label": "\\bbY", - "type": "symbol", - "apply": "𝕐" - }, - { - "label": "\\bbZ", - "type": "symbol", - "apply": "ℤ" - }, - { - "label": "\\bba", - "type": "symbol", - "apply": "𝕒" - }, - { - "label": "\\bbb", - "type": "symbol", - "apply": "𝕓" - }, - { - "label": "\\bbc", - "type": "symbol", - "apply": "𝕔" - }, - { - "label": "\\bbd", - "type": "symbol", - "apply": "𝕕" - }, - { - "label": "\\bbe", - "type": "symbol", - "apply": "𝕖" - }, - { - "label": "\\bbf", - "type": "symbol", - "apply": "𝕗" - }, - { - "label": "\\bbg", - "type": "symbol", - "apply": "𝕘" - }, - { - "label": "\\bbh", - "type": "symbol", - "apply": "𝕙" - }, - { - "label": "\\bbi", - "type": "symbol", - "apply": "𝕚" - }, - { - "label": "\\bbj", - "type": "symbol", - "apply": "𝕛" - }, - { - "label": "\\bbk", - "type": "symbol", - "apply": "𝕜" - }, - { - "label": "\\bbl", - "type": "symbol", - "apply": "𝕝" - }, - { - "label": "\\bbm", - "type": "symbol", - "apply": "𝕞" - }, - { - "label": "\\bbn", - "type": "symbol", - "apply": "𝕟" - }, - { - "label": "\\bbo", - "type": "symbol", - "apply": "𝕠" - }, - { - "label": "\\bbp", - "type": "symbol", - "apply": "𝕡" - }, - { - "label": "\\bbq", - "type": "symbol", - "apply": "𝕢" - }, - { - "label": "\\bbr", - "type": "symbol", - "apply": "𝕣" - }, - { - "label": "\\bbs", - "type": "symbol", - "apply": "𝕤" - }, - { - "label": "\\bbt", - "type": "symbol", - "apply": "𝕥" - }, - { - "label": "\\bbu", - "type": "symbol", - "apply": "𝕦" - }, - { - "label": "\\bbv", - "type": "symbol", - "apply": "𝕧" - }, - { - "label": "\\bbw", - "type": "symbol", - "apply": "𝕨" - }, - { - "label": "\\bbx", - "type": "symbol", - "apply": "𝕩" - }, - { - "label": "\\bby", - "type": "symbol", - "apply": "𝕪" - }, - { - "label": "\\bbz", - "type": "symbol", - "apply": "𝕫" - }, - { - "label": "\\Rge0", - "type": "symbol", - "apply": "ℝ≥0" - }, - { - "label": "\\R>=0", - "type": "symbol", - "apply": "ℝ≥0" - }, - { - "label": "\\nnreal", - "type": "symbol", - "apply": "ℝ≥0" - }, - { - "label": "\\ennreal", - "type": "symbol", - "apply": "ℝ≥0∞" - }, - { - "label": "\\enat", - "type": "symbol", - "apply": "ℕ∞" - }, - { - "label": "\\Zsqrt", - "type": "symbol", - "apply": "ℤ√" - }, - { - "label": "\\zsqrtd", - "type": "symbol", - "apply": "ℤ√" - }, - { - "label": "\\liel", - "type": "symbol", - "apply": "⁅" - }, - { - "label": "\\bracketl", - "type": "symbol", - "apply": "⁅" - }, - { - "label": "\\lier", - "type": "symbol", - "apply": "⁆" - }, - { - "label": "\\[-", - "type": "symbol", - "apply": "⁅" - }, - { - "label": "\\-]", - "type": "symbol", - "apply": "⁆" - }, - { - "label": "\\lsimplex", - "type": "symbol", - "apply": "⦋" - }, - { - "label": "\\rsimplex", - "type": "symbol", - "apply": "⦌" - }, - { - "label": "\\bracketr", - "type": "symbol", - "apply": "⁆" - }, - { - "label": "\\nhds", - "type": "symbol", - "apply": "𝓝" - }, - { - "label": "\\nbhds", - "type": "symbol", - "apply": "𝓝" - }, - { - "label": "\\X", - "type": "symbol", - "apply": "⨯" - }, - { - "label": "\\vectorproduct", - "type": "symbol", - "apply": "⨯" - }, - { - "label": "\\crossproduct", - "type": "symbol", - "apply": "⨯" - }, - { - "label": "\\xs", - "type": "symbol", - "apply": "×ˢ" - }, - { - "label": "\\coprod", - "type": "symbol", - "apply": "⨿" - }, - { - "label": "\\sigmaobj", - "type": "symbol", - "apply": "∐" - }, - { - "label": "\\xf", - "type": "symbol", - "apply": "×ᶠ" - }, - { - "label": "\\exf", - "type": "symbol", - "apply": "∃ᶠ" - }, - { - "label": "\\c[", - "type": "symbol", - "apply": "⦃" - }, - { - "label": "\\c]", - "type": "symbol", - "apply": "⦄" - }, - { - "label": "\\Yot", - "type": "symbol", - "apply": "Ϳ" - }, - { - "label": "\\goal", - "type": "symbol", - "apply": "⊢" - }, - { - "label": "\\Vdash", - "type": "symbol", - "apply": "⊩" - }, - { - "label": "\\Vert", - "type": "symbol", - "apply": "‖" - }, - { - "label": "\\Vvdash", - "type": "symbol", - "apply": "⊪" - }, - { - "label": "\\tiny", - "type": "symbol", - "apply": "⧾" - }, - { - "label": "\\miny", - "type": "symbol", - "apply": "⧿" - }, - { - "label": "\\heq", - "type": "symbol", - "apply": "≍" - }, - { - "label": "\\r!", - "type": "symbol", - "apply": "¡" - } -] \ No newline at end of file diff --git a/package-lock.json b/package-lock.json index e10efdcc..15deecf1 100644 --- a/package-lock.json +++ b/package-lock.json @@ -44,6 +44,7 @@ }, "devDependencies": { "@eslint/js": "^9.18.0", + "@leanprover/unicode-input": "0.1.9", "@lezer/generator": "^1.2.3", "@types/jest": "29.1.0", "@types/jquery": "^3.5.16", @@ -2218,6 +2219,13 @@ "integrity": "sha512-IN2M5BXf5j3qh6JoqLuqgtl9kpjwH1O4aW2Ey8NQTbkCUhTMKOsGH5LZLIgbCndB4MBVBtQhXwPt1fSW+IxOJw==", "license": "Apache-2.0" }, + "node_modules/@leanprover/unicode-input": { + "version": "0.1.9", + "resolved": "https://registry.npmjs.org/@leanprover/unicode-input/-/unicode-input-0.1.9.tgz", + "integrity": "sha512-NTd56YpI8iAb2aLLHEOCAIJM+T7pWJLS0PSn9sIOS21HwAgnhlgoHsoioey9hkUCdV0kDfeh0lsX2Yx3mbF0dg==", + "dev": true, + "license": "Apache-2.0" + }, "node_modules/@lezer/common": { "version": "1.5.0", "resolved": "https://registry.npmjs.org/@lezer/common/-/common-1.5.0.tgz", diff --git a/package.json b/package.json index f741c7ab..a9cfe647 100644 --- a/package.json +++ b/package.json @@ -505,6 +505,7 @@ }, "devDependencies": { "@eslint/js": "^9.18.0", + "@leanprover/unicode-input": "0.1.9", "@lezer/generator": "^1.2.3", "@types/jest": "29.1.0", "@types/jquery": "^3.5.16", @@ -569,7 +570,8 @@ "browser": "./out/src/mainBrowser.js", "scripts": { "vscode:prepublish": "npm run typecheck && npm run esbuild -- --minify --sourcemap=no", - "esbuild": "node esbuild.mjs", + "generate-symbols": "node scripts/generate-symbols.mjs", + "esbuild": "npm run generate-symbols && node esbuild.mjs", "typecheck": "tsc -b", "compile": "npm run esbuild", "watch": "npm run esbuild -- --watch", diff --git a/scripts/README.md b/scripts/README.md index 29e9bcb3..0679da7c 100644 --- a/scripts/README.md +++ b/scripts/README.md @@ -21,15 +21,21 @@ pandoc tactics-sheet.md -o tactics-sheet.pdf --pdf-engine=lualatex -V 'monofont: ### Symbol generation -`completions/symbols+lean.json` is a committed, generated file combining the hand-curated `symbols.json` with Lean's unicode abbreviation table. +`completions/symbols+lean.json` is a generated file combining the hand-curated `symbols.json` with Lean's unicode abbreviation table. It is produced automatically at build time and is not committed to git. -To update it (e.g. after a new Lean release), run: +The Lean abbreviation table comes from the `@leanprover/unicode-input` npm package, pinned to an exact version in `package.json`. + +To update the Lean table (e.g. after a new Lean release), bump the version in `package.json` and run: +```bash +npm install +``` + +To regenerate manually: ```bash -bash update-symbols.sh +npm run generate-symbols ``` -This downloads the abbreviations from the pinned Lean release tag, regenerates `symbols+lean.json`, and runs a diff test against the base. -To regenerate without re-downloading: +To regenerate and run the diff test against the base: ```bash -node generate-symbols.mjs --test +npm run generate-symbols -- --test ``` \ No newline at end of file diff --git a/scripts/generate-symbols.mjs b/scripts/generate-symbols.mjs index ad7a8afc..ecf15d84 100644 --- a/scripts/generate-symbols.mjs +++ b/scripts/generate-symbols.mjs @@ -20,10 +20,13 @@ */ import fs from "fs"; +import { fileURLToPath } from "url"; +import path from "path"; -const BASE = "../completions/symbols.json"; -const LEAN = "../completions/lean-abbreviations.json"; -const OUTPUT = "../completions/symbols+lean.json"; +const __dirname = path.dirname(fileURLToPath(import.meta.url)); +const BASE = path.resolve(__dirname, "../completions/symbols.json"); +const LEAN = path.resolve(__dirname, "../node_modules/@leanprover/unicode-input/dist/abbreviations.json"); +const OUTPUT = path.resolve(__dirname, "../completions/symbols+lean.json"); const TEST = process.argv.includes("--test"); // CONFIGURATION diff --git a/scripts/update-symbols.sh b/scripts/update-symbols.sh deleted file mode 100755 index 8a20bbe8..00000000 --- a/scripts/update-symbols.sh +++ /dev/null @@ -1,22 +0,0 @@ -#!/bin/bash -# update-symbols.sh -# Downloads the latest Lean unicode table and regenerates symbols.json -# -# Usage: bash scripts/update-symbols.sh - -set -e - -# Pinned to release v0.0.224 to avoid breaking changes in the future. Update as needed. -LEAN_URL="https://raw.githubusercontent.com/leanprover/vscode-lean4/v0.0.224/lean4-unicode-input/src/abbreviations.json" -ABBREV="../completions/lean-abbreviations.json" -OUTPUT="../completions/symbols.json" - -echo "Downloading Lean abbreviations..." -curl -fsSL "$LEAN_URL" -o "$ABBREV" - -echo "Generating $OUTPUT..." - -node generate-symbols.mjs --test - - -echo "Done." \ No newline at end of file From a1e753521b183d05ec02c8c6ce67504ff17dbcc8 Mon Sep 17 00:00:00 2001 From: Tammo Steffens Date: Tue, 31 Mar 2026 12:56:15 +0200 Subject: [PATCH 2/3] fix outdated documentation --- scripts/generate-symbols.mjs | 3 --- 1 file changed, 3 deletions(-) diff --git a/scripts/generate-symbols.mjs b/scripts/generate-symbols.mjs index ecf15d84..75e98cf4 100644 --- a/scripts/generate-symbols.mjs +++ b/scripts/generate-symbols.mjs @@ -14,9 +14,6 @@ * Usage: * node generate-symbols.mjs # merge and write * node generate-symbols.mjs --test # merge, write, then compare against base - * - * Update Lean table: - * bash symbols.sh */ import fs from "fs"; From 5f8e67cb54ada7469c0425d6f6724338a61abdff Mon Sep 17 00:00:00 2001 From: Tammo Steffens Date: Tue, 31 Mar 2026 13:02:46 +0200 Subject: [PATCH 3/3] generate symbols before typecheck --- package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package.json b/package.json index a9cfe647..3b7bbb91 100644 --- a/package.json +++ b/package.json @@ -572,7 +572,7 @@ "vscode:prepublish": "npm run typecheck && npm run esbuild -- --minify --sourcemap=no", "generate-symbols": "node scripts/generate-symbols.mjs", "esbuild": "npm run generate-symbols && node esbuild.mjs", - "typecheck": "tsc -b", + "typecheck": "npm run generate-symbols && tsc -b", "compile": "npm run esbuild", "watch": "npm run esbuild -- --watch", "test-package": "node_modules/.bin/vsce package --ignoreFile .vscodeignore -o test_out/extension.vsix",