Skip to content

Instantly share code, notes, and snippets.

@bhgomes

bhgomes/lean-abbreviations.json

Created January 28, 2021 20:36
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save bhgomes/6f5cfc2d3a223dd672bf17a54b9108c3 to your computer and use it in GitHub Desktop.
Save bhgomes/6f5cfc2d3a223dd672bf17a54b9108c3 to your computer and use it in GitHub Desktop.
Download ZIP
Lean Abbreviations
Raw
lean-abbreviations.json
{
"{}": "{$CURSOR}",
"{}_": "{$CURSOR}_",
"{{}}": "โฆƒ$CURSORโฆ„",
"[]": "[$CURSOR]",
"[]_": "[$CURSOR]_",
"[[]]": "โŸฆ$CURSORโŸง",
"<>": "โŸจ$CURSORโŸฉ",
"()": "($CURSOR)",
"()_": "($CURSOR)_",
"([])'": "โŸฎ$CURSORโŸฏ",
"f<>": "โ€น$CURSORโ€บ",
"f<<>>": "ยซ$CURSORยป",
"[--]": "โ…$CURSORโ†",
"\\": "\\",
"a": "ฮฑ",
"b": "ฮฒ",
"c": "ฯ‡",
"d": "โ†“",
"e": "ฮต",
"g": "ฮณ",
"i": "โˆฉ",
"m": "ฮผ",
"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": "โ„ค",
"#": "โ™ฏ",
":": "โˆถ",
"|": "โˆฃ",
"!": "ยก",
"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": "ร„",
"cC": "ร‡",
"`E": "รˆ",
"'E": "ร‰",
"^{E}": "รŠ",
"\"E": "ร‹",
"`I": "รŒ",
"'I": "ร",
"^{I}": "รŽ",
"\"I": "ร",
"~N": "ร‘",
"`O": "ร’",
"'O": "ร“",
"^{O}": "ร”",
"~O": "ร•",
"\"O": "ร–",
"/O": "ร˜",
"`U": "ร™",
"'U": "รš",
"^{U}": "ร›",
"\"U": "รœ",
"'Y": "ร",
"`a": "ร ",
"'a": "รก",
"^{a}": "รข",
"~a": "รฃ",
"\"a": "รค",
"cc": "รง",
"`e": "รจ",
"'e": "รฉ",
"^{e}": "รช",
"\"e": "รซ",
"`i": "รฌ",
"'i": "รญ",
"^{i}": "รฎ",
"\"i": "รฏ",
"~{n}": "รฑ",
"`o": "รฒ",
"'o": "รณ",
"^{o}": "รด",
"~o": "รต",
"\"o": "รถ",
"/o": "รธ",
"`u": "รน",
"'u": "รบ",
"^{u}": "รป",
"\"u": "รผ",
"'y": "รฝ",
"\"y": "รฟ",
"/L": "ล",
"notin": "โˆ‰",
"note": "โ™ฉ",
"not": "ยฌ",
"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": "โˆค",
"nshortparallel": "โˆฆ",
"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": "โˆซ",
"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": "โˆŸ",
"angstrom": "ร…",
"all": "โˆ€",
"allf": "โˆ€แถ ",
"all^f": "โˆ€แถ ",
"allm": "โˆ€แต",
"all^m": "โˆ€แต",
"alpha": "ฮฑ",
"aleph": "โ„ต",
"asterisk": "โŽ",
"ast": "โˆ—",
"asymp": "โ‰",
"apl": "โŒถ",
"approxeq": "โ‰Š",
"approx": "โ‰ˆ",
"aa": "รฅ",
"ae": "รฆ",
"austral": "โ‚ณ",
"afghani": "ุ‹",
"amalg": "โˆ",
"or=": "โ‰š",
"ordfeminine": "ยช",
"ordmasculine": "ยบ",
"or": "โˆจ",
"oplus": "โŠ•",
"op": "แต’แต–",
"o+": "โŠ•",
"o--": "โŠ–",
"o-": "โŠ",
"ox": "โŠ—",
"o/": "โŠ˜",
"o.": "โŠ™",
"oo": "โŠš",
"o*": "โˆ˜*",
"o=": "โŠœ",
"oe": "ล“",
"octagonal": "๐Ÿ›‘",
"ohm": "ฮฉ",
"ounce": "โ„ฅ",
"omega": "ฯ‰",
"omicron": "ฮฟ",
"ominus": "โŠ–",
"odot": "โŠ™",
"oint": "โˆฎ",
"oslash": "โŠ˜",
"otimes": "โŠ—",
"*=": "โ‰›",
"t=": "โ‰œ",
"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": "โ†’โ‚—",
"tom": "โ†’โ‚˜",
"rm": "โ†’โ‚˜",
"to_m": "โ†’โ‚˜",
"r_m": "โ†’โ‚˜",
"aeeqfun": "โ†’โ‚˜",
"rp": "โ†’โ‚š",
"to_p": "โ†’โ‚š",
"r_p": "โ†’โ‚š",
"dfinsupp": "โ†’โ‚š",
"tos": "โ†’โ‚›",
"rs": "โ†’โ‚›",
"to_s": "โ†’โ‚›",
"r_s": "โ†’โ‚›",
"simplefunc": "โ†’โ‚›",
"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": "รฐ",
"m=": "โ‰ž",
"meet": "โŠ“",
"member": "โˆˆ",
"mem": "โˆˆ",
"measuredangle": "โˆก",
"male": "โ™‚",
"maltese": "โœ ",
"manat": "โ‚ผ",
"mapsto": "โ†ฆ",
"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": "ฯ†",
"8<": "โœ‚",
"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": "โŒŠ",
"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": "โ‡Ž",
"<=>": "โ‡”",
"<=": "โ‰ค",
"<n": "โ‰ฎ",
"<~nn": "โ‰ด",
"<~n": "โ‹ฆ",
"<~": "โ‰ฒ",
"<->n": "โ†ฎ",
"<->": "โ†”",
"<-->": "โŸท",
"<--": "โŸต",
"<-n": "โ†š",
"<-": "โ†",
"<<": "โŸช",
">=n": "โ‰ฑ",
">=": "โ‰ฅ",
">n": "โ‰ฏ",
">~nn": "โ‰ต",
">~n": "โ‹ง",
">~": "โ‰ณ",
">>": "โŸซ",
"root": "โˆš",
"ssubn": "โŠ„",
"ssub": "โŠ‚",
"ssupn": "โŠ…",
"ssup": "โŠƒ",
"ssqub": "โŠ",
"ssqup": "โŠ",
"ss": "โŠ†",
"subn": "โŠˆ",
"subseteqq": "โŠ†",
"subseteq": "โŠ†",
"subsetneqq": "โŠŠ",
"subsetneq": "โŠŠ",
"subset": "โŠ‚",
"sub": "โŠ†",
"supn": "โŠ‰",
"supseteqq": "โŠ‡",
"supseteq": "โŠ‡",
"supsetneqq": "โŠ‹",
"supsetneq": "โŠ‹",
"supset": "โŠƒ",
"sup": "โŠ”",
"supr": "โจ†",
"surd3": "โˆ›",
"surd4": "โˆœ",
"surd": "โˆš",
"succapprox": "โ‰ฟ",
"succcurlyeq": "โ‰ฝ",
"succeq": "โ‰ฝ",
"succnapprox": "โ‹ฉ",
"succnsim": "โ‹ฉ",
"succsim": "โ‰ฟ",
"succ": "โ‰ป",
"sum": "โˆ‘",
"squbn": "โ‹ข",
"squb": "โŠ‘",
"squpn": "โ‹ฃ",
"squp": "โŠ’",
"square": "โ–ก",
"squigarrowright": "โ‡",
"sqb": "โ– ",
"sqw": "โ–ก",
"sq.": "โ–ฃ",
"sqo": "โ–ข",
"sqcap": "โŠ“",
"sqcup": "โŠ”",
"sqrt": "โˆš",
"sqsubseteq": "โŠ‘",
"sqsubset": "โŠ",
"sqsupseteq": "โŠ’",
"sqsupset": "โŠ",
"sq": "โ—พ",
"sy": "โปยน",
"st4": "โœฆ",
"st6": "โœถ",
"st8": "โœด",
"st12": "โœน",
"stigma": "ฯ›",
"star": "โ‹†",
"straightphi": "ฯ†",
"st": "โ‹†",
"spesmilo": "โ‚ท",
"spadesuit": "โ™ ",
"sphericalangle": "โˆข",
"section": "ยง",
"searrow": "โ†˜",
"setminus": "โˆ–",
"san": "ฯป",
"sampi": "ฯก",
"shortmid": "โˆฃ",
"shortparallel": "โˆฅ",
"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+": "โจ",
"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": "โŠฏ",
"||=": "โŠซ",
"|||-": "โŠช",
"||n": "โˆฆ",
"||": "โˆฅ",
"|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": "โ€ƒ",
"+ ": "โŠน",
"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": "โ˜ฃ",
"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": "โ˜ข",
"rangle": "โŸฉ",
"rq": "โ€™",
"rial": "๏ทผ",
"rightarrowtail": "โ†ฃ",
"rightarrow": "โ†’",
"rightharpoondown": "โ‡",
"rightharpoonup": "โ‡€",
"rightleftarrows": "โ‡„",
"rightleftharpoons": "โ‡Œ",
"rightrightarrows": "โ‡‰",
"rightthreetimes": "โ‹Œ",
"risingdotseq": "โ‰“",
"ruble": "โ‚ฝ",
"rupee": "โ‚จ",
"rho": "ฯ",
"rhd": "โ–ท",
"rceil": "โŒ‰",
"rfloor": "โŒ‹",
"rtimes": "โ‹Š",
"rdq": "โ€",
"rdata": "ใ€‹",
"functor": "โฅค",
"fun": "ฮป",
"f<<": "ยซ",
"f<": "โ€น",
"f>>": "ยป",
"f>": "โ€บ",
"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": "ฯ—",
"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": "โ„ค",
"bbk": "๐•œ",
"Rge0": "โ„โ‰ฅ0",
"R>=0": "โ„โ‰ฅ0",
"nnreal": "โ„โ‰ฅ0",
"Zsqrt": "โ„คโˆš",
"zsqrtd": "โ„คโˆš",
"liel": "โ…",
"[-": "โ…",
"bracketl": "โ…",
"lier": "โ†",
"-]": "โ†",
"bracketr": "โ†",
"nhds": "๐“",
"nbhds": "๐“",
"X": "โจฏ",
"vectorproduct": "โจฏ",
"crossproduct": "โจฏ",
"coprod": "โจฟ",
"sigmaobj": "โˆ",
"xf": "ร—แถ ",
"exf": "โˆƒแถ ",
"c[": "โฆƒ",
"c]": "โฆ„",
"Yot": "อฟ",
"goal": "โŠข",
"Vdash": "โŠฉ",
"Vert": "โ€–",
"Vvdash": "โŠช"
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment