mathy-unicode-characters
Version:
JavaScript / TypeScript utility to translate mathy Unicode characters to and from LaTeX, Mathematica, Wolfram, Elsevier Grid, etc.
227 lines (226 loc) • 5.02 kB
TypeScript
export declare const unicode2ieee: {
"U021C0": string;
"U02249": string;
"U0224D": string;
"U022E3": string;
"U021C1": string;
"U022E2": string;
"U02250": string;
"U02016": string;
"U02135": string;
"U022EF": string;
"U022EE": string;
"U021CC": string;
"U0007B": string;
"U021D1": string;
"U0007C": string;
"U021D0": string;
"U022F1": string;
"U021D5": string;
"U021D4": string;
"U0007D": string;
"U021D3": string;
"U021D2": string;
"U02020": string;
"U02262": string;
"U02261": string;
"U02260": string;
"U02A3F": string;
"U02026": string;
"U02265": string;
"U02264": string;
"U02021": string;
"U02A00": string;
"U02A01": string;
"U02A02": string;
"U02229": string;
"U02228": string;
"U02A04": string;
"U02227": string;
"U021A6": string;
"U0222E": string;
"U022C6": string;
"U022C5": string;
"U0222B": string;
"U022C3": string;
"U0222A": string;
"U022C2": string;
"U022C1": string;
"U022C0": string;
"U021A9": string;
"U0210F": string;
"U022C8": string;
"U02A06": string;
"U02113": string;
"U02111": string;
"U021AA": string;
"U02118": string;
"U02AAF": string;
"U000F7": string;
"U0211C": string;
"U0005D": string;
"U0223C": string;
"U0005B": string;
"U0005C": string;
"U02240": string;
"U02AB0": string;
"U02248": string;
"U02247": string;
"U021BD": string;
"U02245": string;
"U021BC": string;
"U02244": string;
"U02243": string;
"U02241": string;
"U02209": string;
"U02208": string;
"U02207": string;
"U0002E": string;
"U022A5": string;
"U022A4": string;
"U0220B": string;
"U022A3": string;
"U022A2": string;
"U022A8": string;
"U0220F": string;
"U02213": string;
"U00398": string;
"U02211": string;
"U02210": string;
"U00393": string;
"U00394": string;
"U0039B": string;
"U02218": string;
"U02217": string;
"U02216": string;
"U000D7": string;
"U0221E": string;
"U0221D": string;
"U0039E": string;
"U0221A": string;
"U0003A": string;
"U02225": string;
"U02223": string;
"U02220": string;
"U02309": string;
"U02308": string;
"U0266F": string;
"U0230B": string;
"U0266E": string;
"U0230A": string;
"U0266D": string;
"U02AB0-00338": string;
"U000AC": string;
"U00131": string;
"U000B1": string;
"U023B1": string;
"U023B0": string;
"U000B7": string;
"U02203": string;
"U02202": string;
"U02323": string;
"U02322": string;
"U02200": string;
"U02AAF-00338": string;
"U025BD": string;
"U025C3": string;
"U025CB": string;
"U025CA": string;
"U003F5": string;
"U003F1": string;
"U02663": string;
"U02662": string;
"U02661": string;
"U02660": string;
"U003BD": string;
"U003BE": string;
"U003C3": string;
"U003C4": string;
"U003C1": string;
"U003C2": string;
"U003C0": string;
"U02196": string;
"U02195": string;
"U003C9": string;
"U02194": string;
"U02193": string;
"U003C7": string;
"U02192": string;
"U003C8": string;
"U02191": string;
"U003C5": string;
"U02190": string;
"U003C6": string;
"U02199": string;
"U02198": string;
"U02197": string;
"U025B3": string;
"U027F5": string;
"U003D5": string;
"U003D2": string;
"U003D1": string;
"U025B9": string;
"U027F9": string;
"U027F8": string;
"U003D6": string;
"U027F7": string;
"U027F6": string;
"U027FC": string;
"U027FA": string;
"U00308": string;
"U00306": string;
"U00307": string;
"U00304": string;
"U00302": string;
"U00303": string;
"U003A0": string;
"U0FE38": string;
"U0228E": string;
"U0FE37": string;
"U003A9": string;
"U02295": string;
"U02294": string;
"U02293": string;
"U003A8": string;
"U02292": string;
"U02291": string;
"U003A6": string;
"U003A3": string;
"U0030C": string;
"U02299": string;
"U02298": string;
"U02297": string;
"U02296": string;
"U003B2": string;
"U003B3": string;
"U003B1": string;
"U003B8": string;
"U003B9": string;
"U003B6": string;
"U003B7": string;
"U003B4": string;
"U003B5": string;
"U003BB": string;
"U003BC": string;
"U003BA": string;
"U0226B": string;
"U0226A": string;
"U02271": string;
"U02270": string;
"U02032": string;
"U0227B": string;
"U0227A": string;
"U02284": string;
"U02283": string;
"U02282": string;
"U02281": string;
"U02280": string;
"U00300": string;
"U00301": string;
"U02289": string;
"U02288": string;
"U02287": string;
"U02286": string;
"U02285": string;
};
export declare type Unicode2ieee = keyof typeof unicode2ieee;