/** * This file holds a list of all no-argument functions and single-character * symbols (like 'a' or ';'). * * For each of the symbols, there are three properties they can have: * - font (required): the font to be used for this symbol. Either "main" (the normal font), or "ams" (the ams fonts). * - group (required): the ParseNode group type the symbol should have (i.e. "textord", "mathord", etc). See https://github.com/Khan/KaTeX/wiki/Examining-TeX#group-types * - replace (optional): the character that this symbol or function should be * replaced with (i.e. "\phi" has a replace value of "\u03d5", the phi * character in the main font). * * The outermost map in the table indicates what mode the symbols should be * accepted in (e.g. "math" or "text"). */ var symbols = { "math": { // Relation Symbols "\\equiv": { font: "main", group: "rel", replace: "\u2261" }, "\\prec": { font: "main", group: "rel", replace: "\u227a" }, "\\succ": { font: "main", group: "rel", replace: "\u227b" }, "\\sim": { font: "main", group: "rel", replace: "\u223c" }, "\\perp": { font: "main", group: "rel", replace: "\u22a5" }, "\\preceq": { font: "main", group: "rel", replace: "\u2aaf" }, "\\succeq": { font: "main", group: "rel", replace: "\u2ab0" }, "\\simeq": { font: "main", group: "rel", replace: "\u2243" }, "\\mid": { font: "main", group: "rel", replace: "\u2223" }, "\\ll": { font: "main", group: "rel", replace: "\u226a" }, "\\gg": { font: "main", group: "rel", replace: "\u226b" }, "\\asymp": { font: "main", group: "rel", replace: "\u224d" }, "\\parallel": { font: "main", group: "rel", replace: "\u2225" }, "\\bowtie": { font: "main", group: "rel", replace: "\u22c8" }, "\\smile": { font: "main", group: "rel", replace: "\u2323" }, "\\sqsubseteq": { font: "main", group: "rel", replace: "\u2291" }, "\\sqsupseteq": { font: "main", group: "rel", replace: "\u2292" }, "\\doteq": { font: "main", group: "rel", replace: "\u2250" }, "\\frown": { font: "main", group: "rel", replace: "\u2322" }, "\\ni": { font: "main", group: "rel", replace: "\u220b" }, "\\propto": { font: "main", group: "rel", replace: "\u221d" }, "\\vdash": { font: "main", group: "rel", replace: "\u22a2" }, "\\dashv": { font: "main", group: "rel", replace: "\u22a3" }, "\\owns": { font: "main", group: "rel", replace: "\u220b" }, // Punctuation "\\ldotp": { font: "main", group: "punct", replace: "\u002e" }, "\\cdotp": { font: "main", group: "punct", replace: "\u22c5" }, // Misc Symbols "\\#": { font: "main", group: "textord", replace: "\u0023" }, "\\&": { font: "main", group: "textord", replace: "\u0026" }, "\\aleph": { font: "main", group: "textord", replace: "\u2135" }, "\\forall": { font: "main", group: "textord", replace: "\u2200" }, "\\hbar": { font: "main", group: "textord", replace: "\u210f" }, "\\exists": { font: "main", group: "textord", replace: "\u2203" }, "\\nabla": { font: "main", group: "textord", replace: "\u2207" }, "\\flat": { font: "main", group: "textord", replace: "\u266d" }, "\\ell": { font: "main", group: "textord", replace: "\u2113" }, "\\natural": { font: "main", group: "textord", replace: "\u266e" }, "\\clubsuit": { font: "main", group: "textord", replace: "\u2663" }, "\\wp": { font: "main", group: "textord", replace: "\u2118" }, "\\sharp": { font: "main", group: "textord", replace: "\u266f" }, "\\diamondsuit": { font: "main", group: "textord", replace: "\u2662" }, "\\Re": { font: "main", group: "textord", replace: "\u211c" }, "\\heartsuit": { font: "main", group: "textord", replace: "\u2661" }, "\\Im": { font: "main", group: "textord", replace: "\u2111" }, "\\spadesuit": { font: "main", group: "textord", replace: "\u2660" }, // Math and Text "\\dag": { font: "main", group: "textord", replace: "\u2020" }, "\\ddag": { font: "main", group: "textord", replace: "\u2021" }, // Large Delimiters "\\rmoustache": { font: "main", group: "close", replace: "\u23b1" }, "\\lmoustache": { font: "main", group: "open", replace: "\u23b0" }, "\\rgroup": { font: "main", group: "close", replace: "\u27ef" }, "\\lgroup": { font: "main", group: "open", replace: "\u27ee" }, // Binary Operators "\\mp": { font: "main", group: "bin", replace: "\u2213" }, "\\ominus": { font: "main", group: "bin", replace: "\u2296" }, "\\uplus": { font: "main", group: "bin", replace: "\u228e" }, "\\sqcap": { font: "main", group: "bin", replace: "\u2293" }, "\\ast": { font: "main", group: "bin", replace: "\u2217" }, "\\sqcup": { font: "main", group: "bin", replace: "\u2294" }, "\\bigcirc": { font: "main", group: "bin", replace: "\u25ef" }, "\\bullet": { font: "main", group: "bin", replace: "\u2219" }, "\\ddagger": { font: "main", group: "bin", replace: "\u2021" }, "\\wr": { font: "main", group: "bin", replace: "\u2240" }, "\\amalg": { font: "main", group: "bin", replace: "\u2a3f" }, // Arrow Symbols "\\longleftarrow": { font: "main", group: "rel", replace: "\u27f5" }, "\\Leftarrow": { font: "main", group: "rel", replace: "\u21d0" }, "\\Longleftarrow": { font: "main", group: "rel", replace: "\u27f8" }, "\\longrightarrow": { font: "main", group: "rel", replace: "\u27f6" }, "\\Rightarrow": { font: "main", group: "rel", replace: "\u21d2" }, "\\Longrightarrow": { font: "main", group: "rel", replace: "\u27f9" }, "\\leftrightarrow": { font: "main", group: "rel", replace: "\u2194" }, "\\longleftrightarrow": { font: "main", group: "rel", replace: "\u27f7" }, "\\Leftrightarrow": { font: "main", group: "rel", replace: "\u21d4" }, "\\Longleftrightarrow": { font: "main", group: "rel", replace: "\u27fa" }, "\\mapsto": { font: "main", group: "rel", replace: "\u21a6" }, "\\longmapsto": { font: "main", group: "rel", replace: "\u27fc" }, "\\nearrow": { font: "main", group: "rel", replace: "\u2197" }, "\\hookleftarrow": { font: "main", group: "rel", replace: "\u21a9" }, "\\hookrightarrow": { font: "main", group: "rel", replace: "\u21aa" }, "\\searrow": { font: "main", group: "rel", replace: "\u2198" }, "\\leftharpoonup": { font: "main", group: "rel", replace: "\u21bc" }, "\\rightharpoonup": { font: "main", group: "rel", replace: "\u21c0" }, "\\swarrow": { font: "main", group: "rel", replace: "\u2199" }, "\\leftharpoondown": { font: "main", group: "rel", replace: "\u21bd" }, "\\rightharpoondown": { font: "main", group: "rel", replace: "\u21c1" }, "\\nwarrow": { font: "main", group: "rel", replace: "\u2196" }, "\\rightleftharpoons": { font: "main", group: "rel", replace: "\u21cc" }, // AMS Negated Binary Relations "\\nless": { font: "ams", group: "rel", replace: "\u226e" }, "\\nleqslant": { font: "ams", group: "rel", replace: "\ue010" }, "\\nleqq": { font: "ams", group: "rel", replace: "\ue011" }, "\\lneq": { font: "ams", group: "rel", replace: "\u2a87" }, "\\lneqq": { font: "ams", group: "rel", replace: "\u2268" }, "\\lvertneqq": { font: "ams", group: "rel", replace: "\ue00c" }, "\\lnsim": { font: "ams", group: "rel", replace: "\u22e6" }, "\\lnapprox": { font: "ams", group: "rel", replace: "\u2a89" }, "\\nprec": { font: "ams", group: "rel", replace: "\u2280" }, "\\npreceq": { font: "ams", group: "rel", replace: "\u22e0" }, "\\precnsim": { font: "ams", group: "rel", replace: "\u22e8" }, "\\precnapprox": { font: "ams", group: "rel", replace: "\u2ab9" }, "\\nsim": { font: "ams", group: "rel", replace: "\u2241" }, "\\nshortmid": { font: "ams", group: "rel", replace: "\ue006" }, "\\nmid": { font: "ams", group: "rel", replace: "\u2224" }, "\\nvdash": { font: "ams", group: "rel", replace: "\u22ac" }, "\\nvDash": { font: "ams", group: "rel", replace: "\u22ad" }, "\\ntriangleleft": { font: "ams", group: "rel", replace: "\u22ea" }, "\\ntrianglelefteq": { font: "ams", group: "rel", replace: "\u22ec" }, "\\subsetneq": { font: "ams", group: "rel", replace: "\u228a" }, "\\varsubsetneq": { font: "ams", group: "rel", replace: "\ue01a" }, "\\subsetneqq": { font: "ams", group: "rel", replace: "\u2acb" }, "\\varsubsetneqq": { font: "ams", group: "rel", replace: "\ue017" }, "\\ngtr": { font: "ams", group: "rel", replace: "\u226f" }, "\\ngeqslant": { font: "ams", group: "rel", replace: "\ue00f" }, "\\ngeqq": { font: "ams", group: "rel", replace: "\ue00e" }, "\\gneq": { font: "ams", group: "rel", replace: "\u2a88" }, "\\gneqq": { font: "ams", group: "rel", replace: "\u2269" }, "\\gvertneqq": { font: "ams", group: "rel", replace: "\ue00d" }, "\\gnsim": { font: "ams", group: "rel", replace: "\u22e7" }, "\\gnapprox": { font: "ams", group: "rel", replace: "\u2a8a" }, "\\nsucc": { font: "ams", group: "rel", replace: "\u2281" }, "\\nsucceq": { font: "ams", group: "rel", replace: "\u22e1" }, "\\succnsim": { font: "ams", group: "rel", replace: "\u22e9" }, "\\succnapprox": { font: "ams", group: "rel", replace: "\u2aba" }, "\\ncong": { font: "ams", group: "rel", replace: "\u2246" }, "\\nshortparallel": { font: "ams", group: "rel", replace: "\ue007" }, "\\nparallel": { font: "ams", group: "rel", replace: "\u2226" }, "\\nVDash": { font: "ams", group: "rel", replace: "\u22af" }, "\\ntriangleright": { font: "ams", group: "rel", replace: "\u22eb" }, "\\ntrianglerighteq": { font: "ams", group: "rel", replace: "\u22ed" }, "\\nsupseteqq": { font: "ams", group: "rel", replace: "\ue018" }, "\\supsetneq": { font: "ams", group: "rel", replace: "\u228b" }, "\\varsupsetneq": { font: "ams", group: "rel", replace: "\ue01b" }, "\\supsetneqq": { font: "ams", group: "rel", replace: "\u2acc" }, "\\varsupsetneqq": { font: "ams", group: "rel", replace: "\ue019" }, "\\nVdash": { font: "ams", group: "rel", replace: "\u22ae" }, "\\precneqq": { font: "ams", group: "rel", replace: "\u2ab5" }, "\\succneqq": { font: "ams", group: "rel", replace: "\u2ab6" }, "\\nsubseteqq": { font: "ams", group: "rel", replace: "\ue016" }, "\\unlhd": { font: "ams", group: "bin", replace: "\u22b4" }, "\\unrhd": { font: "ams", group: "bin", replace: "\u22b5" }, // AMS Negated Arrows "\\nleftarrow": { font: "ams", group: "rel", replace: "\u219a" }, "\\nrightarrow": { font: "ams", group: "rel", replace: "\u219b" }, "\\nLeftarrow": { font: "ams", group: "rel", replace: "\u21cd" }, "\\nRightarrow": { font: "ams", group: "rel", replace: "\u21cf" }, "\\nleftrightarrow": { font: "ams", group: "rel", replace: "\u21ae" }, "\\nLeftrightarrow": { font: "ams", group: "rel", replace: "\u21ce" }, // AMS Misc "\\vartriangle": { font: "ams", group: "rel", replace: "\u25b3" }, "\\hslash": { font: "ams", group: "textord", replace: "\u210f" }, "\\triangledown": { font: "ams", group: "textord", replace: "\u25bd" }, "\\lozenge": { font: "ams", group: "textord", replace: "\u25ca" }, "\\circledS": { font: "ams", group: "textord", replace: "\u24c8" }, "\\circledR": { font: "ams", group: "textord", replace: "\u00ae" }, "\\measuredangle": { font: "ams", group: "textord", replace: "\u2221" }, "\\nexists": { font: "ams", group: "textord", replace: "\u2204" }, "\\mho": { font: "ams", group: "textord", replace: "\u2127" }, "\\Finv": { font: "ams", group: "textord", replace: "\u2132" }, "\\Game": { font: "ams", group: "textord", replace: "\u2141" }, "\\Bbbk": { font: "ams", group: "textord", replace: "\u006b" }, "\\backprime": { font: "ams", group: "textord", replace: "\u2035" }, "\\blacktriangle": { font: "ams", group: "textord", replace: "\u25b2" }, "\\blacktriangledown": { font: "ams", group: "textord", replace: "\u25bc" }, "\\blacksquare": { font: "ams", group: "textord", replace: "\u25a0" }, "\\blacklozenge": { font: "ams", group: "textord", replace: "\u29eb" }, "\\bigstar": { font: "ams", group: "textord", replace: "\u2605" }, "\\sphericalangle": { font: "ams", group: "textord", replace: "\u2222" }, "\\complement": { font: "ams", group: "textord", replace: "\u2201" }, "\\eth": { font: "ams", group: "textord", replace: "\u00f0" }, "\\diagup": { font: "ams", group: "textord", replace: "\u2571" }, "\\diagdown": { font: "ams", group: "textord", replace: "\u2572" }, "\\square": { font: "ams", group: "textord", replace: "\u25a1" }, "\\Box": { font: "ams", group: "textord", replace: "\u25a1" }, "\\Diamond": { font: "ams", group: "textord", replace: "\u25ca" }, "\\yen": { font: "ams", group: "textord", replace: "\u00a5" }, "\\checkmark": { font: "ams", group: "textord", replace: "\u2713" }, // AMS Hebrew "\\beth": { font: "ams", group: "textord", replace: "\u2136" }, "\\daleth": { font: "ams", group: "textord", replace: "\u2138" }, "\\gimel": { font: "ams", group: "textord", replace: "\u2137" }, // AMS Greek "\\digamma": { font: "ams", group: "textord", replace: "\u03dd" }, "\\varkappa": { font: "ams", group: "textord", replace: "\u03f0" }, // AMS Delimiters "\\ulcorner": { font: "ams", group: "textord", replace: "\u250c" }, "\\urcorner": { font: "ams", group: "textord", replace: "\u2510" }, "\\llcorner": { font: "ams", group: "textord", replace: "\u2514" }, "\\lrcorner": { font: "ams", group: "textord", replace: "\u2518" }, // AMS Binary Relations "\\leqq": { font: "ams", group: "rel", replace: "\u2266" }, "\\leqslant": { font: "ams", group: "rel", replace: "\u2a7d" }, "\\eqslantless": { font: "ams", group: "rel", replace: "\u2a95" }, "\\lesssim": { font: "ams", group: "rel", replace: "\u2272" }, "\\lessapprox": { font: "ams", group: "rel", replace: "\u2a85" }, "\\approxeq": { font: "ams", group: "rel", replace: "\u224a" }, "\\lessdot": { font: "ams", group: "bin", replace: "\u22d6" }, "\\lll": { font: "ams", group: "rel", replace: "\u22d8" }, "\\lessgtr": { font: "ams", group: "rel", replace: "\u2276" }, "\\lesseqgtr": { font: "ams", group: "rel", replace: "\u22da" }, "\\lesseqqgtr": { font: "ams", group: "rel", replace: "\u2a8b" }, "\\doteqdot": { font: "ams", group: "rel", replace: "\u2251" }, "\\risingdotseq": { font: "ams", group: "rel", replace: "\u2253" }, "\\fallingdotseq": { font: "ams", group: "rel", replace: "\u2252" }, "\\backsim": { font: "ams", group: "rel", replace: "\u223d" }, "\\backsimeq": { font: "ams", group: "rel", replace: "\u22cd" }, "\\subseteqq": { font: "ams", group: "rel", replace: "\u2ac5" }, "\\Subset": { font: "ams", group: "rel", replace: "\u22d0" }, "\\sqsubset": { font: "ams", group: "rel", replace: "\u228f" }, "\\preccurlyeq": { font: "ams", group: "rel", replace: "\u227c" }, "\\curlyeqprec": { font: "ams", group: "rel", replace: "\u22de" }, "\\precsim": { font: "ams", group: "rel", replace: "\u227e" }, "\\precapprox": { font: "ams", group: "rel", replace: "\u2ab7" }, "\\vartriangleleft": { font: "ams", group: "rel", replace: "\u22b2" }, "\\trianglelefteq": { font: "ams", group: "rel", replace: "\u22b4" }, "\\vDash": { font: "ams", group: "rel", replace: "\u22a8" }, "\\Vvdash": { font: "ams", group: "rel", replace: "\u22aa" }, "\\smallsmile": { font: "ams", group: "rel", replace: "\u2323" }, "\\smallfrown": { font: "ams", group: "rel", replace: "\u2322" }, "\\bumpeq": { font: "ams", group: "rel", replace: "\u224f" }, "\\Bumpeq": { font: "ams", group: "rel", replace: "\u224e" }, "\\geqq": { font: "ams", group: "rel", replace: "\u2267" }, "\\geqslant": { font: "ams", group: "rel", replace: "\u2a7e" }, "\\eqslantgtr": { font: "ams", group: "rel", replace: "\u2a96" }, "\\gtrsim": { font: "ams", group: "rel", replace: "\u2273" }, "\\gtrapprox": { font: "ams", group: "rel", replace: "\u2a86" }, "\\gtrdot": { font: "ams", group: "bin", replace: "\u22d7" }, "\\ggg": { font: "ams", group: "rel", replace: "\u22d9" }, "\\gtrless": { font: "ams", group: "rel", replace: "\u2277" }, "\\gtreqless": { font: "ams", group: "rel", replace: "\u22db" }, "\\gtreqqless": { font: "ams", group: "rel", replace: "\u2a8c" }, "\\eqcirc": { font: "ams", group: "rel", replace: "\u2256" }, "\\circeq": { font: "ams", group: "rel", replace: "\u2257" }, "\\triangleq": { font: "ams", group: "rel", replace: "\u225c" }, "\\thicksim": { font: "ams", group: "rel", replace: "\u223c" }, "\\thickapprox": { font: "ams", group: "rel", replace: "\u2248" }, "\\supseteqq": { font: "ams", group: "rel", replace: "\u2ac6" }, "\\Supset": { font: "ams", group: "rel", replace: "\u22d1" }, "\\sqsupset": { font: "ams", group: "rel", replace: "\u2290" }, "\\succcurlyeq": { font: "ams", group: "rel", replace: "\u227d" }, "\\curlyeqsucc": { font: "ams", group: "rel", replace: "\u22df" }, "\\succsim": { font: "ams", group: "rel", replace: "\u227f" }, "\\succapprox": { font: "ams", group: "rel", replace: "\u2ab8" }, "\\vartriangleright": { font: "ams", group: "rel", replace: "\u22b3" }, "\\trianglerighteq": { font: "ams", group: "rel", replace: "\u22b5" }, "\\Vdash": { font: "ams", group: "rel", replace: "\u22a9" }, "\\shortmid": { font: "ams", group: "rel", replace: "\u2223" }, "\\shortparallel": { font: "ams", group: "rel", replace: "\u2225" }, "\\between": { font: "ams", group: "rel", replace: "\u226c" }, "\\pitchfork": { font: "ams", group: "rel", replace: "\u22d4" }, "\\varpropto": { font: "ams", group: "rel", replace: "\u221d" }, "\\blacktriangleleft": { font: "ams", group: "rel", replace: "\u25c0" }, "\\therefore": { font: "ams", group: "rel", replace: "\u2234" }, "\\backepsilon": { font: "ams", group: "rel", replace: "\u220d" }, "\\blacktriangleright": { font: "ams", group: "rel", replace: "\u25b6" }, "\\because": { font: "ams", group: "rel", replace: "\u2235" }, "\\llless": { font: "ams", group: "rel", replace: "\u22d8" }, "\\gggtr": { font: "ams", group: "rel", replace: "\u22d9" }, "\\lhd": { font: "ams", group: "bin", replace: "\u22b2" }, "\\rhd": { font: "ams", group: "bin", replace: "\u22b3" }, "\\eqsim": { font: "ams", group: "rel", replace: "\u2242" }, "\\Join": { font: "main", group: "rel", replace: "\u22c8" }, "\\Doteq": { font: "ams", group: "rel", replace: "\u2251" }, // AMS Binary Operators "\\dotplus": { font: "ams", group: "bin", replace: "\u2214" }, "\\smallsetminus": { font: "ams", group: "bin", replace: "\u2216" }, "\\Cap": { font: "ams", group: "bin", replace: "\u22d2" }, "\\Cup": { font: "ams", group: "bin", replace: "\u22d3" }, "\\doublebarwedge": { font: "ams", group: "bin", replace: "\u2a5e" }, "\\boxminus": { font: "ams", group: "bin", replace: "\u229f" }, "\\boxplus": { font: "ams", group: "bin", replace: "\u229e" }, "\\divideontimes": { font: "ams", group: "bin", replace: "\u22c7" }, "\\ltimes": { font: "ams", group: "bin", replace: "\u22c9" }, "\\rtimes": { font: "ams", group: "bin", replace: "\u22ca" }, "\\leftthreetimes": { font: "ams", group: "bin", replace: "\u22cb" }, "\\rightthreetimes": { font: "ams", group: "bin", replace: "\u22cc" }, "\\curlywedge": { font: "ams", group: "bin", replace: "\u22cf" }, "\\curlyvee": { font: "ams", group: "bin", replace: "\u22ce" }, "\\circleddash": { font: "ams", group: "bin", replace: "\u229d" }, "\\circledast": { font: "ams", group: "bin", replace: "\u229b" }, "\\centerdot": { font: "ams", group: "bin", replace: "\u22c5" }, "\\intercal": { font: "ams", group: "bin", replace: "\u22ba" }, "\\doublecap": { font: "ams", group: "bin", replace: "\u22d2" }, "\\doublecup": { font: "ams", group: "bin", replace: "\u22d3" }, "\\boxtimes": { font: "ams", group: "bin", replace: "\u22a0" }, // AMS Arrows "\\dashrightarrow": { font: "ams", group: "rel", replace: "\u21e2" }, "\\dashleftarrow": { font: "ams", group: "rel", replace: "\u21e0" }, "\\leftleftarrows": { font: "ams", group: "rel", replace: "\u21c7" }, "\\leftrightarrows": { font: "ams", group: "rel", replace: "\u21c6" }, "\\Lleftarrow": { font: "ams", group: "rel", replace: "\u21da" }, "\\twoheadleftarrow": { font: "ams", group: "rel", replace: "\u219e" }, "\\leftarrowtail": { font: "ams", group: "rel", replace: "\u21a2" }, "\\looparrowleft": { font: "ams", group: "rel", replace: "\u21ab" }, "\\leftrightharpoons": { font: "ams", group: "rel", replace: "\u21cb" }, "\\curvearrowleft": { font: "ams", group: "rel", replace: "\u21b6" }, "\\circlearrowleft": { font: "ams", group: "rel", replace: "\u21ba" }, "\\Lsh": { font: "ams", group: "rel", replace: "\u21b0" }, "\\upuparrows": { font: "ams", group: "rel", replace: "\u21c8" }, "\\upharpoonleft": { font: "ams", group: "rel", replace: "\u21bf" }, "\\downharpoonleft": { font: "ams", group: "rel", replace: "\u21c3" }, "\\multimap": { font: "ams", group: "rel", replace: "\u22b8" }, "\\leftrightsquigarrow": { font: "ams", group: "rel", replace: "\u21ad" }, "\\rightrightarrows": { font: "ams", group: "rel", replace: "\u21c9" }, "\\rightleftarrows": { font: "ams", group: "rel", replace: "\u21c4" }, "\\twoheadrightarrow": { font: "ams", group: "rel", replace: "\u21a0" }, "\\rightarrowtail": { font: "ams", group: "rel", replace: "\u21a3" }, "\\looparrowright": { font: "ams", group: "rel", replace: "\u21ac" }, "\\curvearrowright": { font: "ams", group: "rel", replace: "\u21b7" }, "\\circlearrowright": { font: "ams", group: "rel", replace: "\u21bb" }, "\\Rsh": { font: "ams", group: "rel", replace: "\u21b1" }, "\\downdownarrows": { font: "ams", group: "rel", replace: "\u21ca" }, "\\upharpoonright": { font: "ams", group: "rel", replace: "\u21be" }, "\\downharpoonright": { font: "ams", group: "rel", replace: "\u21c2" }, "\\rightsquigarrow": { font: "ams", group: "rel", replace: "\u21dd" }, "\\leadsto": { font: "ams", group: "rel", replace: "\u21dd" }, "\\Rrightarrow": { font: "ams", group: "rel", replace: "\u21db" }, "\\restriction": { font: "ams", group: "rel", replace: "\u21be" }, "`": { font: "main", group: "textord", replace: "\u2018" }, "\\$": { font: "main", group: "textord", replace: "$" }, "\\%": { font: "main", group: "textord", replace: "%" }, "\\_": { font: "main", group: "textord", replace: "_" }, "\\angle": { font: "main", group: "textord", replace: "\u2220" }, "\\infty": { font: "main", group: "textord", replace: "\u221e" }, "\\prime": { font: "main", group: "textord", replace: "\u2032" }, "\\triangle": { font: "main", group: "textord", replace: "\u25b3" }, "\\Gamma": { font: "main", group: "textord", replace: "\u0393" }, "\\Delta": { font: "main", group: "textord", replace: "\u0394" }, "\\Theta": { font: "main", group: "textord", replace: "\u0398" }, "\\Lambda": { font: "main", group: "textord", replace: "\u039b" }, "\\Xi": { font: "main", group: "textord", replace: "\u039e" }, "\\Pi": { font: "main", group: "textord", replace: "\u03a0" }, "\\Sigma": { font: "main", group: "textord", replace: "\u03a3" }, "\\Upsilon": { font: "main", group: "textord", replace: "\u03a5" }, "\\Phi": { font: "main", group: "textord", replace: "\u03a6" }, "\\Psi": { font: "main", group: "textord", replace: "\u03a8" }, "\\Omega": { font: "main", group: "textord", replace: "\u03a9" }, "\\neg": { font: "main", group: "textord", replace: "\u00ac" }, "\\lnot": { font: "main", group: "textord", replace: "\u00ac" }, "\\top": { font: "main", group: "textord", replace: "\u22a4" }, "\\bot": { font: "main", group: "textord", replace: "\u22a5" }, "\\emptyset": { font: "main", group: "textord", replace: "\u2205" }, "\\varnothing": { font: "ams", group: "textord", replace: "\u2205" }, "\\alpha": { font: "main", group: "mathord", replace: "\u03b1" }, "\\beta": { font: "main", group: "mathord", replace: "\u03b2" }, "\\gamma": { font: "main", group: "mathord", replace: "\u03b3" }, "\\delta": { font: "main", group: "mathord", replace: "\u03b4" }, "\\epsilon": { font: "main", group: "mathord", replace: "\u03f5" }, "\\zeta": { font: "main", group: "mathord", replace: "\u03b6" }, "\\eta": { font: "main", group: "mathord", replace: "\u03b7" }, "\\theta": { font: "main", group: "mathord", replace: "\u03b8" }, "\\iota": { font: "main", group: "mathord", replace: "\u03b9" }, "\\kappa": { font: "main", group: "mathord", replace: "\u03ba" }, "\\lambda": { font: "main", group: "mathord", replace: "\u03bb" }, "\\mu": { font: "main", group: "mathord", replace: "\u03bc" }, "\\nu": { font: "main", group: "mathord", replace: "\u03bd" }, "\\xi": { font: "main", group: "mathord", replace: "\u03be" }, "\\omicron": { font: "main", group: "mathord", replace: "o" }, "\\pi": { font: "main", group: "mathord", replace: "\u03c0" }, "\\rho": { font: "main", group: "mathord", replace: "\u03c1" }, "\\sigma": { font: "main", group: "mathord", replace: "\u03c3" }, "\\tau": { font: "main", group: "mathord", replace: "\u03c4" }, "\\upsilon": { font: "main", group: "mathord", replace: "\u03c5" }, "\\phi": { font: "main", group: "mathord", replace: "\u03d5" }, "\\chi": { font: "main", group: "mathord", replace: "\u03c7" }, "\\psi": { font: "main", group: "mathord", replace: "\u03c8" }, "\\omega": { font: "main", group: "mathord", replace: "\u03c9" }, "\\varepsilon": { font: "main", group: "mathord", replace: "\u03b5" }, "\\vartheta": { font: "main", group: "mathord", replace: "\u03d1" }, "\\varpi": { font: "main", group: "mathord", replace: "\u03d6" }, "\\varrho": { font: "main", group: "mathord", replace: "\u03f1" }, "\\varsigma": { font: "main", group: "mathord", replace: "\u03c2" }, "\\varphi": { font: "main", group: "mathord", replace: "\u03c6" }, "*": { font: "main", group: "bin", replace: "\u2217" }, "+": { font: "main", group: "bin" }, "-": { font: "main", group: "bin", replace: "\u2212" }, "\\cdot": { font: "main", group: "bin", replace: "\u22c5" }, "\\circ": { font: "main", group: "bin", replace: "\u2218" }, "\\div": { font: "main", group: "bin", replace: "\u00f7" }, "\\pm": { font: "main", group: "bin", replace: "\u00b1" }, "\\times": { font: "main", group: "bin", replace: "\u00d7" }, "\\cap": { font: "main", group: "bin", replace: "\u2229" }, "\\cup": { font: "main", group: "bin", replace: "\u222a" }, "\\setminus": { font: "main", group: "bin", replace: "\u2216" }, "\\land": { font: "main", group: "bin", replace: "\u2227" }, "\\lor": { font: "main", group: "bin", replace: "\u2228" }, "\\wedge": { font: "main", group: "bin", replace: "\u2227" }, "\\vee": { font: "main", group: "bin", replace: "\u2228" }, "\\surd": { font: "main", group: "textord", replace: "\u221a" }, "(": { font: "main", group: "open" }, "[": { font: "main", group: "open" }, "\\langle": { font: "main", group: "open", replace: "\u27e8" }, "\\lvert": { font: "main", group: "open", replace: "\u2223" }, ")": { font: "main", group: "close" }, "]": { font: "main", group: "close" }, "?": { font: "main", group: "close" }, "!": { font: "main", group: "close" }, "\\rangle": { font: "main", group: "close", replace: "\u27e9" }, "\\rvert": { font: "main", group: "close", replace: "\u2223" }, "=": { font: "main", group: "rel" }, "<": { font: "main", group: "rel" }, ">": { font: "main", group: "rel" }, ":": { font: "main", group: "rel" }, "\\approx": { font: "main", group: "rel", replace: "\u2248" }, "\\cong": { font: "main", group: "rel", replace: "\u2245" }, "\\ge": { font: "main", group: "rel", replace: "\u2265" }, "\\geq": { font: "main", group: "rel", replace: "\u2265" }, "\\gets": { font: "main", group: "rel", replace: "\u2190" }, "\\in": { font: "main", group: "rel", replace: "\u2208" }, "\\notin": { font: "main", group: "rel", replace: "\u2209" }, "\\subset": { font: "main", group: "rel", replace: "\u2282" }, "\\supset": { font: "main", group: "rel", replace: "\u2283" }, "\\subseteq": { font: "main", group: "rel", replace: "\u2286" }, "\\supseteq": { font: "main", group: "rel", replace: "\u2287" }, "\\nsubseteq": { font: "ams", group: "rel", replace: "\u2288" }, "\\nsupseteq": { font: "ams", group: "rel", replace: "\u2289" }, "\\models": { font: "main", group: "rel", replace: "\u22a8" }, "\\leftarrow": { font: "main", group: "rel", replace: "\u2190" }, "\\le": { font: "main", group: "rel", replace: "\u2264" }, "\\leq": { font: "main", group: "rel", replace: "\u2264" }, "\\ne": { font: "main", group: "rel", replace: "\u2260" }, "\\neq": { font: "main", group: "rel", replace: "\u2260" }, "\\rightarrow": { font: "main", group: "rel", replace: "\u2192" }, "\\to": { font: "main", group: "rel", replace: "\u2192" }, "\\ngeq": { font: "ams", group: "rel", replace: "\u2271" }, "\\nleq": { font: "ams", group: "rel", replace: "\u2270" }, "\\!": { font: "main", group: "spacing" }, "\\ ": { font: "main", group: "spacing", replace: "\u00a0" }, "~": { font: "main", group: "spacing", replace: "\u00a0" }, "\\,": { font: "main", group: "spacing" }, "\\:": { font: "main", group: "spacing" }, "\\;": { font: "main", group: "spacing" }, "\\enspace": { font: "main", group: "spacing" }, "\\qquad": { font: "main", group: "spacing" }, "\\quad": { font: "main", group: "spacing" }, "\\space": { font: "main", group: "spacing", replace: "\u00a0" }, ",": { font: "main", group: "punct" }, ";": { font: "main", group: "punct" }, "\\colon": { font: "main", group: "punct", replace: ":" }, "\\barwedge": { font: "ams", group: "textord", replace: "\u22bc" }, "\\veebar": { font: "ams", group: "textord", replace: "\u22bb" }, "\\odot": { font: "main", group: "bin", replace: "\u2299" }, "\\oplus": { font: "main", group: "bin", replace: "\u2295" }, "\\otimes": { font: "main", group: "bin", replace: "\u2297" }, "\\partial":{ font: "main", group: "textord", replace: "\u2202" }, "\\oslash": { font: "main", group: "bin", replace: "\u2298" }, "\\circledcirc": { font: "ams", group: "textord", replace: "\u229a" }, "\\boxdot": { font: "ams", group: "textord", replace: "\u22a1" }, "\\bigtriangleup": { font: "main", group: "bin", replace: "\u25b3" }, "\\bigtriangledown": { font: "main", group: "bin", replace: "\u25bd" }, "\\dagger": { font: "main", group: "bin", replace: "\u2020" }, "\\diamond": { font: "main", group: "bin", replace: "\u22c4" }, "\\star": { font: "main", group: "bin", replace: "\u22c6" }, "\\triangleleft": { font: "main", group: "bin", replace: "\u25c3" }, "\\triangleright": { font: "main", group: "bin", replace: "\u25b9" }, "\\{": { font: "main", group: "open", replace: "{" }, "\\}": { font: "main", group: "close", replace: "}" }, "\\lbrace": { font: "main", group: "open", replace: "{" }, "\\rbrace": { font: "main", group: "close", replace: "}" }, "\\lbrack": { font: "main", group: "open", replace: "[" }, "\\rbrack": { font: "main", group: "close", replace: "]" }, "\\lfloor": { font: "main", group: "open", replace: "\u230a" }, "\\rfloor": { font: "main", group: "close", replace: "\u230b" }, "\\lceil": { font: "main", group: "open", replace: "\u2308" }, "\\rceil": { font: "main", group: "close", replace: "\u2309" }, "\\backslash": { font: "main", group: "textord", replace: "\\" }, "|": { font: "main", group: "textord", replace: "\u2223" }, "\\vert": { font: "main", group: "textord", replace: "\u2223" }, "\\|": { font: "main", group: "textord", replace: "\u2225" }, "\\Vert": { font: "main", group: "textord", replace: "\u2225" }, "\\uparrow": { font: "main", group: "textord", replace: "\u2191" }, "\\Uparrow": { font: "main", group: "textord", replace: "\u21d1" }, "\\downarrow": { font: "main", group: "textord", replace: "\u2193" }, "\\Downarrow": { font: "main", group: "textord", replace: "\u21d3" }, "\\updownarrow": { font: "main", group: "textord", replace: "\u2195" }, "\\Updownarrow": { font: "main", group: "textord", replace: "\u21d5" }, "\\coprod": { font: "math", group: "op", replace: "\u2210" }, "\\bigvee": { font: "math", group: "op", replace: "\u22c1" }, "\\bigwedge": { font: "math", group: "op", replace: "\u22c0" }, "\\biguplus": { font: "math", group: "op", replace: "\u2a04" }, "\\bigcap": { font: "math", group: "op", replace: "\u22c2" }, "\\bigcup": { font: "math", group: "op", replace: "\u22c3" }, "\\int": { font: "math", group: "op", replace: "\u222b" }, "\\intop": { font: "math", group: "op", replace: "\u222b" }, "\\iint": { font: "math", group: "op", replace: "\u222c" }, "\\iiint": { font: "math", group: "op", replace: "\u222d" }, "\\prod": { font: "math", group: "op", replace: "\u220f" }, "\\sum": { font: "math", group: "op", replace: "\u2211" }, "\\bigotimes": { font: "math", group: "op", replace: "\u2a02" }, "\\bigoplus": { font: "math", group: "op", replace: "\u2a01" }, "\\bigodot": { font: "math", group: "op", replace: "\u2a00" }, "\\oint": { font: "math", group: "op", replace: "\u222e" }, "\\bigsqcup": { font: "math", group: "op", replace: "\u2a06" }, "\\smallint": { font: "math", group: "op", replace: "\u222b" }, "\\ldots": { font: "main", group: "punct", replace: "\u2026" }, "\\cdots": { font: "main", group: "inner", replace: "\u22ef" }, "\\ddots": { font: "main", group: "inner", replace: "\u22f1" }, "\\vdots": { font: "main", group: "textord", replace: "\u22ee" }, "\\acute": { font: "main", group: "accent", replace: "\u00b4" }, "\\grave": { font: "main", group: "accent", replace: "\u0060" }, "\\ddot": { font: "main", group: "accent", replace: "\u00a8" }, "\\tilde": { font: "main", group: "accent", replace: "\u007e" }, "\\bar": { font: "main", group: "accent", replace: "\u00af" }, "\\breve": { font: "main", group: "accent", replace: "\u02d8" }, "\\check": { font: "main", group: "accent", replace: "\u02c7" }, "\\hat": { font: "main", group: "accent", replace: "\u005e" }, "\\vec": { font: "main", group: "accent", replace: "\u20d7" }, "\\dot": { font: "main", group: "accent", replace: "\u02d9" } }, "text": { "\\ ": { font: "main", group: "spacing", replace: "\u00a0" }, " ": { font: "main", group: "spacing", replace: "\u00a0" }, "~": { font: "main", group: "spacing", replace: "\u00a0" } } }; // There are lots of symbols which are the same, so we add them in afterwards. // All of these are textords in math mode var mathTextSymbols = "0123456789/@.\""; for (var i = 0; i < mathTextSymbols.length; i++) { var ch = mathTextSymbols.charAt(i); symbols.math[ch] = { font: "main", group: "textord" }; } // All of these are textords in text mode var textSymbols = "0123456789`!@*()-=+[]'\";:?/.,"; for (var i = 0; i < textSymbols.length; i++) { var ch = textSymbols.charAt(i); symbols.text[ch] = { font: "main", group: "textord" }; } // All of these are textords in text mode, and mathords in math mode var letters = "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ"; for (var i = 0; i < letters.length; i++) { var ch = letters.charAt(i); symbols.math[ch] = { font: "main", group: "mathord" }; symbols.text[ch] = { font: "main", group: "textord" }; } module.exports = symbols;