prefix: { '\u2018': [0,0,TEXCLASS.OPEN,{fence: true}], // left single quotation mark '\u201C': [0,0,TEXCLASS.OPEN,{fence: true}], // left double quotation mark '\u2111': ORD11, // black-letter capital i '\u2113': ORD11, // script small l '\u211C': ORD11, // black-letter capital r '\u2145': ORD21, // double-struck italic capital d '\u2146': [2,0,TEXCLASS.ORD], // double-struck italic small d '\u2147': ORD, // double-struck italic small e '\u2148': ORD, // double-struck italic small i '\u2149': ORD, // double-struck italic small j '\u2200': ORD21, // for all '\u2202': ORD21, // partial differential '\u2203': ORD21, // there exists '\u2204': ORD21, // there does not exist '\u2207': ORD21, // nabla '\u220F': OP, // n-ary product '\u2210': OP, // n-ary coproduct '\u2211': OP, // n-ary summation '\u2212': BIN01, // minus sign '\u2213': BIN01, // minus-or-plus sign '\u221A': [1,1,TEXCLASS.ORD,{stretchy: true}], // square root '\u221B': ORD11, // cube root '\u221C': ORD11, // fourth root '\u2220': ORD, // angle '\u2221': ORD, // measured angle '\u2222': ORD, // spherical angle '\u222B': INTEGRAL, // integral '\u222C': INTEGRAL, // double integral '\u222D': INTEGRAL, // triple integral '\u222E': INTEGRAL, // contour integral '\u222F': INTEGRAL, // surface integral '\u2230': INTEGRAL, // volume integral '\u2231': INTEGRAL, // clockwise integral '\u2232': INTEGRAL, // clockwise contour integral '\u2233': INTEGRAL, // anticlockwise contour integral '\u22C0': OP, // n-ary logical and '\u22C1': OP, // n-ary logical or '\u22C2': OP, // n-ary intersection '\u22C3': OP, // n-ary union '\u2308': OPEN, // left ceiling '\u230A': OPEN, // left floor '\u27E6': OPEN, // mathematical left white square bracket '\u27E8': OPEN, // mathematical left angle bracket '\u2983': OPEN, // left white curly bracket '\u2985': OPEN, // left white parenthesis '\u2987': OPEN, // z notation left image bracket '\u2989': OPEN, // z notation left binding bracket '\u298B': OPEN, // left square bracket with underbar '\u298D': OPEN, // left square bracket with tick in top corner '\u298F': OPEN, // left square bracket with tick in bottom corner '\u2991': OPEN, // left angle bracket with dot '\u2993': OPEN, // left arc less-than bracket '\u2995': OPEN, // double left arc greater-than bracket '\u2997': OPEN, // left black tortoise shell bracket '\u29FC': OPEN, // left-pointing curved angle bracket '\u2A00': OP, // n-ary circled dot operator '\u2A01': OP, // n-ary circled plus operator '\u2A02': OP, // n-ary circled times operator '\u2A03': OP, // n-ary union operator with dot '\u2A04': OP, // n-ary union operator with plus '\u2A05': OP, // n-ary square intersection operator '\u2A06': OP, // n-ary square union operator '\u2A07': OP, // two logical and operator '\u2A08': OP, // two logical or operator '\u2A09': OP, // n-ary times operator '\u2A0A': OP, // modulo two sum '\u2A0B': INTEGRAL2, // summation with integral '\u2A0C': INTEGRAL, // quadruple integral operator '\u2A0D': INTEGRAL2, // finite part integral '\u2A0E': INTEGRAL2, // integral with double stroke '\u2A0F': INTEGRAL2, // integral average with slash '\u2A10': OP, // circulation function '\u2A11': OP, // anticlockwise integration '\u2A12': OP, // line integration with rectangular path around pole '\u2A13': OP, // line integration with semicircular path around pole '\u2A14': OP, // line integration not including the pole '\u2A15': INTEGRAL2, // integral around a point operator '\u2A16': INTEGRAL2, // quaternion integral operator '\u2A17': INTEGRAL2, // integral with leftwards arrow with hook '\u2A18': INTEGRAL2, // integral with times sign '\u2A19': INTEGRAL2, // integral with intersection '\u2A1A': INTEGRAL2, // integral with union '\u2A1B': INTEGRAL2, // integral with overbar '\u2A1C': INTEGRAL2, // integral with underbar '\u2AFC': OP, // large triple vertical bar operator '\u2AFF': OP, // n-ary white vertical bar '\u03C3': ORD11, // greek small letter sigma '\u00AC': ORD21, // not sign '\u00B1': BIN01, // plus-minus sign '(': OPEN, // left parenthesis '+': BIN01, // plus sign '-': BIN01, // hyphen-minus '[': OPEN, // left square bracket 'min': [1,3,TEXCLASS.ORD], // multiple character operator: "min" '{': OPEN, // left curly bracket }, postfix: { '!': [1,0,TEXCLASS.CLOSE], // exclamation mark '!!': [1,0,TEXCLASS.BIN], // multiple character operator: !! '&': ORD, // ampersand '\u2019': [0,0,TEXCLASS.CLOSE,{fence: true}], // right single quotation mark '\u201D': [0,0,TEXCLASS.CLOSE,{fence: true}], // right double quotation mark '\u2032': ORD02, // prime '\u203E': WIDEACCENT, // overline '\u20DB': ACCENT, // combining three dots above '\u2309': CLOSE, // right ceiling '\u230B': CLOSE, // right floor '\u23B4': WIDEACCENT, // top square bracket '\u23B5': WIDEACCENT, // bottom square bracket '\u23DC': WIDEACCENT, // top parenthesis '\u23DD': WIDEACCENT, // bottom parenthesis '\u23DE': WIDEACCENT, // top curly bracket '\u23DF': WIDEACCENT, // bottom curly bracket '\u266D': ORD02, // music flat sign '\u266E': ORD02, // music natural sign '\u266F': ORD02, // music sharp sign '\u27E7': CLOSE, // mathematical right white square bracket '\u27E9': CLOSE, // mathematical right angle bracket '\u2984': CLOSE, // right white curly bracket '\u2986': CLOSE, // right white parenthesis '\u2988': CLOSE, // z notation right image bracket '\u298A': CLOSE, // z notation right binding bracket '\u298C': CLOSE, // right square bracket with underbar '\u298E': CLOSE, // right square bracket with tick in bottom corner '\u2990': CLOSE, // right square bracket with tick in top corner '\u2992': CLOSE, // right angle bracket with dot '\u2994': CLOSE, // right arc greater-than bracket '\u2996': CLOSE, // double right arc less-than bracket '\u2998': CLOSE, // right black tortoise shell bracket '\u29FD': CLOSE, // right-pointing curved angle bracket '\u02C6': WIDEACCENT, // modifier letter circumflex accent '\u02C7': WIDEACCENT, // caron '\u02D8': ACCENT, // breve '\u02D9': ACCENT, // dot above '\u02DA': ACCENT, // ring above '\u02DC': WIDEACCENT, // small tilde '\u02DD': ACCENT, // double acute accent '\u0302': ACCENT, // combining circumflex accent '\u0311': ACCENT, // combining inverted breve '\u00A8': ACCENT, // diaeresis '\u00AF': WIDEACCENT, // macron '\u00B0': ORD, // degree sign '\u00B4': ACCENT, // acute accent '\u00B8': ACCENT, // cedilla '\'': ACCENT, // apostrophe ')': CLOSE, // right parenthesis '++': [0,0,TEXCLASS.BIN], // multiple character operator: ++ '--': [0,0,TEXCLASS.BIN], // multiple character operator: -- '..': [0,0,TEXCLASS.BIN], // multiple character operator: .. '...': ORD, // multiple character operator: ... ']': CLOSE, // right square bracket '^': WIDEACCENT, // circumflex accent '_': WIDEACCENT, // low line '`': ACCENT, // grave accent '}': CLOSE, // right curly bracket '~': WIDEACCENT, // tilde }, infix: { '!=': BIN4, // multiple character operator: != '%': [3,3,TEXCLASS.ORD], // percent sign '\u2022': BIN4, // bullet '\u2026': INNER, // horizontal ellipsis '\u2044': TALLBIN, // fraction slash '\u2061': ORD, // function application '\u2062': ORD, // invisible times '\u2063': [0,0,TEXCLASS.ORD,{separator: true}], // invisible separator '\u2064': ORD, // invisible plus '\u2190': RELACCENT, // leftwards arrow '\u2191': WIDEREL, // upwards arrow '\u2192': RELACCENT, // rightwards arrow '\u2193': WIDEREL, // downwards arrow '\u2194': RELACCENT, // left right arrow '\u2195': WIDEREL, // up down arrow '\u2196': WIDEREL, // north west arrow '\u2197': WIDEREL, // north east arrow '\u2198': WIDEREL, // south east arrow '\u2199': WIDEREL, // south west arrow '\u219A': REL, // leftwards arrow with stroke '\u219B': REL, // rightwards arrow with stroke '\u219C': WIDEREL, // leftwards wave arrow '\u219D': WIDEREL, // rightwards wave arrow '\u219E': WIDEREL, // leftwards two headed arrow '\u219F': WIDEREL, // upwards two headed arrow '\u21A0': WIDEREL, // rightwards two headed arrow '\u21A1': WIDEREL, // downwards two headed arrow '\u21A2': WIDEREL, // leftwards arrow with tail '\u21A3': WIDEREL, // rightwards arrow with tail '\u21A4': WIDEREL, // leftwards arrow from bar '\u21A5': WIDEREL, // upwards arrow from bar '\u21A6': WIDEREL, // rightwards arrow from bar '\u21A7': WIDEREL, // downwards arrow from bar '\u21A8': WIDEREL, // up down arrow with base '\u21A9': WIDEREL, // leftwards arrow with hook '\u21AA': WIDEREL, // rightwards arrow with hook '\u21AB': WIDEREL, // leftwards arrow with loop '\u21AC': WIDEREL, // rightwards arrow with loop '\u21AD': WIDEREL, // left right wave arrow '\u21AE': REL, // left right arrow with stroke '\u21AF': WIDEREL, // downwards zigzag arrow '\u21B0': WIDEREL, // upwards arrow with tip leftwards '\u21B1': WIDEREL, // upwards arrow with tip rightwards '\u21B2': WIDEREL, // downwards arrow with tip leftwards '\u21B3': WIDEREL, // downwards arrow with tip rightwards '\u21B4': WIDEREL, // rightwards arrow with corner downwards '\u21B5': WIDEREL, // downwards arrow with corner leftwards '\u21B6': REL, // anticlockwise top semicircle arrow '\u21B7': REL, // clockwise top semicircle arrow '\u21B8': REL, // north west arrow to long bar '\u21B9': WIDEREL, // leftwards arrow to bar over rightwards arrow to bar '\u21BA': REL, // anticlockwise open circle arrow '\u21BB': REL, // clockwise open circle arrow '\u21BC': RELACCENT, // leftwards harpoon with barb upwards '\u21BD': WIDEREL, // leftwards harpoon with barb downwards '\u21BE': WIDEREL, // upwards harpoon with barb rightwards '\u21BF': WIDEREL, // upwards harpoon with barb leftwards '\u21C0': RELACCENT, // rightwards harpoon with barb upwards '\u21C1': WIDEREL, // rightwards harpoon with barb downwards '\u21C2': WIDEREL, // downwards harpoon with barb rightwards '\u21C3': WIDEREL, // downwards harpoon with barb leftwards '\u21C4': WIDEREL, // rightwards arrow over leftwards arrow '\u21C5': WIDEREL, // upwards arrow leftwards of downwards arrow '\u21C6': WIDEREL, // leftwards arrow over rightwards arrow '\u21C7': WIDEREL, // leftwards paired arrows '\u21C8': WIDEREL, // upwards paired arrows '\u21C9': WIDEREL, // rightwards paired arrows '\u21CA': WIDEREL, // downwards paired arrows '\u21CB': WIDEREL, // leftwards harpoon over rightwards harpoon '\u21CC': WIDEREL, // rightwards harpoon over leftwards harpoon '\u21CD': REL, // leftwards double arrow with stroke '\u21CE': REL, // left right double arrow with stroke '\u21CF': REL, // rightwards double arrow with stroke '\u21D0': WIDEREL, // leftwards double arrow '\u21D1': WIDEREL, // upwards double arrow '\u21D2': WIDEREL, // rightwards double arrow '\u21D3': WIDEREL, // downwards double arrow '\u21D4': WIDEREL, // left right double arrow '\u21D5': WIDEREL, // up down double arrow '\u21D6': WIDEREL, // north west double arrow '\u21D7': WIDEREL, // north east double arrow '\u21D8': WIDEREL, // south east double arrow '\u21D9': WIDEREL, // south west double arrow '\u21DA': WIDEREL, // leftwards triple arrow '\u21DB': WIDEREL, // rightwards triple arrow '\u21DC': WIDEREL, // leftwards squiggle arrow '\u21DD': WIDEREL, // rightwards squiggle arrow '\u21DE': REL, // upwards arrow with double stroke '\u21DF': REL, // downwards arrow with double stroke '\u21E0': WIDEREL, // leftwards dashed arrow '\u21E1': WIDEREL, // upwards dashed arrow '\u21E2': WIDEREL, // rightwards dashed arrow '\u21E3': WIDEREL, // downwards dashed arrow '\u21E4': WIDEREL, // leftwards arrow to bar '\u21E5': WIDEREL, // rightwards arrow to bar '\u21E6': WIDEREL, // leftwards white arrow '\u21E7': WIDEREL, // upwards white arrow '\u21E8': WIDEREL, // rightwards white arrow '\u21E9': WIDEREL, // downwards white arrow '\u21EA': WIDEREL, // upwards white arrow from bar '\u21EB': WIDEREL, // upwards white arrow on pedestal '\u21EC': WIDEREL, // upwards white arrow on pedestal with horizontal bar '\u21ED': WIDEREL, // upwards white arrow on pedestal with vertical bar '\u21EE': WIDEREL, // upwards white double arrow '\u21EF': WIDEREL, // upwards white double arrow on pedestal '\u21F0': WIDEREL, // rightwards white arrow from wall '\u21F1': REL, // north west arrow to corner '\u21F2': REL, // south east arrow to corner '\u21F3': WIDEREL, // up down white arrow '\u21F4': REL, // right arrow with small circle '\u21F5': WIDEREL, // downwards arrow leftwards of upwards arrow '\u21F6': WIDEREL, // three rightwards arrows '\u21F7': REL, // leftwards arrow with vertical stroke '\u21F8': REL, // rightwards arrow with vertical stroke '\u21F9': REL, // left right arrow with vertical stroke '\u21FA': REL, // leftwards arrow with double vertical stroke '\u21FB': REL, // rightwards arrow with double vertical stroke '\u21FC': REL, // left right arrow with double vertical stroke '\u21FD': WIDEREL, // leftwards open-headed arrow '\u21FE': WIDEREL, // rightwards open-headed arrow '\u21FF': WIDEREL, // left right open-headed arrow '\u2201': [1,2,TEXCLASS.ORD], // complement '\u2206': BIN3, // increment '\u2208': REL, // element of '\u2209': REL, // not an element of '\u220A': REL, // small element of '\u220B': REL, // contains as member '\u220C': REL, // does not contain as member '\u220D': REL, // small contains as member '\u220E': BIN3, // end of proof '\u2212': BIN4, // minus sign '\u2213': BIN4, // minus-or-plus sign '\u2214': BIN4, // dot plus '\u2215': TALLBIN, // division slash '\u2216': BIN4, // set minus '\u2217': BIN4, // asterisk operator '\u2218': BIN4, // ring operator '\u2219': BIN4, // bullet operator '\u221D': REL, // proportional to '\u221F': REL, // right angle '\u2223': REL, // divides '\u2224': REL, // does not divide '\u2225': REL, // parallel to '\u2226': REL, // not parallel to '\u2227': BIN4, // logical and '\u2228': BIN4, // logical or '\u2229': BIN4, // intersection '\u222A': BIN4, // union '\u2234': REL, // therefore '\u2235': REL, // because '\u2236': REL, // ratio '\u2237': REL, // proportion '\u2238': BIN4, // dot minus '\u2239': REL, // excess '\u223A': BIN4, // geometric proportion '\u223B': REL, // homothetic '\u223C': REL, // tilde operator '\u223D': REL, // reversed tilde '\u223D\u0331': BIN3, // reversed tilde with underline '\u223E': REL, // inverted lazy s '\u223F': BIN3, // sine wave '\u2240': BIN4, // wreath product '\u2241': REL, // not tilde '\u2242': REL, // minus tilde '\u2242\u0338': BIN4, // minus tilde with slash '\u2243': REL, // asymptotically equal to '\u2244': REL, // not asymptotically equal to '\u2245': REL, // approximately equal to '\u2246': REL, // approximately but not actually equal to '\u2247': REL, // neither approximately nor actually equal to '\u2248': REL, // almost equal to '\u2249': REL, // not almost equal to '\u224A': REL, // almost equal or equal to '\u224B': REL, // triple tilde '\u224C': REL, // all equal to '\u224D': REL, // equivalent to '\u224E': REL, // geometrically equivalent to '\u224E\u0338': BIN4, // geometrically equivalent to with slash '\u224F': REL, // difference between '\u224F\u0338': BIN4, // difference between with slash '\u2250': REL, // approaches the limit '\u2251': REL, // geometrically equal to '\u2252': REL, // approximately equal to or the image of '\u2253': REL, // image of or approximately equal to '\u2254': REL, // colon equals '\u2255': REL, // equals colon '\u2256': REL, // ring in equal to '\u2257': REL, // ring equal to '\u2258': REL, // corresponds to '\u2259': REL, // estimates '\u225A': REL, // equiangular to '\u225C': REL, // delta equal to '\u225D': REL, // equal to by definition '\u225E': REL, // measured by '\u225F': REL, // questioned equal to '\u2260': REL, // not equal to '\u2261': REL, // identical to '\u2262': REL, // not identical to '\u2263': REL, // strictly equivalent to '\u2264': REL, // less-than or equal to '\u2265': REL, // greater-than or equal to '\u2266': REL, // less-than over equal to '\u2266\u0338': BIN4, // less-than over equal to with slash '\u2267': REL, // greater-than over equal to '\u2268': REL, // less-than but not equal to '\u2269': REL, // greater-than but not equal to '\u226A': REL, // much less-than '\u226A\u0338': BIN4, // much less than with slash '\u226B': REL, // much greater-than '\u226B\u0338': BIN4, // much greater than with slash '\u226C': REL, // between '\u226D': REL, // not equivalent to '\u226E': REL, // not less-than '\u226F': REL, // not greater-than '\u2270': REL, // neither less-than nor equal to '\u2271': REL, // neither greater-than nor equal to '\u2272': REL, // less-than or equivalent to '\u2273': REL, // greater-than or equivalent to '\u2274': REL, // neither less-than nor equivalent to '\u2275': REL, // neither greater-than nor equivalent to '\u2276': REL, // less-than or greater-than '\u2277': REL, // greater-than or less-than '\u2278': REL, // neither less-than nor greater-than '\u2279': REL, // neither greater-than nor less-than '\u227A': REL, // precedes '\u227B': REL, // succeeds '\u227C': REL, // precedes or equal to '\u227D': REL, // succeeds or equal to '\u227E': REL, // precedes or equivalent to '\u227F': REL, // succeeds or equivalent to '\u227F\u0338': BIN4, // succeeds or equivalent to with slash '\u2280': REL, // does not precede '\u2281': REL, // does not succeed '\u2282': REL, // subset of '\u2282\u20D2': BIN4, // subset of with vertical line '\u2283': REL, // superset of '\u2283\u20D2': BIN4, // superset of with vertical line '\u2284': REL, // not a subset of '\u2285': REL, // not a superset of '\u2286': REL, // subset of or equal to '\u2287': REL, // superset of or equal to '\u2288': REL, // neither a subset of nor equal to '\u2289': REL, // neither a superset of nor equal to '\u228A': REL, // subset of with not equal to '\u228B': REL, // superset of with not equal to '\u228C': BIN4, // multiset '\u228D': BIN4, // multiset multiplication '\u228E': BIN4, // multiset union '\u228F': REL, // square image of '\u228F\u0338': BIN4, // square image of with slash '\u2290': REL, // square original of '\u2290\u0338': BIN4, // square original of with slash '\u2291': REL, // square image of or equal to '\u2292': REL, // square original of or equal to '\u2293': BIN4, // square cap '\u2294': BIN4, // square cup '\u2295': BIN4, // circled plus '\u2296': BIN4, // circled minus '\u2297': BIN4, // circled times '\u2298': BIN4, // circled division slash '\u2299': BIN4, // circled dot operator '\u229A': BIN4, // circled ring operator '\u229B': BIN4, // circled asterisk operator '\u229C': BIN4, // circled equals '\u229D': BIN4, // circled dash '\u229E': BIN4, // squared plus '\u229F': BIN4, // squared minus '\u22A0': BIN4, // squared times '\u22A1': BIN4, // squared dot operator '\u22A2': REL, // right tack '\u22A3': REL, // left tack '\u22A4': ORD55, // down tack '\u22A5': REL, // up tack '\u22A6': REL, // assertion '\u22A7': REL, // models '\u22A8': REL, // true '\u22A9': REL, // forces '\u22AA': REL, // triple vertical bar right turnstile '\u22AB': REL, // double vertical bar double right turnstile '\u22AC': REL, // does not prove '\u22AD': REL, // not true '\u22AE': REL, // does not force '\u22AF': REL, // negated double vertical bar double right turnstile '\u22B0': REL, // precedes under relation '\u22B1': REL, // succeeds under relation '\u22B2': REL, // normal subgroup of '\u22B3': REL, // contains as normal subgroup '\u22B4': REL, // normal subgroup of or equal to '\u22B5': REL, // contains as normal subgroup or equal to '\u22B6': REL, // original of '\u22B7': REL, // image of '\u22B8': REL, // multimap '\u22B9': REL, // hermitian conjugate matrix '\u22BA': BIN4, // intercalate '\u22BB': BIN4, // xor '\u22BC': BIN4, // nand '\u22BD': BIN4, // nor '\u22BE': BIN3, // right angle with arc '\u22BF': BIN3, // right triangle '\u22C4': BIN4, // diamond operator '\u22C5': BIN4, // dot operator '\u22C6': BIN4, // star operator '\u22C7': BIN4, // division times '\u22C8': REL, // bowtie '\u22C9': BIN4, // left normal factor semidirect product '\u22CA': BIN4, // right normal factor semidirect product '\u22CB': BIN4, // left semidirect product '\u22CC': BIN4, // right semidirect product '\u22CD': REL, // reversed tilde equals '\u22CE': BIN4, // curly logical or '\u22CF': BIN4, // curly logical and '\u22D0': REL, // double subset '\u22D1': REL, // double superset '\u22D2': BIN4, // double intersection '\u22D3': BIN4, // double union '\u22D4': REL, // pitchfork '\u22D5': REL, // equal and parallel to '\u22D6': REL, // less-than with dot '\u22D7': REL, // greater-than with dot '\u22D8': REL, // very much less-than '\u22D9': REL, // very much greater-than '\u22DA': REL, // less-than equal to or greater-than '\u22DB': REL, // greater-than equal to or less-than '\u22DC': REL, // equal to or less-than '\u22DD': REL, // equal to or greater-than '\u22DE': REL, // equal to or precedes '\u22DF': REL, // equal to or succeeds '\u22E0': REL, // does not precede or equal '\u22E1': REL, // does not succeed or equal '\u22E2': REL, // not square image of or equal to '\u22E3': REL, // not square original of or equal to '\u22E4': REL, // square image of or not equal to '\u22E5': REL, // square original of or not equal to '\u22E6': REL, // less-than but not equivalent to '\u22E7': REL, // greater-than but not equivalent to '\u22E8': REL, // precedes but not equivalent to '\u22E9': REL, // succeeds but not equivalent to '\u22EA': REL, // not normal subgroup of '\u22EB': REL, // does not contain as normal subgroup '\u22EC': REL, // not normal subgroup of or equal to '\u22ED': REL, // does not contain as normal subgroup or equal '\u22EE': ORD55, // vertical ellipsis '\u22EF': INNER, // midline horizontal ellipsis '\u22F0': REL, // up right diagonal ellipsis '\u22F1': [5,5,TEXCLASS.INNER], // down right diagonal ellipsis '\u22F2': REL, // element of with long horizontal stroke '\u22F3': REL, // element of with vertical bar at end of horizontal stroke '\u22F4': REL, // small element of with vertical bar at end of horizontal stroke '\u22F5': REL, // element of with dot above '\u22F6': REL, // element of with overbar '\u22F7': REL, // small element of with overbar '\u22F8': REL, // element of with underbar '\u22F9': REL, // element of with two horizontal strokes '\u22FA': REL, // contains with long horizontal stroke '\u22FB': REL, // contains with vertical bar at end of horizontal stroke '\u22FC': REL, // small contains with vertical bar at end of horizontal stroke '\u22FD': REL, // contains with overbar '\u22FE': REL, // small contains with overbar '\u22FF': REL, // z notation bag membership '\u2500': [0,0,TEXCLASS.ORD,{stretchy: true}], // box drawings light horizontal '\u25A0': BIN3, // black square '\u25A1': BIN3, // white square '\u25AA': BIN3, // black small square '\u25AB': BIN3, // white small square '\u25AD': BIN3, // white rectangle '\u25AE': BIN3, // black vertical rectangle '\u25AF': BIN3, // white vertical rectangle '\u25B0': BIN3, // black parallelogram '\u25B1': BIN3, // white parallelogram '\u25B2': BIN4, // black up-pointing triangle '\u25B3': BIN4, // white up-pointing triangle '\u25B4': BIN4, // black up-pointing small triangle '\u25B5': BIN4, // white up-pointing small triangle '\u25B6': BIN4, // black right-pointing triangle '\u25B7': BIN4, // white right-pointing triangle '\u25B8': BIN4, // black right-pointing small triangle '\u25B9': BIN4, // white right-pointing small triangle '\u25BC': BIN4, // black down-pointing triangle '\u25BD': BIN4, // white down-pointing triangle '\u25BE': BIN4, // black down-pointing small triangle '\u25BF': BIN4, // white down-pointing small triangle '\u25C0': BIN4, // black left-pointing triangle '\u25C1': BIN4, // white left-pointing triangle '\u25C2': BIN4, // black left-pointing small triangle '\u25C3': BIN4, // white left-pointing small triangle '\u25C4': BIN4, // black left-pointing pointer '\u25C5': BIN4, // white left-pointing pointer '\u25C6': BIN4, // black diamond '\u25C7': BIN4, // white diamond '\u25C8': BIN4, // white diamond containing black small diamond '\u25C9': BIN4, // fisheye '\u25CC': BIN4, // dotted circle '\u25CD': BIN4, // circle with vertical fill '\u25CE': BIN4, // bullseye '\u25CF': BIN4, // black circle '\u25D6': BIN4, // left half black circle '\u25D7': BIN4, // right half black circle '\u25E6': BIN4, // white bullet '\u2713': WIDEACCENT, // check mark '\u2758': [4,4,TEXCLASS.REL,{fence: true, stretchy: true, symmetric: true}], // light vertical bar '\u27F5': REL1, // long leftwards arrow '\u27F6': REL1, // long rightwards arrow '\u27F7': REL1, // long left right arrow '\u27F8': REL1, // long leftwards double arrow '\u27F9': REL1, // long rightwards double arrow '\u27FA': REL1, // long left right double arrow '\u2900': REL, // rightwards two-headed arrow with vertical stroke '\u2901': REL, // rightwards two-headed arrow with double vertical stroke '\u2902': REL, // leftwards double arrow with vertical stroke '\u2903': REL, // rightwards double arrow with vertical stroke '\u2904': REL, // left right double arrow with vertical stroke '\u2905': REL, // rightwards two-headed arrow from bar '\u2906': REL, // leftwards double arrow from bar '\u2907': REL, // rightwards double arrow from bar '\u2908': REL, // downwards arrow with horizontal stroke '\u2909': REL, // upwards arrow with horizontal stroke '\u290A': WIDEREL, // upwards triple arrow '\u290B': WIDEREL, // downwards triple arrow '\u290C': WIDEREL, // leftwards double dash arrow '\u290D': WIDEREL, // rightwards double dash arrow '\u290E': WIDEREL, // leftwards triple dash arrow '\u290F': WIDEREL, // rightwards triple dash arrow '\u2910': WIDEREL, // rightwards two-headed triple dash arrow '\u2911': REL, // rightwards arrow with dotted stem '\u2912': WIDEREL, // upwards arrow to bar '\u2913': WIDEREL, // downwards arrow to bar '\u2914': REL, // rightwards arrow with tail with vertical stroke '\u2915': REL, // rightwards arrow with tail with double vertical stroke '\u2916': REL, // rightwards two-headed arrow with tail '\u2917': REL, // rightwards two-headed arrow with tail with vertical stroke '\u2918': REL, // rightwards two-headed arrow with tail with double vertical stroke '\u2919': REL, // leftwards arrow-tail '\u291A': REL, // rightwards arrow-tail '\u291B': REL, // leftwards double arrow-tail '\u291C': REL, // rightwards double arrow-tail '\u291D': REL, // leftwards arrow to black diamond '\u291E': REL, // rightwards arrow to black diamond '\u291F': REL, // leftwards arrow from bar to black diamond '\u2920': REL, // rightwards arrow from bar to black diamond '\u2921': WIDEREL, // north west and south east arrow '\u2922': WIDEREL, // north east and south west arrow '\u2923': REL, // north west arrow with hook '\u2924': REL, // north east arrow with hook '\u2925': REL, // south east arrow with hook '\u2926': REL, // south west arrow with hook '\u2927': REL, // north west arrow and north east arrow '\u2928': REL, // north east arrow and south east arrow '\u2929': REL, // south east arrow and south west arrow '\u292A': REL, // south west arrow and north west arrow '\u292B': REL, // rising diagonal crossing falling diagonal '\u292C': REL, // falling diagonal crossing rising diagonal '\u292D': REL, // south east arrow crossing north east arrow '\u292E': REL, // north east arrow crossing south east arrow '\u292F': REL, // falling diagonal crossing north east arrow '\u2930': REL, // rising diagonal crossing south east arrow '\u2931': REL, // north east arrow crossing north west arrow '\u2932': REL, // north west arrow crossing north east arrow '\u2933': REL, // wave arrow pointing directly right '\u2934': REL, // arrow pointing rightwards then curving upwards '\u2935': REL, // arrow pointing rightwards then curving downwards '\u2936': REL, // arrow pointing downwards then curving leftwards '\u2937': REL, // arrow pointing downwards then curving rightwards '\u2938': REL, // right-side arc clockwise arrow '\u2939': REL, // left-side arc anticlockwise arrow '\u293A': REL, // top arc anticlockwise arrow '\u293B': REL, // bottom arc anticlockwise arrow '\u293C': REL, // top arc clockwise arrow with minus '\u293D': REL, // top arc anticlockwise arrow with plus '\u293E': REL, // lower right semicircular clockwise arrow '\u293F': REL, // lower left semicircular anticlockwise arrow '\u2940': REL, // anticlockwise closed circle arrow '\u2941': REL, // clockwise closed circle arrow '\u2942': REL, // rightwards arrow above short leftwards arrow '\u2943': REL, // leftwards arrow above short rightwards arrow '\u2944': REL, // short rightwards arrow above leftwards arrow '\u2945': REL, // rightwards arrow with plus below '\u2946': REL, // leftwards arrow with plus below '\u2947': REL, // rightwards arrow through x '\u2948': REL, // left right arrow through small circle '\u2949': REL, // upwards two-headed arrow from small circle '\u294A': REL, // left barb up right barb down harpoon '\u294B': REL, // left barb down right barb up harpoon '\u294C': REL, // up barb right down barb left harpoon '\u294D': REL, // up barb left down barb right harpoon '\u294E': RELACCENT, // left barb up right barb up harpoon '\u294F': WIDEREL, // up barb right down barb right harpoon '\u2950': WIDEREL, // left barb down right barb down harpoon '\u2951': WIDEREL, // up barb left down barb left harpoon '\u2952': WIDEREL, // leftwards harpoon with barb up to bar '\u2953': WIDEREL, // rightwards harpoon with barb up to bar '\u2954': WIDEREL, // upwards harpoon with barb right to bar '\u2955': WIDEREL, // downwards harpoon with barb right to bar '\u2956': WIDEREL, // leftwards harpoon with barb down to bar '\u2957': WIDEREL, // rightwards harpoon with barb down to bar '\u2958': WIDEREL, // upwards harpoon with barb left to bar '\u2959': WIDEREL, // downwards harpoon with barb left to bar '\u295A': WIDEREL, // leftwards harpoon with barb up from bar '\u295B': WIDEREL, // rightwards harpoon with barb up from bar '\u295C': WIDEREL, // upwards harpoon with barb right from bar '\u295D': WIDEREL, // downwards harpoon with barb right from bar '\u295E': WIDEREL, // leftwards harpoon with barb down from bar '\u295F': WIDEREL, // rightwards harpoon with barb down from bar '\u2960': WIDEREL, // upwards harpoon with barb left from bar '\u2961': WIDEREL, // downwards harpoon with barb left from bar '\u2962': REL, // leftwards harpoon with barb up above leftwards harpoon with barb down '\u2963': REL, // upwards harpoon with barb left beside upwards harpoon with barb right '\u2964': REL, // rightwards harpoon with barb up above rightwards harpoon with barb down '\u2965': REL, // downwards harpoon with barb left beside downwards harpoon with barb right '\u2966': REL, // leftwards harpoon with barb up above rightwards harpoon with barb up '\u2967': REL, // leftwards harpoon with barb down above rightwards harpoon with barb down '\u2968': REL, // rightwards harpoon with barb up above leftwards harpoon with barb up '\u2969': REL, // rightwards harpoon with barb down above leftwards harpoon with barb down '\u296A': REL, // leftwards harpoon with barb up above long dash '\u296B': REL, // leftwards harpoon with barb down below long dash '\u296C': REL, // rightwards harpoon with barb up above long dash '\u296D': REL, // rightwards harpoon with barb down below long dash '\u296E': WIDEREL, // upwards harpoon with barb left beside downwards harpoon with barb right '\u296F': WIDEREL, // downwards harpoon with barb left beside upwards harpoon with barb right '\u2970': REL, // right double arrow with rounded head '\u2971': REL, // equals sign above rightwards arrow '\u2972': REL, // tilde operator above rightwards arrow '\u2973': REL, // leftwards arrow above tilde operator '\u2974': REL, // rightwards arrow above tilde operator '\u2975': REL, // rightwards arrow above almost equal to '\u2976': REL, // less-than above leftwards arrow '\u2977': REL, // leftwards arrow through less-than '\u2978': REL, // greater-than above rightwards arrow '\u2979': REL, // subset above rightwards arrow '\u297A': REL, // leftwards arrow through subset '\u297B': REL, // superset above leftwards arrow '\u297C': REL, // left fish tail '\u297D': REL, // right fish tail '\u297E': REL, // up fish tail '\u297F': REL, // down fish tail '\u2980': ORD, // triple vertical bar delimiter '\u2981': BIN3, // z notation spot '\u2982': BIN3, // z notation type colon '\u2999': BIN3, // dotted fence '\u299A': BIN3, // vertical zigzag line '\u299B': BIN3, // measured angle opening left '\u299C': BIN3, // right angle variant with square '\u299D': BIN3, // measured right angle with dot '\u299E': BIN3, // angle with s inside '\u299F': BIN3, // acute angle '\u29A0': BIN3, // spherical angle opening left '\u29A1': BIN3, // spherical angle opening up '\u29A2': BIN3, // turned angle '\u29A3': BIN3, // reversed angle '\u29A4': BIN3, // angle with underbar '\u29A5': BIN3, // reversed angle with underbar '\u29A6': BIN3, // oblique angle opening up '\u29A7': BIN3, // oblique angle opening down '\u29A8': BIN3, // measured angle with open arm ending in arrow pointing up and right '\u29A9': BIN3, // measured angle with open arm ending in arrow pointing up and left '\u29AA': BIN3, // measured angle with open arm ending in arrow pointing down and right '\u29AB': BIN3, // measured angle with open arm ending in arrow pointing down and left '\u29AC': BIN3, // measured angle with open arm ending in arrow pointing right and up '\u29AD': BIN3, // measured angle with open arm ending in arrow pointing left and up '\u29AE': BIN3, // measured angle with open arm ending in arrow pointing right and down '\u29AF': BIN3, // measured angle with open arm ending in arrow pointing left and down '\u29B0': BIN3, // reversed empty set '\u29B1': BIN3, // empty set with overbar '\u29B2': BIN3, // empty set with small circle above '\u29B3': BIN3, // empty set with right arrow above '\u29B4': BIN3, // empty set with left arrow above '\u29B5': BIN3, // circle with horizontal bar '\u29B6': BIN4, // circled vertical bar '\u29B7': BIN4, // circled parallel '\u29B8': BIN4, // circled reverse solidus '\u29B9': BIN4, // circled perpendicular '\u29BA': BIN4, // circle divided by horizontal bar and top half divided by vertical bar '\u29BB': BIN4, // circle with superimposed x '\u29BC': BIN4, // circled anticlockwise-rotated division sign '\u29BD': BIN4, // up arrow through circle '\u29BE': BIN4, // circled white bullet '\u29BF': BIN4, // circled bullet '\u29C0': REL, // circled less-than '\u29C1': REL, // circled greater-than '\u29C2': BIN3, // circle with small circle to the right '\u29C3': BIN3, // circle with two horizontal strokes to the right '\u29C4': BIN4, // squared rising diagonal slash '\u29C5': BIN4, // squared falling diagonal slash '\u29C6': BIN4, // squared asterisk '\u29C7': BIN4, // squared small circle '\u29C8': BIN4, // squared square '\u29C9': BIN3, // two joined squares '\u29CA': BIN3, // triangle with dot above '\u29CB': BIN3, // triangle with underbar '\u29CC': BIN3, // s in triangle '\u29CD': BIN3, // triangle with serifs at bottom '\u29CE': REL, // right triangle above left triangle '\u29CF': REL, // left triangle beside vertical bar '\u29CF\u0338': BIN4, // left triangle beside vertical bar with slash '\u29D0': REL, // vertical bar beside right triangle '\u29D0\u0338': BIN4, // vertical bar beside right triangle with slash '\u29D1': REL, // bowtie with left half black '\u29D2': REL, // bowtie with right half black '\u29D3': REL, // black bowtie '\u29D4': REL, // times with left half black '\u29D5': REL, // times with right half black '\u29D6': BIN4, // white hourglass '\u29D7': BIN4, // black hourglass '\u29D8': BIN3, // left wiggly fence '\u29D9': BIN3, // right wiggly fence '\u29DB': BIN3, // right double wiggly fence '\u29DC': BIN3, // incomplete infinity '\u29DD': BIN3, // tie over infinity '\u29DE': REL, // infinity negated with vertical bar '\u29DF': BIN3, // double-ended multimap '\u29E0': BIN3, // square with contoured outline '\u29E1': REL, // increases as '\u29E2': BIN4, // shuffle product '\u29E3': REL, // equals sign and slanted parallel '\u29E4': REL, // equals sign and slanted parallel with tilde above '\u29E5': REL, // identical to and slanted parallel '\u29E6': REL, // gleich stark '\u29E7': BIN3, // thermodynamic '\u29E8': BIN3, // down-pointing triangle with left half black '\u29E9': BIN3, // down-pointing triangle with right half black '\u29EA': BIN3, // black diamond with down arrow '\u29EB': BIN3, // black lozenge '\u29EC': BIN3, // white circle with down arrow '\u29ED': BIN3, // black circle with down arrow '\u29EE': BIN3, // error-barred white square '\u29EF': BIN3, // error-barred black square '\u29F0': BIN3, // error-barred white diamond '\u29F1': BIN3, // error-barred black diamond '\u29F2': BIN3, // error-barred white circle '\u29F3': BIN3, // error-barred black circle '\u29F4': REL, // rule-delayed '\u29F5': BIN4, // reverse solidus operator '\u29F6': BIN4, // solidus with overbar '\u29F7': BIN4, // reverse solidus with horizontal stroke '\u29F8': BIN3, // big solidus '\u29F9': BIN3, // big reverse solidus '\u29FA': BIN3, // double plus '\u29FB': BIN3, // triple plus '\u29FE': BIN4, // tiny '\u29FF': BIN4, // miny '\u2A1D': BIN3, // join '\u2A1E': BIN3, // large left triangle operator '\u2A1F': BIN3, // z notation schema composition '\u2A20': BIN3, // z notation schema piping '\u2A21': BIN3, // z notation schema projection '\u2A22': BIN4, // plus sign with small circle above '\u2A23': BIN4, // plus sign with circumflex accent above '\u2A24': BIN4, // plus sign with tilde above '\u2A25': BIN4, // plus sign with dot below '\u2A26': BIN4, // plus sign with tilde below '\u2A27': BIN4, // plus sign with subscript two '\u2A28': BIN4, // plus sign with black triangle '\u2A29': BIN4, // minus sign with comma above '\u2A2A': BIN4, // minus sign with dot below '\u2A2B': BIN4, // minus sign with falling dots '\u2A2C': BIN4, // minus sign with rising dots '\u2A2D': BIN4, // plus sign in left half circle '\u2A2E': BIN4, // plus sign in right half circle '\u2A2F': BIN4, // vector or cross product '\u2A30': BIN4, // multiplication sign with dot above '\u2A31': BIN4, // multiplication sign with underbar '\u2A32': BIN4, // semidirect product with bottom closed '\u2A33': BIN4, // smash product '\u2A34': BIN4, // multiplication sign in left half circle '\u2A35': BIN4, // multiplication sign in right half circle '\u2A36': BIN4, // circled multiplication sign with circumflex accent '\u2A37': BIN4, // multiplication sign in double circle '\u2A38': BIN4, // circled division sign '\u2A39': BIN4, // plus sign in triangle '\u2A3A': BIN4, // minus sign in triangle '\u2A3B': BIN4, // multiplication sign in triangle '\u2A3C': BIN4, // interior product '\u2A3D': BIN4, // righthand interior product '\u2A3E': BIN4, // z notation relational composition '\u2A3F': BIN4, // amalgamation or coproduct '\u2A40': BIN4, // intersection with dot '\u2A41': BIN4, // union with minus sign '\u2A42': BIN4, // union with overbar '\u2A43': BIN4, // intersection with overbar '\u2A44': BIN4, // intersection with logical and '\u2A45': BIN4, // union with logical or '\u2A46': BIN4, // union above intersection '\u2A47': BIN4, // intersection above union '\u2A48': BIN4, // union above bar above intersection '\u2A49': BIN4, // intersection above bar above union '\u2A4A': BIN4, // union beside and joined with union '\u2A4B': BIN4, // intersection beside and joined with intersection '\u2A4C': BIN4, // closed union with serifs '\u2A4D': BIN4, // closed intersection with serifs '\u2A4E': BIN4, // double square intersection '\u2A4F': BIN4, // double square union '\u2A50': BIN4, // closed union with serifs and smash product '\u2A51': BIN4, // logical and with dot above '\u2A52': BIN4, // logical or with dot above '\u2A53': BIN4, // double logical and '\u2A54': BIN4, // double logical or '\u2A55': BIN4, // two intersecting logical and '\u2A56': BIN4, // two intersecting logical or '\u2A57': BIN4, // sloping large or '\u2A58': BIN4, // sloping large and '\u2A59': REL, // logical or overlapping logical and '\u2A5A': BIN4, // logical and with middle stem '\u2A5B': BIN4, // logical or with middle stem '\u2A5C': BIN4, // logical and with horizontal dash '\u2A5D': BIN4, // logical or with horizontal dash '\u2A5E': BIN4, // logical and with double overbar '\u2A5F': BIN4, // logical and with underbar '\u2A60': BIN4, // logical and with double underbar '\u2A61': BIN4, // small vee with underbar '\u2A62': BIN4, // logical or with double overbar '\u2A63': BIN4, // logical or with double underbar '\u2A64': BIN4, // z notation domain antirestriction '\u2A65': BIN4, // z notation range antirestriction '\u2A66': REL, // equals sign with dot below '\u2A67': REL, // identical with dot above '\u2A68': REL, // triple horizontal bar with double vertical stroke '\u2A69': REL, // triple horizontal bar with triple vertical stroke '\u2A6A': REL, // tilde operator with dot above '\u2A6B': REL, // tilde operator with rising dots '\u2A6C': REL, // similar minus similar '\u2A6D': REL, // congruent with dot above '\u2A6E': REL, // equals with asterisk '\u2A6F': REL, // almost equal to with circumflex accent '\u2A70': REL, // approximately equal or equal to '\u2A71': BIN4, // equals sign above plus sign '\u2A72': BIN4, // plus sign above equals sign '\u2A73': REL, // equals sign above tilde operator '\u2A74': REL, // double colon equal '\u2A75': REL, // two consecutive equals signs '\u2A76': REL, // three consecutive equals signs '\u2A77': REL, // equals sign with two dots above and two dots below '\u2A78': REL, // equivalent with four dots above '\u2A79': REL, // less-than with circle inside '\u2A7A': REL, // greater-than with circle inside '\u2A7B': REL, // less-than with question mark above '\u2A7C': REL, // greater-than with question mark above '\u2A7D': REL, // less-than or slanted equal to '\u2A7D\u0338': BIN4, // less-than or slanted equal to with slash '\u2A7E': REL, // greater-than or slanted equal to '\u2A7E\u0338': BIN4, // greater-than or slanted equal to with slash '\u2A7F': REL, // less-than or slanted equal to with dot inside '\u2A80': REL, // greater-than or slanted equal to with dot inside '\u2A81': REL, // less-than or slanted equal to with dot above '\u2A82': REL, // greater-than or slanted equal to with dot above '\u2A83': REL, // less-than or slanted equal to with dot above right '\u2A84': REL, // greater-than or slanted equal to with dot above left '\u2A85': REL, // less-than or approximate '\u2A86': REL, // greater-than or approximate '\u2A87': REL, // less-than and single-line not equal to '\u2A88': REL, // greater-than and single-line not equal to '\u2A89': REL, // less-than and not approximate '\u2A8A': REL, // greater-than and not approximate '\u2A8B': REL, // less-than above double-line equal above greater-than '\u2A8C': REL, // greater-than above double-line equal above less-than '\u2A8D': REL, // less-than above similar or equal '\u2A8E': REL, // greater-than above similar or equal '\u2A8F': REL, // less-than above similar above greater-than '\u2A90': REL, // greater-than above similar above less-than '\u2A91': REL, // less-than above greater-than above double-line equal '\u2A92': REL, // greater-than above less-than above double-line equal '\u2A93': REL, // less-than above slanted equal above greater-than above slanted equal '\u2A94': REL, // greater-than above slanted equal above less-than above slanted equal '\u2A95': REL, // slanted equal to or less-than '\u2A96': REL, // slanted equal to or greater-than '\u2A97': REL, // slanted equal to or less-than with dot inside '\u2A98': REL, // slanted equal to or greater-than with dot inside '\u2A99': REL, // double-line equal to or less-than '\u2A9A': REL, // double-line equal to or greater-than '\u2A9B': REL, // double-line slanted equal to or less-than '\u2A9C': REL, // double-line slanted equal to or greater-than '\u2A9D': REL, // similar or less-than '\u2A9E': REL, // similar or greater-than '\u2A9F': REL, // similar above less-than above equals sign '\u2AA0': REL, // similar above greater-than above equals sign '\u2AA1': REL, // double nested less-than '\u2AA1\u0338': BIN4, // double nested less-than with slash '\u2AA2': REL, // double nested greater-than '\u2AA2\u0338': BIN4, // double nested greater-than with slash '\u2AA3': REL, // double nested less-than with underbar '\u2AA4': REL, // greater-than overlapping less-than '\u2AA5': REL, // greater-than beside less-than '\u2AA6': REL, // less-than closed by curve '\u2AA7': REL, // greater-than closed by curve '\u2AA8': REL, // less-than closed by curve above slanted equal '\u2AA9': REL, // greater-than closed by curve above slanted equal '\u2AAA': REL, // smaller than '\u2AAB': REL, // larger than '\u2AAC': REL, // smaller than or equal to '\u2AAD': REL, // larger than or equal to '\u2AAE': REL, // equals sign with bumpy above '\u2AAF': REL, // precedes above single-line equals sign '\u2AAF\u0338': BIN4, // precedes above single-line equals sign with slash '\u2AB0': REL, // succeeds above single-line equals sign '\u2AB0\u0338': BIN4, // succeeds above single-line equals sign with slash '\u2AB1': REL, // precedes above single-line not equal to '\u2AB2': REL, // succeeds above single-line not equal to '\u2AB3': REL, // precedes above equals sign '\u2AB4': REL, // succeeds above equals sign '\u2AB5': REL, // precedes above not equal to '\u2AB6': REL, // succeeds above not equal to '\u2AB7': REL, // precedes above almost equal to '\u2AB8': REL, // succeeds above almost equal to '\u2AB9': REL, // precedes above not almost equal to '\u2ABA': REL, // succeeds above not almost equal to '\u2ABB': REL, // double precedes '\u2ABC': REL, // double succeeds '\u2ABD': REL, // subset with dot '\u2ABE': REL, // superset with dot '\u2ABF': REL, // subset with plus sign below '\u2AC0': REL, // superset with plus sign below '\u2AC1': REL, // subset with multiplication sign below '\u2AC2': REL, // superset with multiplication sign below '\u2AC3': REL, // subset of or equal to with dot above '\u2AC4': REL, // superset of or equal to with dot above '\u2AC5': REL, // subset of above equals sign '\u2AC6': REL, // superset of above equals sign '\u2AC7': REL, // subset of above tilde operator '\u2AC8': REL, // superset of above tilde operator '\u2AC9': REL, // subset of above almost equal to '\u2ACA': REL, // superset of above almost equal to '\u2ACB': REL, // subset of above not equal to '\u2ACC': REL, // superset of above not equal to '\u2ACD': REL, // square left open box operator '\u2ACE': REL, // square right open box operator '\u2ACF': REL, // closed subset '\u2AD0': REL, // closed superset '\u2AD1': REL, // closed subset or equal to '\u2AD2': REL, // closed superset or equal to '\u2AD3': REL, // subset above superset '\u2AD4': REL, // superset above subset '\u2AD5': REL, // subset above subset '\u2AD6': REL, // superset above superset '\u2AD7': REL, // superset beside subset '\u2AD8': REL, // superset beside and joined by dash with subset '\u2AD9': REL, // element of opening downwards '\u2ADA': REL, // pitchfork with tee top '\u2ADB': REL, // transversal intersection '\u2ADC': REL, // forking '\u2ADD': REL, // nonforking '\u2ADE': REL, // short left tack '\u2ADF': REL, // short down tack '\u2AE0': REL, // short up tack '\u2AE1': REL, // perpendicular with s '\u2AE2': REL, // vertical bar triple right turnstile '\u2AE3': REL, // double vertical bar left turnstile '\u2AE4': REL, // vertical bar double left turnstile '\u2AE5': REL, // double vertical bar double left turnstile '\u2AE6': REL, // long dash from left member of double vertical '\u2AE7': REL, // short down tack with overbar '\u2AE8': REL, // short up tack with underbar '\u2AE9': REL, // short up tack above short down tack '\u2AEA': REL, // double down tack '\u2AEB': REL, // double up tack '\u2AEC': REL, // double stroke not sign '\u2AED': REL, // reversed double stroke not sign '\u2AEE': REL, // does not divide with reversed negation slash '\u2AEF': REL, // vertical line with circle above '\u2AF0': REL, // vertical line with circle below '\u2AF1': REL, // down tack with circle below '\u2AF2': REL, // parallel with horizontal stroke '\u2AF3': REL, // parallel with tilde operator '\u2AF4': BIN4, // triple vertical bar binary relation '\u2AF5': BIN4, // triple vertical bar with horizontal stroke '\u2AF6': BIN4, // triple colon operator '\u2AF7': REL, // triple nested less-than '\u2AF8': REL, // triple nested greater-than '\u2AF9': REL, // double-line slanted less-than or equal to '\u2AFA': REL, // double-line slanted greater-than or equal to '\u2AFB': BIN4, // triple solidus binary relation '\u2AFD': BIN4, // double solidus operator '\u2AFE': BIN3, // white vertical bar '\u00B1': BIN4, // plus-minus sign '\u00B7': BIN4, // middle dot '\u00D7': BIN4, // multiplication sign '\u00F7': BIN4, // division sign '&&': BIN4, // multiple character operator: && '*': BIN3, // asterisk '**': [1,1,TEXCLASS.BIN], // multiple character operator: ** '*=': BIN4, // multiple character operator: *= '+': BIN4, // plus sign '+=': BIN4, // multiple character operator: += ',': [0,3,TEXCLASS.PUNCT,{separator: true}], // comma '-': BIN4, // hyphen-minus '-=': BIN4, // multiple character operator: -= '->': BIN4, // multiple character operator: -> '.': [3,3,TEXCLASS.ORD], // full stop '/': ORD11, // solidus '//': BIN4, // multiple character operator: // '/=': BIN4, // multiple character operator: /= ':': [1,2,TEXCLASS.REL], // colon ':=': BIN4, // multiple character operator: := ';': [0,3,TEXCLASS.PUNCT,{separator: true}], // semicolon '<': REL, // less-than sign '<=': BIN4, // multiple character operator: <= '<>': [1,1,TEXCLASS.BIN], // multiple character operator: <> '=': REL, // equals sign '==': BIN4, // multiple character operator: == '>': REL, // greater-than sign '>=': BIN4, // multiple character operator: >= '?': [1,1,TEXCLASS.CLOSE], // question mark '@': ORD11, // commercial at '\\': ORD, // reverse solidus '_': ORD11, // low line '|': [2,2,TEXCLASS.ORD,{fence: true, stretchy: true, symmetric: true}], // vertical line '||': BIN3, // multiple character operator: || '#': ORD, // # '$': ORD, // $ '\u002E': [0,3,TEXCLASS.PUNCT,{separator: true}], // \ldotp '\u00A7': ORD, // \S '\u0131': ORD, // \imath '\u0237': ORD, // \jmath '\u02B9': ORD, // prime '\u02C9': ACCENT, // \bar '\u02CA': ACCENT, // \acute '\u02CB': ACCENT, // \grave '\u0300': ACCENT, // \grave '\u0301': ACCENT, // \acute '\u0303': WIDEACCENT, // \tilde '\u0304': ACCENT, // \bar '\u0306': ACCENT, // \breve '\u0307': ACCENT, // \dot '\u0308': ACCENT, // \ddot '\u030C': ACCENT, // \check '\u0332': WIDEACCENT, // horizontal line '\u0338': REL4, // \not '\u2015': [0,0,TEXCLASS.ORD,{stretchy: true}], // horizontal line '\u2017': [0,0,TEXCLASS.ORD,{stretchy: true}], // horizontal line '\u2020': BIN3, // \dagger '\u2021': BIN3, // \ddagger '\u20D7': ACCENT, // \vec '\u210F': ORD, // \hbar '\u2118': ORD, // \wp '\u2135': ORD, // \aleph '\u2205': ORD, // \emptyset '\u221E': ORD, // \infty '\u2305': BIN3, // barwedge '\u2306': BIN3, // doublebarwedge '\u2322': REL4, // \frown '\u2323': REL4, // \smile '\u2329': OPEN, // langle '\u232A': CLOSE, // rangle '\u23AA': ORD, // \bracevert '\u23AF': [0,0,TEXCLASS.ORD,{stretchy: true}], // \underline '\u23B0': OPEN, // \lmoustache '\u23B1': CLOSE, // \rmoustache '\u25EF': BIN3, // \bigcirc '\u2660': ORD, // \spadesuit '\u2661': ORD, // \heartsuit '\u2662': ORD, // \diamondsuit '\u2663': ORD, // \clubsuit '\u27EE': OPEN, // \lgroup '\u27EF': CLOSE, // \rgroup '\u27FC': REL4, // \longmapsto '\u3008': OPEN, // langle '\u3009': CLOSE, // rangle '\uFE37': WIDEACCENT, // horizontal brace down '\uFE38': WIDEACCENT, // horizontal brace up },