fbcb2e0997
git-svn-id: https://mathjax.svn.sourceforge.net/svnroot/mathjax/trunk@546 b8fd5906-0fad-46e2-a0d3-10d94ff285d1
1117 lines
66 KiB
Plaintext
1117 lines
66 KiB
Plaintext
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
|
|
},
|