# This Source Code Form is subject to the terms of the Mozilla Public # License, v. 2.0. If a copy of the MPL was not distributed with this # file, You can obtain one at http://mozilla.org/MPL/2.0/. # LOCALIZATION NOTE: FILE # Do not translate anything in this file # The ordered list of fonts with which to attempt to stretch MathML # characters is controlled by setting pref("font.mathfont-family", # "CMSY10, CMEX10, ...") for example, or by setting the font-family list in # :-moz-math-stretchy in mathml.css. # # Note: setting base fonts for non-stretchy characters only works # for operators that are ultimately handled by nsMathMLChar. # @see how |useMathMLChar| is set in nsMathMLmoFrame::Stretch() & Paint(). # Operator Dictionary indexed on the "form" (i.e., infix, prefix, or suffix). # Each entry lists the attributes of the operator, using its Unicode format. operator.\u0021.prefix = lspace:0 rspace:0 # ! operator.\u0021.postfix = lspace:0 rspace:0 # ! operator.\u0021\u0021.postfix = lspace:0 rspace:0 # !! operator.\u0021\u003D.infix = lspace:5 rspace:5 # != operator.\u0022.postfix = lspace:0 rspace:0 # quotation mark operator.\u0025.infix = lspace:3 rspace:3 # percent sign operator.\u0025.postfix = lspace:0 rspace:0 # percent sign operator.\u0026.postfix = lspace:0 rspace:0 # & operator.\u0026\u0026.infix = lspace:4 rspace:4 # && operator.\u0027.postfix = lspace:0 rspace:0 accent # ' operator.\u0028.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ( operator.\u0029.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ) operator.\u002A.infix = lspace:3 rspace:3 # * operator.\u002A\u002A.infix = lspace:3 rspace:3 # ** operator.\u002A\u003D.infix = lspace:5 rspace:5 # *= operator.\u002B.infix = lspace:4 rspace:4 # + operator.\u002B.prefix = lspace:0 rspace:0 # + operator.\u002B\u002B.postfix = lspace:0 rspace:0 # ++ operator.\u002B\u003D.infix = lspace:5 rspace:5 # += operator.\u002C.infix = lspace:0 rspace:3 separator # , operator.\u002D.infix = lspace:4 rspace:4 # - operator.\u002D.prefix = lspace:0 rspace:0 # - operator.\u002D\u002D.postfix = lspace:0 rspace:0 # -- operator.\u002D\u003D.infix = lspace:5 rspace:5 # -= operator.\u002D\u003E.infix = lspace:5 rspace:5 # -> operator.\u002E.infix = lspace:3 rspace:3 # . operator.\u002F.infix = lspace:4 rspace:4 direction:vertical # solidus operator.\u002F\u002F.infix = lspace:5 rspace:5 # // operator.\u002F\u003D.infix = lspace:5 rspace:5 # /= operator.\u003A.infix = lspace:0 rspace:3 # : operator.\u003A\u003D.infix = lspace:5 rspace:5 # := operator.\u003B.infix = lspace:0 rspace:3 separator # ; operator.\u003C.infix = lspace:5 rspace:5 # < operator.\u003C\u003D.infix = lspace:5 rspace:5 # <= operator.\u003C\u003E.infix = lspace:3 rspace:3 # <> operator.\u003D.infix = lspace:5 rspace:5 direction:horizontal # = operator.\u003D\u003D.infix = lspace:5 rspace:5 # == operator.\u003E.infix = lspace:5 rspace:5 # > operator.\u003E\u003D.infix = lspace:5 rspace:5 # >= operator.\u003F.infix = lspace:3 rspace:3 # ? operator.\u0040.infix = lspace:3 rspace:3 # @ operator.\u005B.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # [ operator.\u005C.infix = lspace:0 rspace:0 # reverse solidus operator.\u005D.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ] operator.\u005E.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ^ circumflex accent operator.\u005E.infix = lspace:3 rspace:3 direction:horizontal # ^ operator.\u005F.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # _ low line operator.\u005F.infix = lspace:0 rspace:0 direction:horizontal # _ low line operator.\u0060.postfix = lspace:0 rspace:0 accent # ` operator.\u007B.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # { operator.\u007C.infix = lspace:5 rspace:5 fence direction:vertical # | | operator.\u007C.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # | operator.\u007C.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # | operator.\u007C\u007C.infix = lspace:5 rspace:5 fence direction:vertical # || operator.\u007C\u007C.prefix = lspace:0 rspace:0 fence direction:vertical # multiple character operator: || operator.\u007C\u007C.postfix = lspace:0 rspace:0 fence direction:vertical # multiple character operator: || operator.\u007D.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # } operator.\u007E.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ~ tilde operator.\u00A8.postfix = lspace:0 rspace:0 accent # ¨ operator.\u00AC.prefix = lspace:0 rspace:0 # not sign operator.\u00AF.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ‾ operator.\u00B0.postfix = lspace:0 rspace:0 # degree sign operator.\u00B1.infix = lspace:4 rspace:4 # ± operator.\u00B1.prefix = lspace:0 rspace:0 # ± operator.\u00B2.postfix = lspace:0 rspace:0 # superscript two operator.\u00B3.postfix = lspace:0 rspace:0 # superscript three operator.\u00B4.postfix = lspace:0 rspace:0 accent # ´ operator.\u00B7.infix = lspace:3 rspace:3 # · operator.\u00B8.postfix = lspace:0 rspace:0 accent # ¸ operator.\u00B9.postfix = lspace:0 rspace:0 # superscript one operator.\u00D7.infix = lspace:3 rspace:3 # multiplication sign operator.\u00F7.infix = lspace:4 rspace:4 # division sign operator.\u02C6.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # modifier letter circumflex accent operator.\u02C7.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ˇ caron operator.\u02C9.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # modifier letter macron operator.\u02CA.postfix = lspace:0 rspace:0 accent # modifier letter acute accent operator.\u02CB.postfix = lspace:0 rspace:0 accent # modifier letter grave accent operator.\u02CD.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # modifier letter low macron operator.\u02D8.postfix = lspace:0 rspace:0 accent # ˘ operator.\u02D9.postfix = lspace:0 rspace:0 accent # ˙ operator.\u02DA.postfix = lspace:0 rspace:0 accent # ring above operator.\u02DC.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ˜ small tilde operator.\u02DD.postfix = lspace:0 rspace:0 accent # ˝ operator.\u02F7.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # modifier letter low tilde operator.\u0302.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # combining circumflex accent operator.\u0311.postfix = lspace:0 rspace:0 accent # ̑ operator.\u2016.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ‖ ‖ operator.\u2016.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ‖ ‖ operator.\u2018.prefix = lspace:0 rspace:0 fence # ‘ operator.\u2019.postfix = lspace:0 rspace:0 fence # ’ operator.\u201A.postfix = lspace:0 rspace:0 # single low-9 quotation mark operator.\u201B.postfix = lspace:0 rspace:0 # single high-reversed-9 quotation mark operator.\u201C.prefix = lspace:0 rspace:0 fence # “ operator.\u201D.postfix = lspace:0 rspace:0 fence # ” operator.\u201E.postfix = lspace:0 rspace:0 # double low-9 quotation mark operator.\u201F.postfix = lspace:0 rspace:0 # double high-reversed-9 quotation mark operator.\u2022.infix = lspace:3 rspace:3 # bullet operator.\u2032.postfix = lspace:0 rspace:0 # prime operator.\u2033.postfix = lspace:0 rspace:0 # double prime operator.\u2034.postfix = lspace:0 rspace:0 # triple prime operator.\u2035.postfix = lspace:0 rspace:0 # reversed prime operator.\u2036.postfix = lspace:0 rspace:0 # reversed double prime operator.\u2037.postfix = lspace:0 rspace:0 # reversed triple prime operator.\u203E.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # overline operator.\u2043.infix = lspace:3 rspace:3 # hyphen bullet operator.\u2044.infix = lspace:4 rspace:4 direction:vertical # fraction slash operator.\u2057.postfix = lspace:0 rspace:0 # quadruple prime operator.\u2061.infix = lspace:0 rspace:0 # ⁡ operator.\u2062.infix = lspace:0 rspace:0 # ⁢ operator.\u2063.infix = lspace:0 rspace:0 separator # ⁣ operator.\u2064.infix = lspace:0 rspace:0 # invisible plus operator.\u20DB.postfix = lspace:0 rspace:0 accent # ⃛ operator.\u20DC.postfix = lspace:0 rspace:0 accent # combining four dots above operator.\u2145.prefix = lspace:3 rspace:0 # ⅅ operator.\u2146.prefix = lspace:3 rspace:0 # ⅆ operator.\u2190.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ← operator.\u2191.infix = lspace:5 rspace:5 stretchy direction:vertical # ↑ operator.\u2192.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # → operator.\u2193.infix = lspace:5 rspace:5 stretchy direction:vertical # ↓ operator.\u2194.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↔ operator.\u2195.infix = lspace:5 rspace:5 stretchy direction:vertical # ↕ operator.\u2196.infix = lspace:5 rspace:5 direction:vertical # ↖ operator.\u2197.infix = lspace:5 rspace:5 direction:vertical # ↗ operator.\u2198.infix = lspace:5 rspace:5 direction:horizontal # ↘ operator.\u2199.infix = lspace:5 rspace:5 direction:horizontal # ↙ operator.\u219A.infix = lspace:5 rspace:5 stretchy accent # leftwards arrow with stroke operator.\u219B.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow with stroke operator.\u219C.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards wave arrow operator.\u219D.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards wave arrow operator.\u219E.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards two headed arrow operator.\u219F.infix = lspace:5 rspace:5 stretchy accent direction:vertical # upwards two headed arrow operator.\u21A0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards two headed arrow operator.\u21A1.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards two headed arrow operator.\u21A2.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards arrow with tail operator.\u21A3.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards arrow with tail operator.\u21A4.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↤ operator.\u21A5.infix = lspace:5 rspace:5 stretchy direction:vertical # ↥ operator.\u21A6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↦ operator.\u21A7.infix = lspace:5 rspace:5 stretchy direction:vertical # ↧ operator.\u21A8.infix = lspace:5 rspace:5 stretchy direction:vertical # up down arrow with base operator.\u21A9.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↩ ↩ operator.\u21AA.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↪ ↪ operator.\u21AB.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards arrow with loop operator.\u21AC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards arrow with loop operator.\u21AD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # left right wave arrow operator.\u21AE.infix = lspace:5 rspace:5 stretchy accent # left right arrow with stroke operator.\u21AF.infix = lspace:5 rspace:5 direction:vertical # downwards zigzag arrow operator.\u21B0.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards arrow with tip leftwards operator.\u21B1.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards arrow with tip rightwards operator.\u21B2.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards arrow with tip leftwards operator.\u21B3.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards arrow with tip rightwards operator.\u21B4.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards arrow with corner downwards operator.\u21B5.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards arrow with corner leftwards operator.\u21B6.infix = lspace:5 rspace:5 accent # anticlockwise top semicircle arrow operator.\u21B7.infix = lspace:5 rspace:5 accent # clockwise top semicircle arrow operator.\u21B8.infix = lspace:5 rspace:5 # north west arrow to long bar operator.\u21B9.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards arrow to bar over rightwards arrow to bar operator.\u21BA.infix = lspace:5 rspace:5 # anticlockwise open circle arrow operator.\u21BB.infix = lspace:5 rspace:5 # clockwise open circle arrow operator.\u21BC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↼ operator.\u21BD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↽ operator.\u21BE.infix = lspace:5 rspace:5 stretchy direction:vertical # ↾ operator.\u21BF.infix = lspace:5 rspace:5 stretchy direction:vertical # ↿ operator.\u21C0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇀ operator.\u21C1.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇁ operator.\u21C2.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇂ operator.\u21C3.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇃ operator.\u21C4.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇄ operator.\u21C5.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇅ operator.\u21C6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇆ operator.\u21C7.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards paired arrows operator.\u21C8.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards paired arrows operator.\u21C9.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards paired arrows operator.\u21CA.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards paired arrows operator.\u21CB.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇋ operator.\u21CC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇌ operator.\u21CD.infix = lspace:5 rspace:5 stretchy accent # leftwards double arrow with stroke operator.\u21CE.infix = lspace:5 rspace:5 stretchy accent # left right double arrow with stroke operator.\u21CF.infix = lspace:5 rspace:5 stretchy accent # rightwards double arrow with stroke operator.\u21D0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇐ operator.\u21D1.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇑ operator.\u21D2.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇒ ⇒ operator.\u21D3.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇓ operator.\u21D4.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇔ operator.\u21D5.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇕ operator.\u21D6.infix = lspace:5 rspace:5 # north west double arrow operator.\u21D7.infix = lspace:5 rspace:5 # north east double arrow operator.\u21D8.infix = lspace:5 rspace:5 # south east double arrow operator.\u21D9.infix = lspace:5 rspace:5 # south west double arrow operator.\u21DA.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards triple arrow operator.\u21DB.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards triple arrow operator.\u21DC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards squiggle arrow operator.\u21DD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards squiggle arrow operator.\u21DE.infix = lspace:5 rspace:5 stretchy # upwards arrow with double stroke operator.\u21DF.infix = lspace:5 rspace:5 stretchy # downwards arrow with double stroke operator.\u21E0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards dashed arrow operator.\u21E1.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards dashed arrow operator.\u21E2.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards dashed arrow operator.\u21E3.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards dashed arrow operator.\u21E4.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇤ operator.\u21E5.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇥ operator.\u21E6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards white arrow operator.\u21E7.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow operator.\u21E8.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards white arrow operator.\u21E9.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards white arrow operator.\u21EA.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow from bar operator.\u21EB.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow on pedestal operator.\u21EC.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow on pedestal with horizontal bar operator.\u21ED.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow on pedestal with vertical bar operator.\u21EE.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white double arrow operator.\u21EF.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white double arrow on pedestal operator.\u21F0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards white arrow from wall operator.\u21F1.infix = lspace:5 rspace:5 # north west arrow to corner operator.\u21F2.infix = lspace:5 rspace:5 # south east arrow to corner operator.\u21F3.infix = lspace:5 rspace:5 stretchy direction:vertical # up down white arrow operator.\u21F4.infix = lspace:5 rspace:5 stretchy accent # right arrow with small circle operator.\u21F5.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇵ operator.\u21F6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # three rightwards arrows operator.\u21F7.infix = lspace:5 rspace:5 stretchy accent # leftwards arrow with vertical stroke operator.\u21F8.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow with vertical stroke operator.\u21F9.infix = lspace:5 rspace:5 stretchy accent # left right arrow with vertical stroke operator.\u21FA.infix = lspace:5 rspace:5 stretchy accent # leftwards arrow with double vertical stroke operator.\u21FB.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow with double vertical stroke operator.\u21FC.infix = lspace:5 rspace:5 stretchy accent # left right arrow with double vertical stroke operator.\u21FD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards open-headed arrow operator.\u21FE.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards open-headed arrow operator.\u21FF.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # left right open-headed arrow operator.\u2200.prefix = lspace:0 rspace:0 # ∀ operator.\u2201.prefix = lspace:0 rspace:0 # complement operator.\u2202.prefix = lspace:3 rspace:0 # ∂ operator.\u2203.prefix = lspace:0 rspace:0 # ∃ operator.\u2204.prefix = lspace:0 rspace:0 # ∄ operator.\u2206.infix = lspace:0 rspace:0 # increment operator.\u2207.prefix = lspace:0 rspace:0 # ∇ operator.\u2208.infix = lspace:5 rspace:5 # ∈ operator.\u2209.infix = lspace:5 rspace:5 # ∉ operator.\u220A.infix = lspace:5 rspace:5 # small element of operator.\u220B.infix = lspace:5 rspace:5 # ∋ ∋ operator.\u220C.infix = lspace:5 rspace:5 # ∌ operator.\u220D.infix = lspace:5 rspace:5 # small contains as member operator.\u220F.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ∏ operator.\u2210.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ∐ operator.\u2211.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ∑ operator.\u2212.infix = lspace:4 rspace:4 # official Unicode minus sign operator.\u2212.prefix = lspace:0 rspace:0 # official Unicode minus sign operator.\u2213.infix = lspace:4 rspace:4 # ∓ operator.\u2213.prefix = lspace:0 rspace:0 # ∓ operator.\u2214.infix = lspace:4 rspace:4 # dot plus operator.\u2215.infix = lspace:4 rspace:4 direction:vertical # division slash operator.\u2216.infix = lspace:4 rspace:4 direction:vertical # set minus operator.\u2217.infix = lspace:3 rspace:3 # asterisk operator operator.\u2218.infix = lspace:3 rspace:3 # ∘ operator.\u2219.infix = lspace:3 rspace:3 # bullet operator operator.\u221A.prefix = lspace:3 rspace:0 direction:vertical # √ operator.\u221B.prefix = lspace:3 rspace:0 # cube root operator.\u221C.prefix = lspace:3 rspace:0 # fourth root operator.\u221D.infix = lspace:5 rspace:5 # ∝ operator.\u221F.prefix = lspace:0 rspace:0 # right angle operator.\u2220.prefix = lspace:0 rspace:0 # angle operator.\u2221.prefix = lspace:0 rspace:0 # measured angle operator.\u2222.prefix = lspace:0 rspace:0 # spherical angle operator.\u2223.infix = lspace:5 rspace:5 direction:vertical # divides operator.\u2224.infix = lspace:5 rspace:5 # ∤ operator.\u2225.infix = lspace:5 rspace:5 direction:vertical # parallel to operator.\u2226.infix = lspace:5 rspace:5 # ∦ operator.\u2227.infix = lspace:4 rspace:4 # ∧ operator.\u2228.infix = lspace:4 rspace:4 # ∨ operator.\u2229.infix = lspace:4 rspace:4 # ∩ operator.\u222A.infix = lspace:4 rspace:4 # ∪ operator.\u222B.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # ∫ operator.\u222C.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # double integral operator.\u222D.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # triple integral operator.\u222E.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # ∮ operator.\u222F.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # ∯ operator.\u2230.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # volume integral operator.\u2231.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # clockwise integral operator.\u2232.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # ∲ operator.\u2233.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # ∳ operator.\u2234.prefix = lspace:0 rspace:0 # therefore operator.\u2235.prefix = lspace:0 rspace:0 # because operator.\u2236.infix = lspace:4 rspace:4 # ratio operator.\u2237.infix = lspace:5 rspace:5 # ∷ ∷ operator.\u2238.infix = lspace:4 rspace:4 # dot minus operator.\u2239.infix = lspace:5 rspace:5 # excess operator.\u223A.infix = lspace:5 rspace:5 # geometric proportion operator.\u223B.infix = lspace:5 rspace:5 # homothetic operator.\u223C.infix = lspace:5 rspace:5 # ∼ operator.\u223C.prefix = lspace:0 rspace:0 # tilde operator operator.\u223D.infix = lspace:5 rspace:5 # reversed tilde operator.\u223E.infix = lspace:5 rspace:5 # inverted lazy s operator.\u2240.infix = lspace:3 rspace:3 # ≀ operator.\u2241.infix = lspace:5 rspace:5 # ≁ operator.\u2242.infix = lspace:5 rspace:5 # ≂ operator.\u2243.infix = lspace:5 rspace:5 # ≃ operator.\u2244.infix = lspace:5 rspace:5 # ≄ operator.\u2245.infix = lspace:5 rspace:5 # ≅ operator.\u2246.infix = lspace:5 rspace:5 # approximately but not actually equal to operator.\u2247.infix = lspace:5 rspace:5 # ≇ operator.\u2248.infix = lspace:5 rspace:5 # ≈ operator.\u2249.infix = lspace:5 rspace:5 # ≉ operator.\u224A.infix = lspace:5 rspace:5 # almost equal or equal to operator.\u224B.infix = lspace:5 rspace:5 # triple tilde operator.\u224C.infix = lspace:5 rspace:5 # all equal to operator.\u224D.infix = lspace:5 rspace:5 # ≍ operator.\u224E.infix = lspace:5 rspace:5 # ≎ operator.\u224F.infix = lspace:5 rspace:5 # ≏ operator.\u2250.infix = lspace:5 rspace:5 # ≐ operator.\u2251.infix = lspace:5 rspace:5 # geometrically equal to operator.\u2252.infix = lspace:5 rspace:5 # approximately equal to or the image of operator.\u2253.infix = lspace:5 rspace:5 # image of or approximately equal to operator.\u2254.infix = lspace:5 rspace:5 # ≔ operator.\u2255.infix = lspace:5 rspace:5 # equals colon operator.\u2256.infix = lspace:5 rspace:5 # ring in equal to operator.\u2257.infix = lspace:5 rspace:5 # ring equal to operator.\u2258.infix = lspace:5 rspace:5 # corresponds to operator.\u2259.infix = lspace:5 rspace:5 # estimates operator.\u225A.infix = lspace:5 rspace:5 # equiangular to operator.\u225B.infix = lspace:5 rspace:5 # star equals operator.\u225C.infix = lspace:5 rspace:5 # delta equal to operator.\u225D.infix = lspace:5 rspace:5 # equal to by definition operator.\u225E.infix = lspace:5 rspace:5 # measured by operator.\u225F.infix = lspace:5 rspace:5 # questioned equal to operator.\u2260.infix = lspace:5 rspace:5 # ≠ operator.\u2261.infix = lspace:5 rspace:5 # ≡ operator.\u2262.infix = lspace:5 rspace:5 # ≢ operator.\u2263.infix = lspace:5 rspace:5 # strictly equivalent to operator.\u2264.infix = lspace:5 rspace:5 # ≤ operator.\u2265.infix = lspace:5 rspace:5 # ≥ operator.\u2266.infix = lspace:5 rspace:5 # ≦ operator.\u2267.infix = lspace:5 rspace:5 # ≧ operator.\u2268.infix = lspace:5 rspace:5 # less-than but not equal to operator.\u2269.infix = lspace:5 rspace:5 # greater-than but not equal to operator.\u226A.infix = lspace:5 rspace:5 # ≪ operator.\u226B.infix = lspace:5 rspace:5 # ≫ operator.\u226C.infix = lspace:5 rspace:5 # between operator.\u226D.infix = lspace:5 rspace:5 # ≭ operator.\u226E.infix = lspace:5 rspace:5 # ≮ operator.\u226F.infix = lspace:5 rspace:5 # ≯ operator.\u2270.infix = lspace:5 rspace:5 # ≰ operator.\u2271.infix = lspace:5 rspace:5 # ≱ operator.\u2272.infix = lspace:5 rspace:5 # ≲ operator.\u2273.infix = lspace:5 rspace:5 # ≳ operator.\u2274.infix = lspace:5 rspace:5 # ≴ operator.\u2275.infix = lspace:5 rspace:5 # ≵ operator.\u2276.infix = lspace:5 rspace:5 # ≶ operator.\u2277.infix = lspace:5 rspace:5 # ≷ operator.\u2278.infix = lspace:5 rspace:5 # ≸ operator.\u2279.infix = lspace:5 rspace:5 # ≹ operator.\u227A.infix = lspace:5 rspace:5 # ≺ operator.\u227B.infix = lspace:5 rspace:5 # ≻ operator.\u227C.infix = lspace:5 rspace:5 # ≼ operator.\u227D.infix = lspace:5 rspace:5 # ≽ operator.\u227E.infix = lspace:5 rspace:5 # ≾ operator.\u227F.infix = lspace:5 rspace:5 # ≿ operator.\u2280.infix = lspace:5 rspace:5 # ⊀ operator.\u2281.infix = lspace:5 rspace:5 # ⊁ operator.\u2282.infix = lspace:5 rspace:5 # ⊂ operator.\u2283.infix = lspace:5 rspace:5 # ⊃ operator.\u2284.infix = lspace:5 rspace:5 # ⊄ operator.\u2285.infix = lspace:5 rspace:5 # ⊅ operator.\u2286.infix = lspace:5 rspace:5 # ⊆ operator.\u2287.infix = lspace:5 rspace:5 # ⊇ operator.\u2288.infix = lspace:5 rspace:5 # ⊈ operator.\u2289.infix = lspace:5 rspace:5 # ⊉ operator.\u228A.infix = lspace:5 rspace:5 # ⊊ ⊊ operator.\u228B.infix = lspace:5 rspace:5 # superset of with not equal to operator.\u228C.infix = lspace:4 rspace:4 # multiset operator.\u228D.infix = lspace:4 rspace:4 # multiset multiplication operator.\u228E.infix = lspace:4 rspace:4 direction:vertical # ⊎ operator.\u228F.infix = lspace:5 rspace:5 # ⊏ operator.\u2290.infix = lspace:5 rspace:5 # ⊐ operator.\u2291.infix = lspace:5 rspace:5 # ⊑ operator.\u2292.infix = lspace:5 rspace:5 # ⊒ operator.\u2293.infix = lspace:4 rspace:4 direction:vertical # ⊓ operator.\u2294.infix = lspace:4 rspace:4 direction:vertical # ⊔ operator.\u2295.infix = lspace:4 rspace:4 direction:vertical # ⊕ operator.\u2296.infix = lspace:4 rspace:4 direction:vertical # ⊖ operator.\u2297.infix = lspace:3 rspace:3 direction:vertical # ⊗ operator.\u2298.infix = lspace:4 rspace:4 # circled division slash operator.\u2299.infix = lspace:3 rspace:3 direction:vertical # ⊙ operator.\u229A.infix = lspace:3 rspace:3 # circled ring operator operator.\u229B.infix = lspace:3 rspace:3 # circled asterisk operator operator.\u229C.infix = lspace:5 rspace:5 # circled equals operator.\u229D.infix = lspace:4 rspace:4 # circled dash operator.\u229E.infix = lspace:4 rspace:4 # squared plus operator.\u229F.infix = lspace:4 rspace:4 # squared minus operator.\u22A0.infix = lspace:3 rspace:3 # squared times operator.\u22A1.infix = lspace:3 rspace:3 # squared dot operator operator.\u22A2.infix = lspace:5 rspace:5 # ⊢ operator.\u22A3.infix = lspace:5 rspace:5 # ⊣ operator.\u22A6.infix = lspace:5 rspace:5 # assertion operator.\u22A7.infix = lspace:5 rspace:5 # models operator.\u22A8.infix = lspace:5 rspace:5 # ⊨ operator.\u22A9.infix = lspace:5 rspace:5 # forces operator.\u22AA.infix = lspace:5 rspace:5 # triple vertical bar right turnstile operator.\u22AB.infix = lspace:5 rspace:5 # double vertical bar double right turnstile operator.\u22AC.infix = lspace:5 rspace:5 # does not prove operator.\u22AD.infix = lspace:5 rspace:5 # not true operator.\u22AE.infix = lspace:5 rspace:5 # does not force operator.\u22AF.infix = lspace:5 rspace:5 # negated double vertical bar double right turnstile operator.\u22B0.infix = lspace:5 rspace:5 # precedes under relation operator.\u22B1.infix = lspace:5 rspace:5 # succeeds under relation operator.\u22B2.infix = lspace:5 rspace:5 # ⊲ operator.\u22B3.infix = lspace:5 rspace:5 # ⊳ operator.\u22B4.infix = lspace:5 rspace:5 # ⊴ operator.\u22B5.infix = lspace:5 rspace:5 # ⊵ operator.\u22B6.infix = lspace:5 rspace:5 # original of operator.\u22B7.infix = lspace:5 rspace:5 # image of operator.\u22B8.infix = lspace:5 rspace:5 # multimap operator.\u22BA.infix = lspace:3 rspace:3 # intercalate operator.\u22BB.infix = lspace:4 rspace:4 # xor operator.\u22BC.infix = lspace:4 rspace:4 # nand operator.\u22BD.infix = lspace:4 rspace:4 # nor operator.\u22BE.prefix = lspace:0 rspace:0 # right angle with arc operator.\u22BF.prefix = lspace:0 rspace:0 # right triangle operator.\u22C0.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ⋀ operator.\u22C1.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ⋁ operator.\u22C2.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ⋂ operator.\u22C3.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ⋃ operator.\u22C4.infix = lspace:3 rspace:3 # ⋄ operator.\u22C5.infix = lspace:3 rspace:3 # ċ operator.\u22C6.infix = lspace:3 rspace:3 # ⋆ operator.\u22C7.infix = lspace:3 rspace:3 # division times operator.\u22C8.infix = lspace:5 rspace:5 # bowtie operator.\u22C9.infix = lspace:3 rspace:3 # left normal factor semidirect product operator.\u22CA.infix = lspace:3 rspace:3 # right normal factor semidirect product operator.\u22CB.infix = lspace:3 rspace:3 # left semidirect product operator.\u22CC.infix = lspace:3 rspace:3 # right semidirect product operator.\u22CD.infix = lspace:5 rspace:5 # reversed tilde equals operator.\u22CE.infix = lspace:4 rspace:4 # curly logical or operator.\u22CF.infix = lspace:4 rspace:4 # curly logical and operator.\u22D0.infix = lspace:5 rspace:5 # ⋐ operator.\u22D1.infix = lspace:5 rspace:5 # double superset operator.\u22D2.infix = lspace:4 rspace:4 # ⋒ operator.\u22D3.infix = lspace:4 rspace:4 # ⋓ operator.\u22D4.infix = lspace:5 rspace:5 # pitchfork operator.\u22D5.infix = lspace:5 rspace:5 # equal and parallel to operator.\u22D6.infix = lspace:5 rspace:5 # less-than with dot operator.\u22D7.infix = lspace:5 rspace:5 # greater-than with dot operator.\u22D8.infix = lspace:5 rspace:5 # very much less-than operator.\u22D9.infix = lspace:5 rspace:5 # very much greater-than operator.\u22DA.infix = lspace:5 rspace:5 # ⋚ operator.\u22DB.infix = lspace:5 rspace:5 # ⋛ operator.\u22DC.infix = lspace:5 rspace:5 # equal to or less-than operator.\u22DD.infix = lspace:5 rspace:5 # equal to or greater-than operator.\u22DE.infix = lspace:5 rspace:5 # equal to or precedes operator.\u22DF.infix = lspace:5 rspace:5 # equal to or succeeds operator.\u22E0.infix = lspace:5 rspace:5 # ⋠ operator.\u22E1.infix = lspace:5 rspace:5 # ⋡ operator.\u22E2.infix = lspace:5 rspace:5 # ⋢ operator.\u22E3.infix = lspace:5 rspace:5 # ⋣ operator.\u22E4.infix = lspace:5 rspace:5 # square image of or not equal to operator.\u22E5.infix = lspace:5 rspace:5 # square original of or not equal to operator.\u22E6.infix = lspace:5 rspace:5 # less-than but not equivalent to operator.\u22E7.infix = lspace:5 rspace:5 # greater-than but not equivalent to operator.\u22E8.infix = lspace:5 rspace:5 # precedes but not equivalent to operator.\u22E9.infix = lspace:5 rspace:5 # succeeds but not equivalent to operator.\u22EA.infix = lspace:5 rspace:5 # ⋪ operator.\u22EB.infix = lspace:5 rspace:5 # ⋫ operator.\u22EC.infix = lspace:5 rspace:5 # ⋬ operator.\u22ED.infix = lspace:5 rspace:5 # ⋭ operator.\u22F2.infix = lspace:5 rspace:5 # element of with long horizontal stroke operator.\u22F3.infix = lspace:5 rspace:5 # element of with vertical bar at end of horizontal stroke operator.\u22F4.infix = lspace:5 rspace:5 # small element of with vertical bar at end of horizontal stroke operator.\u22F5.infix = lspace:5 rspace:5 # element of with dot above operator.\u22F6.infix = lspace:5 rspace:5 # element of with overbar operator.\u22F7.infix = lspace:5 rspace:5 # small element of with overbar operator.\u22F8.infix = lspace:5 rspace:5 # element of with underbar operator.\u22F9.infix = lspace:5 rspace:5 # element of with two horizontal strokes operator.\u22FA.infix = lspace:5 rspace:5 # contains with long horizontal stroke operator.\u22FB.infix = lspace:5 rspace:5 # contains with vertical bar at end of horizontal stroke operator.\u22FC.infix = lspace:5 rspace:5 # small contains with vertical bar at end of horizontal stroke operator.\u22FD.infix = lspace:5 rspace:5 # contains with overbar operator.\u22FE.infix = lspace:5 rspace:5 # small contains with overbar operator.\u22FF.infix = lspace:5 rspace:5 # z notation bag membership operator.\u2301.infix = lspace:5 rspace:5 # electric arrow operator.\u2305.infix = lspace:3 rspace:3 # projective operator.\u2306.infix = lspace:3 rspace:3 # perspective operator.\u2308.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⌈ operator.\u2309.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⌉ operator.\u230A.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⌊ operator.\u230B.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⌋ operator.\u2310.prefix = lspace:0 rspace:0 # reversed not sign operator.\u2319.prefix = lspace:0 rspace:0 # turned not sign operator.\u2322.postfix = lspace:0 rspace:0 stretchy # frown operator.\u2323.postfix = lspace:0 rspace:0 stretchy # smile operator.\u2329.prefix = lspace:0 rspace:0 stretchy fence symmetric # left-pointing angle bracket operator.\u232A.postfix = lspace:0 rspace:0 stretchy fence symmetric # right-pointing angle bracket operator.\u237C.infix = lspace:5 rspace:5 # right angle with downwards zigzag arrow operator.\u238B.infix = lspace:5 rspace:5 # broken circle with northwest arrow operator.\u23B4.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⎴ operator.\u23B5.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⎵ operator.\u23CD.postfix = lspace:0 rspace:0 # square foot operator.\u23DC.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏜ (Unicode) operator.\u23DD.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏝ (Unicode) operator.\u23DE.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏞ (Unicode) operator.\u23DF.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏟ (Unicode) operator.\u23E0.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # top tortoise shell bracket operator.\u23E1.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # bottom tortoise shell bracket operator.\u2772.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # light left tortoise shell bracket ornament operator.\u2773.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # light right tortoise shell bracket ornament operator.\u2794.infix = lspace:5 rspace:5 stretchy # heavy wide-headed rightwards arrow operator.\u2795.infix = lspace:4 rspace:4 # heavy plus sign operator.\u2795.prefix = lspace:0 rspace:0 # heavy plus sign operator.\u2796.infix = lspace:4 rspace:4 # heavy minus sign operator.\u2796.prefix = lspace:0 rspace:0 # heavy minus sign operator.\u2797.infix = lspace:4 rspace:4 # heavy division sign operator.\u2798.infix = lspace:5 rspace:5 # heavy south east arrow operator.\u2799.infix = lspace:5 rspace:5 stretchy # heavy rightwards arrow operator.\u279A.infix = lspace:5 rspace:5 # heavy north east arrow operator.\u279B.infix = lspace:5 rspace:5 stretchy # drafting point rightwards arrow operator.\u279C.infix = lspace:5 rspace:5 stretchy # heavy round-tipped rightwards arrow operator.\u279D.infix = lspace:5 rspace:5 stretchy # triangle-headed rightwards arrow operator.\u279E.infix = lspace:5 rspace:5 stretchy # heavy triangle-headed rightwards arrow operator.\u279F.infix = lspace:5 rspace:5 stretchy # dashed triangle-headed rightwards arrow operator.\u27A0.infix = lspace:5 rspace:5 stretchy # heavy dashed triangle-headed rightwards arrow operator.\u27A1.infix = lspace:5 rspace:5 stretchy # black rightwards arrow operator.\u27A5.infix = lspace:5 rspace:5 stretchy # heavy black curved downwards and rightwards arrow operator.\u27A6.infix = lspace:5 rspace:5 stretchy # heavy black curved upwards and rightwards arrow operator.\u27A7.infix = lspace:5 rspace:5 # squat black rightwards arrow operator.\u27A8.infix = lspace:5 rspace:5 stretchy # heavy concave-pointed black rightwards arrow operator.\u27A9.infix = lspace:5 rspace:5 stretchy # right-shaded white rightwards arrow operator.\u27AA.infix = lspace:5 rspace:5 stretchy # left-shaded white rightwards arrow operator.\u27AB.infix = lspace:5 rspace:5 stretchy # back-tilted shadowed white rightwards arrow operator.\u27AC.infix = lspace:5 rspace:5 stretchy # front-tilted shadowed white rightwards arrow operator.\u27AD.infix = lspace:5 rspace:5 stretchy # heavy lower right-shadowed white rightwards arrow operator.\u27AE.infix = lspace:5 rspace:5 stretchy # heavy upper right-shadowed white rightwards arrow operator.\u27AF.infix = lspace:5 rspace:5 stretchy # notched lower right-shadowed white rightwards arrow operator.\u27B1.infix = lspace:5 rspace:5 stretchy # notched upper right-shadowed white rightwards arrow operator.\u27B2.infix = lspace:5 rspace:5 # circled heavy white rightwards arrow operator.\u27B3.infix = lspace:5 rspace:5 stretchy # white-feathered rightwards arrow operator.\u27B4.infix = lspace:5 rspace:5 # black-feathered south east arrow operator.\u27B5.infix = lspace:5 rspace:5 stretchy # black-feathered rightwards arrow operator.\u27B6.infix = lspace:5 rspace:5 # black-feathered north east arrow operator.\u27B7.infix = lspace:5 rspace:5 # heavy black-feathered south east arrow operator.\u27B8.infix = lspace:5 rspace:5 stretchy # heavy black-feathered rightwards arrow operator.\u27B9.infix = lspace:5 rspace:5 # heavy black-feathered north east arrow operator.\u27BA.infix = lspace:5 rspace:5 stretchy # teardrop-barbed rightwards arrow operator.\u27BB.infix = lspace:5 rspace:5 stretchy # heavy teardrop-shanked rightwards arrow operator.\u27BC.infix = lspace:5 rspace:5 stretchy # wedge-tailed rightwards arrow operator.\u27BD.infix = lspace:5 rspace:5 stretchy # heavy wedge-tailed rightwards arrow operator.\u27BE.infix = lspace:5 rspace:5 stretchy # open-outlined rightwards arrow operator.\u27C0.prefix = lspace:0 rspace:0 # three dimensional angle operator.\u27C2.infix = lspace:5 rspace:5 # perpendicular operator.\u27CB.infix = lspace:3 rspace:3 # mathematical rising diagonal operator.\u27CD.infix = lspace:3 rspace:3 # mathematical falling diagonal operator.\u27E6.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⟦ operator.\u27E7.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⟧ operator.\u27E8.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⟨ operator.\u27E9.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⟩ operator.\u27EA.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # mathematical left double angle bracket operator.\u27EB.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # mathematical right double angle bracket operator.\u27EC.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # mathematical left white tortoise shell bracket operator.\u27ED.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # mathematical right white tortoise shell bracket operator.\u27EE.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # mathematical left flattened parenthesis operator.\u27EF.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # mathematical right flattened parenthesis operator.\u27F0.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards quadruple arrow operator.\u27F1.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards quadruple arrow operator.\u27F2.infix = lspace:5 rspace:5 # anticlockwise gapped circle arrow operator.\u27F3.infix = lspace:5 rspace:5 # clockwise gapped circle arrow operator.\u27F4.infix = lspace:5 rspace:5 stretchy # right arrow with circled plus operator.\u27F5.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟵ operator.\u27F6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟶ operator.\u27F7.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟷ operator.\u27F8.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟸ operator.\u27F9.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟹ operator.\u27FA.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟺ operator.\u27FB.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long leftwards arrow from bar operator.\u27FC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long rightwards arrow from bar operator.\u27FD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long leftwards double arrow from bar operator.\u27FE.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long rightwards double arrow from bar operator.\u27FF.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long rightwards squiggle arrow operator.\u2900.infix = lspace:5 rspace:5 stretchy accent # rightwards two-headed arrow with vertical stroke operator.\u2901.infix = lspace:5 rspace:5 stretchy accent # rightwards two-headed arrow with double vertical stroke operator.\u2902.infix = lspace:5 rspace:5 stretchy accent # leftwards double arrow with vertical stroke operator.\u2903.infix = lspace:5 rspace:5 stretchy accent # rightwards double arrow with vertical stroke operator.\u2904.infix = lspace:5 rspace:5 stretchy accent # left right double arrow with vertical stroke operator.\u2905.infix = lspace:5 rspace:5 stretchy accent # rightwards two-headed arrow from bar operator.\u2906.infix = lspace:5 rspace:5 stretchy accent # leftwards double arrow from bar operator.\u2907.infix = lspace:5 rspace:5 stretchy accent # rightwards double arrow from bar operator.\u2908.infix = lspace:5 rspace:5 stretchy # downwards arrow with horizontal stroke operator.\u2909.infix = lspace:5 rspace:5 stretchy # upwards arrow with horizontal stroke operator.\u290A.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards triple arrow operator.\u290B.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards triple arrow operator.\u290C.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards double dash arrow operator.\u290D.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards double dash arrow operator.\u290E.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards triple dash arrow operator.\u290F.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards triple dash arrow operator.\u2910.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards two-headed triple dash arrow operator.\u2911.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow with dotted stem operator.\u2912.infix = lspace:5 rspace:5 stretchy direction:vertical # ⤒ operator.\u2913.infix = lspace:5 rspace:5 stretchy direction:vertical # ⤓ operator.\u2914.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow with tail with vertical stroke operator.\u2915.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow with tail with double vertical stroke operator.\u2916.infix = lspace:5 rspace:5 stretchy accent # rightwards two-headed arrow with tail operator.\u2917.infix = lspace:5 rspace:5 stretchy accent # rightwards two-headed arrow with tail with vertical stroke operator.\u2918.infix = lspace:5 rspace:5 stretchy accent # rightwards two-headed arrow with tail with double vertical stroke operator.\u2919.infix = lspace:5 rspace:5 stretchy accent # leftwards arrow-tail operator.\u291A.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow-tail operator.\u291B.infix = lspace:5 rspace:5 stretchy accent # leftwards double arrow-tail operator.\u291C.infix = lspace:5 rspace:5 stretchy accent # rightwards double arrow-tail operator.\u291D.infix = lspace:5 rspace:5 stretchy accent # leftwards arrow to black diamond operator.\u291E.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow to black diamond operator.\u291F.infix = lspace:5 rspace:5 stretchy accent # leftwards arrow from bar to black diamond operator.\u2920.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow from bar to black diamond operator.\u2921.infix = lspace:5 rspace:5 # north west and south east arrow operator.\u2922.infix = lspace:5 rspace:5 # north east and south west arrow operator.\u2923.infix = lspace:5 rspace:5 # north west arrow with hook operator.\u2924.infix = lspace:5 rspace:5 # north east arrow with hook operator.\u2925.infix = lspace:5 rspace:5 # south east arrow with hook operator.\u2926.infix = lspace:5 rspace:5 # south west arrow with hook operator.\u2927.infix = lspace:5 rspace:5 # north west arrow and north east arrow operator.\u2928.infix = lspace:5 rspace:5 # north east arrow and south east arrow operator.\u2929.infix = lspace:5 rspace:5 # south east arrow and south west arrow operator.\u292A.infix = lspace:5 rspace:5 # south west arrow and north west arrow operator.\u292B.infix = lspace:5 rspace:5 # rising diagonal crossing falling diagonal operator.\u292C.infix = lspace:5 rspace:5 # falling diagonal crossing rising diagonal operator.\u292D.infix = lspace:5 rspace:5 # south east arrow crossing north east arrow operator.\u292E.infix = lspace:5 rspace:5 # north east arrow crossing south east arrow operator.\u292F.infix = lspace:5 rspace:5 # falling diagonal crossing north east arrow operator.\u2930.infix = lspace:5 rspace:5 # rising diagonal crossing south east arrow operator.\u2931.infix = lspace:5 rspace:5 # north east arrow crossing north west arrow operator.\u2932.infix = lspace:5 rspace:5 # north west arrow crossing north east arrow operator.\u2933.infix = lspace:5 rspace:5 accent # wave arrow pointing directly right operator.\u2934.infix = lspace:5 rspace:5 stretchy # arrow pointing rightwards then curving upwards operator.\u2935.infix = lspace:5 rspace:5 stretchy # arrow pointing rightwards then curving downwards operator.\u2936.infix = lspace:5 rspace:5 stretchy # arrow pointing downwards then curving leftwards operator.\u2937.infix = lspace:5 rspace:5 stretchy # arrow pointing downwards then curving rightwards operator.\u2938.infix = lspace:5 rspace:5 # right-side arc clockwise arrow operator.\u2939.infix = lspace:5 rspace:5 # left-side arc anticlockwise arrow operator.\u293A.infix = lspace:5 rspace:5 accent # top arc anticlockwise arrow operator.\u293B.infix = lspace:5 rspace:5 accent # bottom arc anticlockwise arrow operator.\u293C.infix = lspace:5 rspace:5 accent # top arc clockwise arrow with minus operator.\u293D.infix = lspace:5 rspace:5 accent # top arc anticlockwise arrow with plus operator.\u293E.infix = lspace:5 rspace:5 # lower right semicircular clockwise arrow operator.\u293F.infix = lspace:5 rspace:5 # lower left semicircular anticlockwise arrow operator.\u2940.infix = lspace:5 rspace:5 # anticlockwise closed circle arrow operator.\u2941.infix = lspace:5 rspace:5 # clockwise closed circle arrow operator.\u2942.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow above short leftwards arrow operator.\u2943.infix = lspace:5 rspace:5 stretchy accent # leftwards arrow above short rightwards arrow operator.\u2944.infix = lspace:5 rspace:5 stretchy accent # short rightwards arrow above leftwards arrow operator.\u2945.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow with plus below operator.\u2946.infix = lspace:5 rspace:5 stretchy accent # leftwards arrow with plus below operator.\u2947.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow through x operator.\u2948.infix = lspace:5 rspace:5 stretchy accent # left right arrow through small circle operator.\u2949.infix = lspace:5 rspace:5 stretchy # upwards two-headed arrow from small circle operator.\u294A.infix = lspace:5 rspace:5 stretchy accent # left barb up right barb down harpoon operator.\u294B.infix = lspace:5 rspace:5 stretchy accent # left barb down right barb up harpoon operator.\u294C.infix = lspace:5 rspace:5 stretchy # up barb right down barb left harpoon operator.\u294D.infix = lspace:5 rspace:5 stretchy # up barb left down barb right harpoon operator.\u294E.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥎ operator.\u294F.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥏ operator.\u2950.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥐ operator.\u2951.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥑ operator.\u2952.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥒ operator.\u2953.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥓ operator.\u2954.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥔ operator.\u2955.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥕ operator.\u2956.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⥖ operator.\u2957.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⥗ operator.\u2958.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥘ operator.\u2959.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥙ operator.\u295A.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥚ operator.\u295B.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥛ operator.\u295C.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥜ operator.\u295D.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥝ operator.\u295E.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥞ operator.\u295F.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥟ operator.\u2960.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥠ operator.\u2961.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥡ operator.\u2962.infix = lspace:5 rspace:5 stretchy accent # leftwards harpoon with barb up above leftwards harpoon with barb down operator.\u2963.infix = lspace:5 rspace:5 stretchy # upwards harpoon with barb left beside upwards harpoon with barb right operator.\u2964.infix = lspace:5 rspace:5 stretchy accent # rightwards harpoon with barb up above rightwards harpoon with barb down operator.\u2965.infix = lspace:5 rspace:5 stretchy # downwards harpoon with barb left beside downwards harpoon with barb right operator.\u2966.infix = lspace:5 rspace:5 stretchy accent # leftwards harpoon with barb up above rightwards harpoon with barb up operator.\u2967.infix = lspace:5 rspace:5 stretchy accent # leftwards harpoon with barb down above rightwards harpoon with barb down operator.\u2968.infix = lspace:5 rspace:5 stretchy accent # rightwards harpoon with barb up above leftwards harpoon with barb up operator.\u2969.infix = lspace:5 rspace:5 stretchy accent # rightwards harpoon with barb down above leftwards harpoon with barb down operator.\u296A.infix = lspace:5 rspace:5 stretchy accent # leftwards harpoon with barb up above long dash operator.\u296B.infix = lspace:5 rspace:5 stretchy accent # leftwards harpoon with barb down below long dash operator.\u296C.infix = lspace:5 rspace:5 stretchy accent # rightwards harpoon with barb up above long dash operator.\u296D.infix = lspace:5 rspace:5 stretchy accent # rightwards harpoon with barb down below long dash operator.\u296E.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥮ operator.\u296F.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥯ operator.\u2970.infix = lspace:5 rspace:5 stretchy accent # ⥰ operator.\u2971.infix = lspace:5 rspace:5 stretchy accent # equals sign above rightwards arrow operator.\u2972.infix = lspace:5 rspace:5 stretchy accent # tilde operator above rightwards arrow operator.\u2973.infix = lspace:5 rspace:5 stretchy accent # leftwards arrow above tilde operator operator.\u2974.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow above tilde operator operator.\u2975.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow above almost equal to operator.\u2976.infix = lspace:5 rspace:5 accent # less-than above leftwards arrow operator.\u2977.infix = lspace:5 rspace:5 accent # leftwards arrow through less-than operator.\u2978.infix = lspace:5 rspace:5 accent # greater-than above rightwards arrow operator.\u2979.infix = lspace:5 rspace:5 accent # subset above rightwards arrow operator.\u297A.infix = lspace:5 rspace:5 accent # leftwards arrow through subset operator.\u297B.infix = lspace:5 rspace:5 accent # superset above leftwards arrow operator.\u297C.infix = lspace:5 rspace:5 stretchy accent # left fish tail operator.\u297D.infix = lspace:5 rspace:5 stretchy accent # right fish tail operator.\u297E.infix = lspace:5 rspace:5 stretchy # up fish tail operator.\u297F.infix = lspace:5 rspace:5 stretchy # down fish tail operator.\u2980.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # triple direction:vertical bar delimiter operator.\u2980.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # triple direction:vertical bar delimiter operator.\u2981.infix = lspace:5 rspace:5 # z notation spot operator.\u2982.infix = lspace:5 rspace:5 # z notation type colon operator.\u2983.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # left white curly bracket operator.\u2984.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # right white curly bracket operator.\u2985.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # left white parenthesis operator.\u2986.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # right white parenthesis operator.\u2987.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # z notation left image bracket operator.\u2988.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # z notation right image bracket operator.\u2989.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # z notation left binding bracket operator.\u298A.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # z notation right binding bracket operator.\u298B.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # left square bracket with underbar operator.\u298C.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # right square bracket with underbar operator.\u298D.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # left square bracket with tick in top corner operator.\u298E.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # right square bracket with tick in bottom corner operator.\u298F.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # left square bracket with tick in bottom corner operator.\u2990.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # right square bracket with tick in top corner operator.\u2991.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # left angle bracket with dot operator.\u2992.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # right angle bracket with dot operator.\u2993.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # left arc less-than bracket operator.\u2994.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # right arc greater-than bracket operator.\u2995.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # double left arc greater-than bracket operator.\u2996.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # double right arc less-than bracket operator.\u2997.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # left black tortoise shell bracket operator.\u2998.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # right black tortoise shell bracket operator.\u2999.prefix = lspace:0 rspace:0 stretchy fence symmetric # dotted fence operator.\u2999.postfix = lspace:0 rspace:0 stretchy fence symmetric # dotted fence operator.\u299B.prefix = lspace:0 rspace:0 # measured angle opening left operator.\u299C.prefix = lspace:0 rspace:0 # right angle variant with square operator.\u299D.prefix = lspace:0 rspace:0 # measured right angle with dot operator.\u299E.prefix = lspace:0 rspace:0 # angle with s inside operator.\u299F.prefix = lspace:0 rspace:0 # acute angle operator.\u29A0.prefix = lspace:0 rspace:0 # spherical angle opening left operator.\u29A1.prefix = lspace:0 rspace:0 # spherical angle opening up operator.\u29A2.prefix = lspace:0 rspace:0 # turned angle operator.\u29A3.prefix = lspace:0 rspace:0 # reversed angle operator.\u29A4.prefix = lspace:0 rspace:0 # angle with underbar operator.\u29A5.prefix = lspace:0 rspace:0 # reversed angle with underbar operator.\u29A6.prefix = lspace:0 rspace:0 # oblique angle opening up operator.\u29A7.prefix = lspace:0 rspace:0 # oblique angle opening down operator.\u29A8.prefix = lspace:0 rspace:0 # measured angle with open arm ending in arrow pointing up and right operator.\u29A9.prefix = lspace:0 rspace:0 # measured angle with open arm ending in arrow pointing up and left operator.\u29AA.prefix = lspace:0 rspace:0 # measured angle with open arm ending in arrow pointing down and right operator.\u29AB.prefix = lspace:0 rspace:0 # measured angle with open arm ending in arrow pointing down and left operator.\u29AC.prefix = lspace:0 rspace:0 # measured angle with open arm ending in arrow pointing right and up operator.\u29AD.prefix = lspace:0 rspace:0 # measured angle with open arm ending in arrow pointing left and up operator.\u29AE.prefix = lspace:0 rspace:0 # measured angle with open arm ending in arrow pointing right and down operator.\u29AF.prefix = lspace:0 rspace:0 # measured angle with open arm ending in arrow pointing left and down operator.\u29B6.infix = lspace:5 rspace:5 # circled vertical bar operator.\u29B7.infix = lspace:5 rspace:5 # circled parallel operator.\u29B8.infix = lspace:4 rspace:4 # circled reverse solidus operator.\u29B9.infix = lspace:5 rspace:5 # circled perpendicular operator.\u29BC.infix = lspace:4 rspace:4 # circled anticlockwise-rotated division sign operator.\u29C0.infix = lspace:5 rspace:5 # circled less-than operator.\u29C1.infix = lspace:5 rspace:5 # circled greater-than operator.\u29C4.infix = lspace:4 rspace:4 # squared rising diagonal slash operator.\u29C5.infix = lspace:4 rspace:4 # squared falling diagonal slash operator.\u29C6.infix = lspace:3 rspace:3 # squared asterisk operator.\u29C7.infix = lspace:3 rspace:3 # squared small circle operator.\u29C8.infix = lspace:3 rspace:3 # squared square operator.\u29CE.infix = lspace:5 rspace:5 # right triangle above left triangle operator.\u29CF.infix = lspace:5 rspace:5 # ⧏ operator.\u29D0.infix = lspace:5 rspace:5 # ⧐ operator.\u29D1.infix = lspace:5 rspace:5 # bowtie with left half black operator.\u29D2.infix = lspace:5 rspace:5 # bowtie with right half black operator.\u29D3.infix = lspace:5 rspace:5 # black bowtie operator.\u29D4.infix = lspace:3 rspace:3 # times with left half black operator.\u29D5.infix = lspace:3 rspace:3 # times with right half black operator.\u29D6.infix = lspace:3 rspace:3 # white hourglass operator.\u29D7.infix = lspace:3 rspace:3 # black hourglass operator.\u29D8.prefix = lspace:0 rspace:0 stretchy fence symmetric # left wiggly fence operator.\u29D9.postfix = lspace:0 rspace:0 stretchy fence symmetric # right wiggly fence operator.\u29DA.prefix = lspace:0 rspace:0 stretchy fence symmetric # left double wiggly fence operator.\u29DB.postfix = lspace:0 rspace:0 stretchy fence symmetric # right double wiggly fence operator.\u29DF.infix = lspace:5 rspace:5 # double-ended multimap operator.\u29E1.infix = lspace:5 rspace:5 # increases as operator.\u29E2.infix = lspace:3 rspace:3 # shuffle product operator.\u29E3.infix = lspace:5 rspace:5 # equals sign and slanted parallel operator.\u29E4.infix = lspace:5 rspace:5 # equals sign and slanted parallel with tilde above operator.\u29E5.infix = lspace:5 rspace:5 # identical to and slanted parallel operator.\u29E6.infix = lspace:5 rspace:5 # gleich stark operator.\u29F4.infix = lspace:5 rspace:5 # rule-delayed operator.\u29F5.infix = lspace:4 rspace:4 # reverse solidus operator operator.\u29F6.infix = lspace:4 rspace:4 # solidus with overbar operator.\u29F7.infix = lspace:4 rspace:4 # reverse solidus with horizontal stroke operator.\u29F8.infix = lspace:4 rspace:4 # big solidus operator.\u29F9.infix = lspace:4 rspace:4 # big reverse solidus operator.\u29FA.infix = lspace:4 rspace:4 # double plus operator.\u29FB.infix = lspace:4 rspace:4 # triple plus operator.\u29FC.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # left-pointing curved angle bracket operator.\u29FD.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # right-pointing curved angle bracket operator.\u2A00.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ⨀ operator.\u2A01.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ⨁ operator.\u2A02.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ⨂ operator.\u2A03.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # n-ary union operator with dot operator.\u2A04.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ⨄ operator.\u2A05.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # n-ary square intersection operator operator.\u2A06.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ⨆ operator.\u2A07.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # two logical and operator operator.\u2A08.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # two logical or operator operator.\u2A09.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # n-ary times operator operator.\u2A0A.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # modulo two sum operator.\u2A0B.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # summation with integral operator.\u2A0C.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # quadruple integral operator operator.\u2A0D.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # finite part integral operator.\u2A0E.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # integral with double stroke operator.\u2A0F.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # integral average with slash operator.\u2A10.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # circulation function operator.\u2A11.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # anticlockwise integration operator.\u2A12.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # line integration with rectangular path around pole operator.\u2A13.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # line integration with semicircular path around pole operator.\u2A14.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # line integration not including the pole operator.\u2A15.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # integral around a point operator operator.\u2A16.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # quaternion integral operator operator.\u2A17.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # integral with leftwards arrow with hook operator.\u2A18.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # integral with times sign operator.\u2A19.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # integral with intersection operator.\u2A1A.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # integral with union operator.\u2A1B.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # integral with overbar operator.\u2A1C.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # integral with underbar operator.\u2A1D.infix = lspace:3 rspace:3 direction:vertical # join operator.\u2A1D.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # join operator.\u2A1E.infix = lspace:3 rspace:3 direction:vertical # large left triangle operator operator.\u2A1E.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # large left triangle operator operator.\u2A1F.infix = lspace:4 rspace:4 # z notation schema composition operator.\u2A20.infix = lspace:4 rspace:4 # z notation schema piping operator.\u2A21.infix = lspace:4 rspace:4 # z notation schema projection operator.\u2A22.infix = lspace:4 rspace:4 # plus sign with small circle above operator.\u2A23.infix = lspace:4 rspace:4 # plus sign with circumflex accent above operator.\u2A24.infix = lspace:4 rspace:4 # plus sign with tilde above operator.\u2A25.infix = lspace:4 rspace:4 # plus sign with dot below operator.\u2A26.infix = lspace:4 rspace:4 # plus sign with tilde below operator.\u2A27.infix = lspace:4 rspace:4 # plus sign with subscript two operator.\u2A28.infix = lspace:4 rspace:4 # plus sign with black triangle operator.\u2A29.infix = lspace:4 rspace:4 # minus sign with comma above operator.\u2A2A.infix = lspace:4 rspace:4 # minus sign with dot below operator.\u2A2B.infix = lspace:4 rspace:4 # minus sign with falling dots operator.\u2A2C.infix = lspace:4 rspace:4 # minus sign with rising dots operator.\u2A2D.infix = lspace:4 rspace:4 # plus sign in left half circle operator.\u2A2E.infix = lspace:4 rspace:4 # plus sign in right half circle operator.\u2A2F.infix = lspace:3 rspace:3 # ⨯ operator.\u2A30.infix = lspace:3 rspace:3 # multiplication sign with dot above operator.\u2A31.infix = lspace:3 rspace:3 # multiplication sign with underbar operator.\u2A32.infix = lspace:3 rspace:3 # semidirect product with bottom closed operator.\u2A33.infix = lspace:3 rspace:3 # smash product operator.\u2A34.infix = lspace:3 rspace:3 # multiplication sign in left half circle operator.\u2A35.infix = lspace:3 rspace:3 # multiplication sign in right half circle operator.\u2A36.infix = lspace:3 rspace:3 # circled multiplication sign with circumflex accent operator.\u2A37.infix = lspace:3 rspace:3 # multiplication sign in double circle operator.\u2A38.infix = lspace:4 rspace:4 # circled division sign operator.\u2A39.infix = lspace:4 rspace:4 # plus sign in triangle operator.\u2A3A.infix = lspace:4 rspace:4 # minus sign in triangle operator.\u2A3B.infix = lspace:3 rspace:3 # multiplication sign in triangle operator.\u2A3C.infix = lspace:3 rspace:3 # interior product operator.\u2A3D.infix = lspace:3 rspace:3 # righthand interior product operator.\u2A3E.infix = lspace:4 rspace:4 # z notation relational composition operator.\u2A3F.infix = lspace:3 rspace:3 # amalgamation or coproduct operator.\u2A40.infix = lspace:4 rspace:4 # intersection with dot operator.\u2A41.infix = lspace:4 rspace:4 # union with minus sign operator.\u2A42.infix = lspace:4 rspace:4 # union with overbar operator.\u2A43.infix = lspace:4 rspace:4 # intersection with overbar operator.\u2A44.infix = lspace:4 rspace:4 # intersection with logical and operator.\u2A45.infix = lspace:4 rspace:4 # union with logical or operator.\u2A46.infix = lspace:4 rspace:4 # union above intersection operator.\u2A47.infix = lspace:4 rspace:4 # intersection above union operator.\u2A48.infix = lspace:4 rspace:4 # union above bar above intersection operator.\u2A49.infix = lspace:4 rspace:4 # intersection above bar above union operator.\u2A4A.infix = lspace:4 rspace:4 # union beside and joined with union operator.\u2A4B.infix = lspace:4 rspace:4 # intersection beside and joined with intersection operator.\u2A4C.infix = lspace:4 rspace:4 # closed union with serifs operator.\u2A4D.infix = lspace:4 rspace:4 # closed intersection with serifs operator.\u2A4E.infix = lspace:4 rspace:4 # double square intersection operator.\u2A4F.infix = lspace:4 rspace:4 # double square union operator.\u2A50.infix = lspace:3 rspace:3 # closed union with serifs and smash product operator.\u2A51.infix = lspace:4 rspace:4 # logical and with dot above operator.\u2A52.infix = lspace:4 rspace:4 # logical or with dot above operator.\u2A53.infix = lspace:4 rspace:4 direction:vertical # ⩓ operator.\u2A54.infix = lspace:4 rspace:4 direction:vertical # ⩔ operator.\u2A55.infix = lspace:4 rspace:4 # two intersecting logical and operator.\u2A56.infix = lspace:4 rspace:4 # two intersecting logical or operator.\u2A57.infix = lspace:4 rspace:4 # sloping large or operator.\u2A58.infix = lspace:4 rspace:4 # sloping large and operator.\u2A59.infix = lspace:4 rspace:4 # logical or overlapping logical and operator.\u2A5A.infix = lspace:4 rspace:4 # logical and with middle stem operator.\u2A5B.infix = lspace:4 rspace:4 # logical or with middle stem operator.\u2A5C.infix = lspace:4 rspace:4 # logical and with horizontal dash operator.\u2A5D.infix = lspace:4 rspace:4 # logical or with horizontal dash operator.\u2A5E.infix = lspace:4 rspace:4 # logical and with double overbar operator.\u2A5F.infix = lspace:4 rspace:4 # logical and with underbar operator.\u2A60.infix = lspace:4 rspace:4 # logical and with double underbar operator.\u2A61.infix = lspace:4 rspace:4 # small vee with underbar operator.\u2A62.infix = lspace:4 rspace:4 # logical or with double overbar operator.\u2A63.infix = lspace:4 rspace:4 # logical or with double underbar operator.\u2A64.infix = lspace:3 rspace:3 # z notation domain antirestriction operator.\u2A65.infix = lspace:3 rspace:3 # z notation range antirestriction operator.\u2A66.infix = lspace:5 rspace:5 # equals sign with dot below operator.\u2A67.infix = lspace:5 rspace:5 # identical with dot above operator.\u2A68.infix = lspace:5 rspace:5 # triple horizontal bar with double vertical stroke operator.\u2A69.infix = lspace:5 rspace:5 # triple horizontal bar with triple vertical stroke operator.\u2A6A.infix = lspace:5 rspace:5 # tilde operator with dot above operator.\u2A6B.infix = lspace:5 rspace:5 # tilde operator with rising dots operator.\u2A6C.infix = lspace:5 rspace:5 # similar minus similar operator.\u2A6D.infix = lspace:5 rspace:5 # congruent with dot above operator.\u2A6E.infix = lspace:5 rspace:5 # equals with asterisk operator.\u2A6F.infix = lspace:5 rspace:5 # almost equal to with circumflex accent operator.\u2A70.infix = lspace:5 rspace:5 # approximately equal or equal to operator.\u2A71.infix = lspace:5 rspace:5 # equals sign above plus sign operator.\u2A72.infix = lspace:5 rspace:5 # plus sign above equals sign operator.\u2A73.infix = lspace:5 rspace:5 # equals sign above tilde operator operator.\u2A74.infix = lspace:5 rspace:5 # double colon equal operator.\u2A75.infix = lspace:5 rspace:5 # ⩵ operator.\u2A76.infix = lspace:5 rspace:5 # three consecutive equals signs operator.\u2A77.infix = lspace:5 rspace:5 # equals sign with two dots above and two dots below operator.\u2A78.infix = lspace:5 rspace:5 # equivalent with four dots above operator.\u2A79.infix = lspace:5 rspace:5 # less-than with circle inside operator.\u2A7A.infix = lspace:5 rspace:5 # greater-than with circle inside operator.\u2A7B.infix = lspace:5 rspace:5 # less-than with question mark above operator.\u2A7C.infix = lspace:5 rspace:5 # greater-than with question mark above operator.\u2A7D.infix = lspace:5 rspace:5 # ⩽ operator.\u2A7E.infix = lspace:5 rspace:5 # ⩾ operator.\u2A7F.infix = lspace:5 rspace:5 # less-than or slanted equal to with dot inside operator.\u2A80.infix = lspace:5 rspace:5 # greater-than or slanted equal to with dot inside operator.\u2A81.infix = lspace:5 rspace:5 # less-than or slanted equal to with dot above operator.\u2A82.infix = lspace:5 rspace:5 # greater-than or slanted equal to with dot above operator.\u2A83.infix = lspace:5 rspace:5 # less-than or slanted equal to with dot above right operator.\u2A84.infix = lspace:5 rspace:5 # greater-than or slanted equal to with dot above left operator.\u2A85.infix = lspace:5 rspace:5 # ⪅ operator.\u2A86.infix = lspace:5 rspace:5 # ⪆ operator.\u2A87.infix = lspace:5 rspace:5 # less-than and single-line not equal to operator.\u2A88.infix = lspace:5 rspace:5 # greater-than and single-line not equal to operator.\u2A89.infix = lspace:5 rspace:5 # less-than and not approximate operator.\u2A8A.infix = lspace:5 rspace:5 # greater-than and not approximate operator.\u2A8B.infix = lspace:5 rspace:5 # ⪋ operator.\u2A8C.infix = lspace:5 rspace:5 # ⪌ operator.\u2A8D.infix = lspace:5 rspace:5 # less-than above similar or equal operator.\u2A8E.infix = lspace:5 rspace:5 # greater-than above similar or equal operator.\u2A8F.infix = lspace:5 rspace:5 # less-than above similar above greater-than operator.\u2A90.infix = lspace:5 rspace:5 # greater-than above similar above less-than operator.\u2A91.infix = lspace:5 rspace:5 # less-than above greater-than above double-line equal operator.\u2A92.infix = lspace:5 rspace:5 # greater-than above less-than above double-line equal operator.\u2A93.infix = lspace:5 rspace:5 # less-than above slanted equal above greater-than above slanted equal operator.\u2A94.infix = lspace:5 rspace:5 # greater-than above slanted equal above less-than above slanted equal operator.\u2A95.infix = lspace:5 rspace:5 # slanted equal to or less-than operator.\u2A96.infix = lspace:5 rspace:5 # slanted equal to or greater-than operator.\u2A97.infix = lspace:5 rspace:5 # slanted equal to or less-than with dot inside operator.\u2A98.infix = lspace:5 rspace:5 # slanted equal to or greater-than with dot inside operator.\u2A99.infix = lspace:5 rspace:5 # double-line equal to or less-than operator.\u2A9A.infix = lspace:5 rspace:5 # double-line equal to or greater-than operator.\u2A9B.infix = lspace:5 rspace:5 # double-line slanted equal to or less-than operator.\u2A9C.infix = lspace:5 rspace:5 # double-line slanted equal to or greater-than operator.\u2A9D.infix = lspace:5 rspace:5 # similar or less-than operator.\u2A9E.infix = lspace:5 rspace:5 # similar or greater-than operator.\u2A9F.infix = lspace:5 rspace:5 # similar above less-than above equals sign operator.\u2AA0.infix = lspace:5 rspace:5 # similar above greater-than above equals sign operator.\u2AA1.infix = lspace:5 rspace:5 # ⪡ operator.\u2AA2.infix = lspace:5 rspace:5 # ⪢ operator.\u2AA3.infix = lspace:5 rspace:5 # double nested less-than with underbar operator.\u2AA4.infix = lspace:5 rspace:5 # greater-than overlapping less-than operator.\u2AA5.infix = lspace:5 rspace:5 # greater-than beside less-than operator.\u2AA6.infix = lspace:5 rspace:5 # less-than closed by curve operator.\u2AA7.infix = lspace:5 rspace:5 # greater-than closed by curve operator.\u2AA8.infix = lspace:5 rspace:5 # less-than closed by curve above slanted equal operator.\u2AA9.infix = lspace:5 rspace:5 # greater-than closed by curve above slanted equal operator.\u2AAA.infix = lspace:5 rspace:5 # smaller than operator.\u2AAB.infix = lspace:5 rspace:5 # larger than operator.\u2AAC.infix = lspace:5 rspace:5 # smaller than or equal to operator.\u2AAD.infix = lspace:5 rspace:5 # larger than or equal to operator.\u2AAE.infix = lspace:5 rspace:5 # equals sign with bumpy above operator.\u2AAF.infix = lspace:5 rspace:5 # ⪯ operator.\u2AB0.infix = lspace:5 rspace:5 # ⪰ operator.\u2AB1.infix = lspace:5 rspace:5 # precedes above single-line not equal to operator.\u2AB2.infix = lspace:5 rspace:5 # succeeds above single-line not equal to operator.\u2AB3.infix = lspace:5 rspace:5 # ⪳ operator.\u2AB4.infix = lspace:5 rspace:5 # ⪴ operator.\u2AB5.infix = lspace:5 rspace:5 # precedes above not equal to operator.\u2AB6.infix = lspace:5 rspace:5 # succeeds above not equal to operator.\u2AB7.infix = lspace:5 rspace:5 # ⪷ operator.\u2AB8.infix = lspace:5 rspace:5 # ⪸ operator.\u2AB9.infix = lspace:5 rspace:5 # precedes above not almost equal to operator.\u2ABA.infix = lspace:5 rspace:5 # succeeds above not almost equal to operator.\u2ABB.infix = lspace:5 rspace:5 # double precedes operator.\u2ABC.infix = lspace:5 rspace:5 # double succeeds operator.\u2ABD.infix = lspace:5 rspace:5 # subset with dot operator.\u2ABE.infix = lspace:5 rspace:5 # superset with dot operator.\u2ABF.infix = lspace:5 rspace:5 # subset with plus sign below operator.\u2AC0.infix = lspace:5 rspace:5 # superset with plus sign below operator.\u2AC1.infix = lspace:5 rspace:5 # subset with multiplication sign below operator.\u2AC2.infix = lspace:5 rspace:5 # superset with multiplication sign below operator.\u2AC3.infix = lspace:5 rspace:5 # subset of or equal to with dot above operator.\u2AC4.infix = lspace:5 rspace:5 # superset of or equal to with dot above operator.\u2AC5.infix = lspace:5 rspace:5 # ⫅ operator.\u2AC6.infix = lspace:5 rspace:5 # ⫆ operator.\u2AC7.infix = lspace:5 rspace:5 # subset of above tilde operator operator.\u2AC8.infix = lspace:5 rspace:5 # superset of above tilde operator operator.\u2AC9.infix = lspace:5 rspace:5 # subset of above almost equal to operator.\u2ACA.infix = lspace:5 rspace:5 # superset of above almost equal to operator.\u2ACB.infix = lspace:5 rspace:5 # subset of above not equal to operator.\u2ACC.infix = lspace:5 rspace:5 # superset of above not equal to operator.\u2ACD.infix = lspace:5 rspace:5 # square left open box operator operator.\u2ACE.infix = lspace:5 rspace:5 # square right open box operator operator.\u2ACF.infix = lspace:5 rspace:5 # closed subset operator.\u2AD0.infix = lspace:5 rspace:5 # closed superset operator.\u2AD1.infix = lspace:5 rspace:5 # closed subset or equal to operator.\u2AD2.infix = lspace:5 rspace:5 # closed superset or equal to operator.\u2AD3.infix = lspace:5 rspace:5 # subset above superset operator.\u2AD4.infix = lspace:5 rspace:5 # superset above subset operator.\u2AD5.infix = lspace:5 rspace:5 # subset above subset operator.\u2AD6.infix = lspace:5 rspace:5 # superset above superset operator.\u2AD7.infix = lspace:5 rspace:5 # superset beside subset operator.\u2AD8.infix = lspace:5 rspace:5 # superset beside and joined by dash with subset operator.\u2AD9.infix = lspace:5 rspace:5 # element of opening downwards operator.\u2ADA.infix = lspace:5 rspace:5 # pitchfork with tee top operator.\u2ADB.infix = lspace:4 rspace:4 # transversal intersection operator.\u2ADC.infix = lspace:3 rspace:3 # forking operator.\u2ADD.infix = lspace:3 rspace:3 # nonforking operator.\u2ADE.infix = lspace:5 rspace:5 # short left tack operator.\u2ADF.infix = lspace:5 rspace:5 # short down tack operator.\u2AE0.infix = lspace:5 rspace:5 # short up tack operator.\u2AE1.infix = lspace:5 rspace:5 # perpendicular with s operator.\u2AE2.infix = lspace:5 rspace:5 # vertical bar triple right turnstile operator.\u2AE3.infix = lspace:5 rspace:5 # double vertical bar left turnstile operator.\u2AE4.infix = lspace:5 rspace:5 # ⫤ operator.\u2AE5.infix = lspace:5 rspace:5 # double vertical bar double left turnstile operator.\u2AE6.infix = lspace:5 rspace:5 # long dash from left member of double vertical operator.\u2AE7.infix = lspace:5 rspace:5 # short down tack with overbar operator.\u2AE8.infix = lspace:5 rspace:5 # short up tack with underbar operator.\u2AE9.infix = lspace:5 rspace:5 # short up tack above short down tack operator.\u2AEA.infix = lspace:5 rspace:5 # double down tack operator.\u2AEB.infix = lspace:5 rspace:5 # double up tack operator.\u2AEC.prefix = lspace:0 rspace:0 # ⫬ operator.\u2AED.prefix = lspace:0 rspace:0 # reversed double stroke not sign operator.\u2AEE.infix = lspace:5 rspace:5 # does not divide with reversed negation slash operator.\u2AF2.infix = lspace:5 rspace:5 # parallel with horizontal stroke operator.\u2AF3.infix = lspace:5 rspace:5 # parallel with tilde operator operator.\u2AF4.infix = lspace:5 rspace:5 # triple vertical bar binary relation operator.\u2AF5.infix = lspace:5 rspace:5 # triple vertical bar with horizontal stroke operator.\u2AF6.infix = lspace:4 rspace:4 # triple colon operator operator.\u2AF7.infix = lspace:5 rspace:5 # triple nested less-than operator.\u2AF8.infix = lspace:5 rspace:5 # triple nested greater-than operator.\u2AF9.infix = lspace:5 rspace:5 # double-line slanted less-than or equal to operator.\u2AFA.infix = lspace:5 rspace:5 # double-line slanted greater-than or equal to operator.\u2AFB.infix = lspace:4 rspace:4 # triple solidus binary relation operator.\u2AFC.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # large triple vertical bar operator operator.\u2AFD.infix = lspace:4 rspace:4 # double solidus operator operator.\u2AFE.infix = lspace:3 rspace:3 # white vertical bar operator.\u2AFF.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # n-ary white vertical bar operator.\u2B00.infix = lspace:5 rspace:5 # north east white arrow operator.\u2B01.infix = lspace:5 rspace:5 # north west white arrow operator.\u2B02.infix = lspace:5 rspace:5 # south east white arrow operator.\u2B03.infix = lspace:5 rspace:5 # south west white arrow operator.\u2B04.infix = lspace:5 rspace:5 stretchy # left right white arrow operator.\u2B05.infix = lspace:5 rspace:5 stretchy # leftwards black arrow operator.\u2B06.infix = lspace:5 rspace:5 stretchy # upwards black arrow operator.\u2B07.infix = lspace:5 rspace:5 stretchy # downwards black arrow operator.\u2B08.infix = lspace:5 rspace:5 # north east black arrow operator.\u2B09.infix = lspace:5 rspace:5 # north west black arrow operator.\u2B0A.infix = lspace:5 rspace:5 # south east black arrow operator.\u2B0B.infix = lspace:5 rspace:5 # south west black arrow operator.\u2B0C.infix = lspace:5 rspace:5 stretchy # left right black arrow operator.\u2B0D.infix = lspace:5 rspace:5 stretchy # up down black arrow operator.\u2B0E.infix = lspace:5 rspace:5 stretchy # rightwards arrow with tip downwards operator.\u2B0F.infix = lspace:5 rspace:5 stretchy # rightwards arrow with tip upwards operator.\u2B10.infix = lspace:5 rspace:5 stretchy # leftwards arrow with tip downwards operator.\u2B11.infix = lspace:5 rspace:5 stretchy # leftwards arrow with tip upwards operator.\u2B30.infix = lspace:5 rspace:5 stretchy # left arrow with small circle operator.\u2B31.infix = lspace:5 rspace:5 stretchy # three leftwards arrows operator.\u2B32.infix = lspace:5 rspace:5 stretchy # left arrow with circled plus operator.\u2B33.infix = lspace:5 rspace:5 stretchy # long leftwards squiggle arrow operator.\u2B34.infix = lspace:5 rspace:5 stretchy # leftwards two-headed arrow with vertical stroke operator.\u2B35.infix = lspace:5 rspace:5 stretchy # leftwards two-headed arrow with double vertical stroke operator.\u2B36.infix = lspace:5 rspace:5 stretchy # leftwards two-headed arrow from bar operator.\u2B37.infix = lspace:5 rspace:5 stretchy # leftwards two-headed triple dash arrow operator.\u2B38.infix = lspace:5 rspace:5 stretchy # leftwards arrow with dotted stem operator.\u2B39.infix = lspace:5 rspace:5 stretchy # leftwards arrow with tail with vertical stroke operator.\u2B3A.infix = lspace:5 rspace:5 stretchy # leftwards arrow with tail with double vertical stroke operator.\u2B3B.infix = lspace:5 rspace:5 stretchy # leftwards two-headed arrow with tail operator.\u2B3C.infix = lspace:5 rspace:5 stretchy # leftwards two-headed arrow with tail with vertical stroke operator.\u2B3D.infix = lspace:5 rspace:5 stretchy # leftwards two-headed arrow with tail with double vertical stroke operator.\u2B3E.infix = lspace:5 rspace:5 stretchy # leftwards arrow through x operator.\u2B3F.infix = lspace:5 rspace:5 # wave arrow pointing directly left operator.\u2B40.infix = lspace:5 rspace:5 stretchy # equals sign above leftwards arrow operator.\u2B41.infix = lspace:5 rspace:5 stretchy # reverse tilde operator above leftwards arrow operator.\u2B42.infix = lspace:5 rspace:5 stretchy # leftwards arrow above reverse almost equal to operator.\u2B43.infix = lspace:5 rspace:5 stretchy # rightwards arrow through greater-than operator.\u2B44.infix = lspace:5 rspace:5 stretchy # rightwards arrow through superset operator.\u2B45.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards quadruple arrow operator.\u2B46.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards quadruple arrow operator.\u2B47.infix = lspace:5 rspace:5 stretchy # reverse tilde operator above rightwards arrow operator.\u2B48.infix = lspace:5 rspace:5 stretchy # rightwards arrow above reverse almost equal to operator.\u2B49.infix = lspace:5 rspace:5 stretchy # tilde operator above leftwards arrow operator.\u2B4A.infix = lspace:5 rspace:5 stretchy # leftwards arrow above almost equal to operator.\u2B4B.infix = lspace:5 rspace:5 stretchy # leftwards arrow above reverse tilde operator operator.\u2B4C.infix = lspace:5 rspace:5 stretchy # rightwards arrow above reverse tilde operator operator.\u2B4D.infix = lspace:5 rspace:5 # downwards triangle-headed zigzag arrow operator.\u2B4E.infix = lspace:5 rspace:5 # short slanted north arrow operator.\u2B4F.infix = lspace:5 rspace:5 # short backslanted south arrow operator.\u2B5A.infix = lspace:5 rspace:5 # slanted north arrow with hooked head operator.\u2B5B.infix = lspace:5 rspace:5 # backslanted south arrow with hooked tail operator.\u2B5C.infix = lspace:5 rspace:5 # slanted north arrow with horizontal tail operator.\u2B5D.infix = lspace:5 rspace:5 # backslanted south arrow with horizontal tail operator.\u2B5E.infix = lspace:5 rspace:5 # bent arrow pointing downwards then north east operator.\u2B5F.infix = lspace:5 rspace:5 # short bent arrow pointing downwards then north east operator.\u2B60.infix = lspace:5 rspace:5 stretchy # leftwards triangle-headed arrow operator.\u2B61.infix = lspace:5 rspace:5 stretchy # upwards triangle-headed arrow operator.\u2B62.infix = lspace:5 rspace:5 stretchy # rightwards triangle-headed arrow operator.\u2B63.infix = lspace:5 rspace:5 stretchy # downwards triangle-headed arrow operator.\u2B64.infix = lspace:5 rspace:5 stretchy # left right triangle-headed arrow operator.\u2B65.infix = lspace:5 rspace:5 stretchy # up down triangle-headed arrow operator.\u2B66.infix = lspace:5 rspace:5 # north west triangle-headed arrow operator.\u2B67.infix = lspace:5 rspace:5 # north east triangle-headed arrow operator.\u2B68.infix = lspace:5 rspace:5 # south east triangle-headed arrow operator.\u2B69.infix = lspace:5 rspace:5 # south west triangle-headed arrow operator.\u2B6A.infix = lspace:5 rspace:5 stretchy # leftwards triangle-headed dashed arrow operator.\u2B6B.infix = lspace:5 rspace:5 stretchy # upwards triangle-headed dashed arrow operator.\u2B6C.infix = lspace:5 rspace:5 stretchy # rightwards triangle-headed dashed arrow operator.\u2B6D.infix = lspace:5 rspace:5 stretchy # downwards triangle-headed dashed arrow operator.\u2B6E.infix = lspace:5 rspace:5 # clockwise triangle-headed open circle arrow operator.\u2B6F.infix = lspace:5 rspace:5 # anticlockwise triangle-headed open circle arrow operator.\u2B70.infix = lspace:5 rspace:5 stretchy # leftwards triangle-headed arrow to bar operator.\u2B71.infix = lspace:5 rspace:5 stretchy # upwards triangle-headed arrow to bar operator.\u2B72.infix = lspace:5 rspace:5 stretchy # rightwards triangle-headed arrow to bar operator.\u2B73.infix = lspace:5 rspace:5 stretchy # downwards triangle-headed arrow to bar operator.\u2B76.infix = lspace:5 rspace:5 # north west triangle-headed arrow to bar operator.\u2B77.infix = lspace:5 rspace:5 # north east triangle-headed arrow to bar operator.\u2B78.infix = lspace:5 rspace:5 # south east triangle-headed arrow to bar operator.\u2B79.infix = lspace:5 rspace:5 # south west triangle-headed arrow to bar operator.\u2B7A.infix = lspace:5 rspace:5 stretchy # leftwards triangle-headed arrow with double horizontal stroke operator.\u2B7B.infix = lspace:5 rspace:5 stretchy # upwards triangle-headed arrow with double horizontal stroke operator.\u2B7C.infix = lspace:5 rspace:5 stretchy # rightwards triangle-headed arrow with double horizontal stroke operator.\u2B7D.infix = lspace:5 rspace:5 stretchy # downwards triangle-headed arrow with double horizontal stroke operator.\u2B80.infix = lspace:5 rspace:5 stretchy # leftwards triangle-headed arrow over rightwards triangle-headed arrow operator.\u2B81.infix = lspace:5 rspace:5 stretchy # upwards triangle-headed arrow leftwards of downwards triangle-headed arrow operator.\u2B82.infix = lspace:5 rspace:5 stretchy # rightwards triangle-headed arrow over leftwards triangle-headed arrow operator.\u2B83.infix = lspace:5 rspace:5 stretchy # downwards triangle-headed arrow leftwards of upwards triangle-headed arrow operator.\u2B84.infix = lspace:5 rspace:5 stretchy # leftwards triangle-headed paired arrows operator.\u2B85.infix = lspace:5 rspace:5 stretchy # upwards triangle-headed paired arrows operator.\u2B86.infix = lspace:5 rspace:5 stretchy # rightwards triangle-headed paired arrows operator.\u2B87.infix = lspace:5 rspace:5 stretchy # downwards triangle-headed paired arrows operator.\u2B88.infix = lspace:5 rspace:5 # leftwards black circled white arrow operator.\u2B89.infix = lspace:5 rspace:5 # upwards black circled white arrow operator.\u2B8A.infix = lspace:5 rspace:5 # rightwards black circled white arrow operator.\u2B8B.infix = lspace:5 rspace:5 # downwards black circled white arrow operator.\u2B8C.infix = lspace:5 rspace:5 # anticlockwise triangle-headed right u-shaped arrow operator.\u2B8D.infix = lspace:5 rspace:5 # anticlockwise triangle-headed bottom u-shaped arrow operator.\u2B8E.infix = lspace:5 rspace:5 # anticlockwise triangle-headed left u-shaped arrow operator.\u2B8F.infix = lspace:5 rspace:5 # anticlockwise triangle-headed top u-shaped arrow operator.\u2B94.infix = lspace:5 rspace:5 # four corner arrows circling anticlockwise operator.\u2B95.infix = lspace:5 rspace:5 stretchy # rightwards black arrow operator.\u2BA0.infix = lspace:5 rspace:5 stretchy # downwards triangle-headed arrow with long tip leftwards operator.\u2BA1.infix = lspace:5 rspace:5 stretchy # downwards triangle-headed arrow with long tip rightwards operator.\u2BA2.infix = lspace:5 rspace:5 stretchy # upwards triangle-headed arrow with long tip leftwards operator.\u2BA3.infix = lspace:5 rspace:5 stretchy # upwards triangle-headed arrow with long tip rightwards operator.\u2BA4.infix = lspace:5 rspace:5 stretchy # leftwards triangle-headed arrow with long tip upwards operator.\u2BA5.infix = lspace:5 rspace:5 stretchy # rightwards triangle-headed arrow with long tip upwards operator.\u2BA6.infix = lspace:5 rspace:5 stretchy # leftwards triangle-headed arrow with long tip downwards operator.\u2BA7.infix = lspace:5 rspace:5 stretchy # rightwards triangle-headed arrow with long tip downwards operator.\u2BA8.infix = lspace:5 rspace:5 stretchy # black curved downwards and leftwards arrow operator.\u2BA9.infix = lspace:5 rspace:5 stretchy # black curved downwards and rightwards arrow operator.\u2BAA.infix = lspace:5 rspace:5 stretchy # black curved upwards and leftwards arrow operator.\u2BAB.infix = lspace:5 rspace:5 stretchy # black curved upwards and rightwards arrow operator.\u2BAC.infix = lspace:5 rspace:5 stretchy # black curved leftwards and upwards arrow operator.\u2BAD.infix = lspace:5 rspace:5 stretchy # black curved rightwards and upwards arrow operator.\u2BAE.infix = lspace:5 rspace:5 stretchy # black curved leftwards and downwards arrow operator.\u2BAF.infix = lspace:5 rspace:5 stretchy # black curved rightwards and downwards arrow operator.\u2BB0.infix = lspace:5 rspace:5 # ribbon arrow down left operator.\u2BB1.infix = lspace:5 rspace:5 # ribbon arrow down right operator.\u2BB2.infix = lspace:5 rspace:5 # ribbon arrow up left operator.\u2BB3.infix = lspace:5 rspace:5 # ribbon arrow up right operator.\u2BB4.infix = lspace:5 rspace:5 # ribbon arrow left up operator.\u2BB5.infix = lspace:5 rspace:5 # ribbon arrow right up operator.\u2BB6.infix = lspace:5 rspace:5 # ribbon arrow left down operator.\u2BB7.infix = lspace:5 rspace:5 # ribbon arrow right down operator.\u2BB8.infix = lspace:5 rspace:5 stretchy # upwards white arrow from bar with horizontal bar operator.\u2BD1.infix = lspace:5 rspace:5 # uncertainty sign # Entries below are not part of the official MathML dictionary operator.\u0026.infix = lspace:5 rspace:5 # & operator.\u0026.prefix = lspace:0 rspace:5 # & operator.\u002B\u002B.prefix = lspace:0 rspace:2 # ++ operator.\u002D\u002D.prefix = lspace:0 rspace:2 # -- operator.\u002E\u002E.postfix = lspace:0 rspace:0 # .. operator.\u003B.postfix = lspace:0 rspace:0 separator # ; operator.\u007E.infix = lspace:2 rspace:2 stretchy direction:horizontal # ~ operator.\u0332.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # _ operator.\u03F6.infix = lspace:5 rspace:5 # greek reversed lunate epsilon symbol operator.\u2016.infix = lspace:5 rspace:5 stretchy direction:vertical # ‖ ‖ operator.\u2026.infix = lspace:0 rspace:0 # horizontal ellipsis operator.\u20D0.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⃐ operator.\u20D1.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⃑ operator.\u20D6.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⃖ operator.\u20D7.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⃗ operator.\u20E1.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⃡ operator.\u2190\u200B.infix = lspace:5 rspace:5 # ← operator.\u2191\u200B.infix = lspace:2 rspace:2 # ↑ operator.\u2192\u200B.infix = lspace:5 rspace:5 # → operator.\u2193\u200B.infix = lspace:2 rspace:2 # ↓ operator.\u2201.infix = lspace:1 rspace:2 # complement operator.\u220E.infix = lspace:3 rspace:3 # end of proof operator.\u221F.infix = lspace:5 rspace:5 # right angle operator.\u2223.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ∣ operator.\u2223.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ∣ operator.\u2225.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ∥ operator.\u2225.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ∥ operator.\u2234.infix = lspace:5 rspace:5 # ∴ operator.\u2235.infix = lspace:5 rspace:5 # ∵ operator.\u223D\u0331.infix = lspace:3 rspace:3 # reversed tilde with underline operator.\u223F.infix = lspace:3 rspace:3 # sine wave operator.\u228E.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical # ⊎ operator.\u2295.prefix = lspace:0 rspace:3 largeop movablelimits symmetric direction:vertical # ⊕ operator.\u2296.prefix = lspace:0 rspace:3 largeop movablelimits symmetric direction:vertical # ⊖ operator.\u2297.prefix = lspace:0 rspace:3 largeop movablelimits symmetric direction:vertical # ⊗ operator.\u2299.prefix = lspace:0 rspace:3 largeop movablelimits symmetric direction:vertical # ⊙ operator.\u22A4.infix = lspace:5 rspace:5 # ⊤ operator.\u22A5.infix = lspace:5 rspace:5 # ⊥ operator.\u22B9.infix = lspace:5 rspace:5 # hermitian conjugate matrix operator.\u22BE.infix = lspace:3 rspace:3 # right angle with arc operator.\u22BF.infix = lspace:3 rspace:3 # right triangle operator.\u22EE.infix = lspace:5 rspace:5 # vertical ellipsis operator.\u22EF.infix = lspace:0 rspace:0 # midline horizontal ellipsis operator.\u22F0.infix = lspace:5 rspace:5 # up right diagonal ellipsis operator.\u22F1.infix = lspace:5 rspace:5 # down right diagonal ellipsis operator.\u23B0.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⎰ ⎰ operator.\u23B1.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⎱ ⎱ operator.\u2500.infix = lspace:0 rspace:0 stretchy direction:horizontal # ─ operator.\u25A0.infix = lspace:3 rspace:3 # black square operator.\u25A1.infix = lspace:3 rspace:3 # white square operator.\u25A1.prefix = lspace:0 rspace:2 # □ operator.\u25AA.infix = lspace:3 rspace:3 # black small square operator.\u25AB.infix = lspace:3 rspace:3 # white small square operator.\u25AD.infix = lspace:3 rspace:3 # white rectangle operator.\u25AE.infix = lspace:3 rspace:3 # black vertical rectangle operator.\u25AF.infix = lspace:3 rspace:3 # white vertical rectangle operator.\u25B0.infix = lspace:3 rspace:3 # black parallelogram operator.\u25B1.infix = lspace:3 rspace:3 # white parallelogram operator.\u25B2.infix = lspace:4 rspace:4 # black up-pointing triangle operator.\u25B3.infix = lspace:4 rspace:4 # white up-pointing triangle operator.\u25B4.infix = lspace:4 rspace:4 # black up-pointing small triangle operator.\u25B5.infix = lspace:4 rspace:4 # white up-pointing small triangle operator.\u25B6.infix = lspace:4 rspace:4 # black right-pointing triangle operator.\u25B7.infix = lspace:4 rspace:4 # white right-pointing triangle operator.\u25B8.infix = lspace:4 rspace:4 # black right-pointing small triangle operator.\u25B9.infix = lspace:4 rspace:4 # white right-pointing small triangle operator.\u25BC.infix = lspace:4 rspace:4 # black down-pointing triangle operator.\u25BD.infix = lspace:4 rspace:4 # white down-pointing triangle operator.\u25BE.infix = lspace:4 rspace:4 # black down-pointing small triangle operator.\u25BF.infix = lspace:4 rspace:4 # white down-pointing small triangle operator.\u25C0.infix = lspace:4 rspace:4 # black left-pointing triangle operator.\u25C1.infix = lspace:4 rspace:4 # white left-pointing triangle operator.\u25C2.infix = lspace:4 rspace:4 # black left-pointing small triangle operator.\u25C3.infix = lspace:4 rspace:4 # white left-pointing small triangle operator.\u25C4.infix = lspace:4 rspace:4 # black left-pointing pointer operator.\u25C5.infix = lspace:4 rspace:4 # white left-pointing pointer operator.\u25C6.infix = lspace:4 rspace:4 # black diamond operator.\u25C7.infix = lspace:4 rspace:4 # white diamond operator.\u25C8.infix = lspace:4 rspace:4 # white diamond containing black small diamond operator.\u25C9.infix = lspace:4 rspace:4 # fisheye operator.\u25CC.infix = lspace:4 rspace:4 # dotted circle operator.\u25CD.infix = lspace:4 rspace:4 # circle with vertical fill operator.\u25CE.infix = lspace:4 rspace:4 # bullseye operator.\u25CF.infix = lspace:4 rspace:4 # black circle operator.\u25D6.infix = lspace:4 rspace:4 # left half black circle operator.\u25D7.infix = lspace:4 rspace:4 # right half black circle operator.\u25E6.infix = lspace:4 rspace:4 # white bullet operator.\u2606.infix = lspace:3 rspace:3 # ☆ operator.\u266D.postfix = lspace:0 rspace:2 # music flat sign operator.\u266E.postfix = lspace:0 rspace:2 # music natural sign operator.\u266F.postfix = lspace:0 rspace:2 # music sharp sign operator.\u2758.infix = lspace:5 rspace:5 direction:vertical # light vertical bar operator.\u2999.infix = lspace:3 rspace:3 # dotted fence operator.\u299A.infix = lspace:3 rspace:3 # vertical zigzag line operator.\u299B.infix = lspace:3 rspace:3 # measured angle opening left operator.\u299C.infix = lspace:3 rspace:3 # right angle variant with square operator.\u299D.infix = lspace:3 rspace:3 # measured right angle with dot operator.\u299E.infix = lspace:3 rspace:3 # angle with s inside operator.\u299F.infix = lspace:3 rspace:3 # acute angle operator.\u29A0.infix = lspace:3 rspace:3 # spherical angle opening left operator.\u29A1.infix = lspace:3 rspace:3 # spherical angle opening up operator.\u29A2.infix = lspace:3 rspace:3 # turned angle operator.\u29A3.infix = lspace:3 rspace:3 # reversed angle operator.\u29A4.infix = lspace:3 rspace:3 # angle with underbar operator.\u29A5.infix = lspace:3 rspace:3 # reversed angle with underbar operator.\u29A6.infix = lspace:3 rspace:3 # oblique angle opening up operator.\u29A7.infix = lspace:3 rspace:3 # oblique angle opening down operator.\u29A8.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing up and right operator.\u29A9.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing up and left operator.\u29AA.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing down and right operator.\u29AB.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing down and left operator.\u29AC.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing right and up operator.\u29AD.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing left and up operator.\u29AE.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing right and down operator.\u29AF.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing left and down operator.\u29B0.infix = lspace:3 rspace:3 # reversed empty set operator.\u29B1.infix = lspace:3 rspace:3 # empty set with overbar operator.\u29B2.infix = lspace:3 rspace:3 # empty set with small circle above operator.\u29B3.infix = lspace:3 rspace:3 # empty set with right arrow above operator.\u29B4.infix = lspace:3 rspace:3 # empty set with left arrow above operator.\u29B5.infix = lspace:3 rspace:3 # circle with horizontal bar operator.\u29BA.infix = lspace:4 rspace:4 # circle divided by horizontal bar and top half divided by vertical bar operator.\u29BB.infix = lspace:4 rspace:4 # circle with superimposed x operator.\u29BD.infix = lspace:4 rspace:4 # up arrow through circle operator.\u29BE.infix = lspace:4 rspace:4 # circled white bullet operator.\u29BF.infix = lspace:4 rspace:4 # circled bullet operator.\u29C2.infix = lspace:3 rspace:3 # circle with small circle to the right operator.\u29C3.infix = lspace:3 rspace:3 # circle with two horizontal strokes to the right operator.\u29C9.infix = lspace:3 rspace:3 # two joined squares operator.\u29CA.infix = lspace:3 rspace:3 # triangle with dot above operator.\u29CB.infix = lspace:3 rspace:3 # triangle with underbar operator.\u29CC.infix = lspace:3 rspace:3 # s in triangle operator.\u29CD.infix = lspace:3 rspace:3 # triangle with serifs at bottom operator.\u29D8.infix = lspace:3 rspace:3 # left wiggly fence operator.\u29D9.infix = lspace:3 rspace:3 # right wiggly fence operator.\u29DB.infix = lspace:3 rspace:3 # right double wiggly fence operator.\u29DC.infix = lspace:3 rspace:3 # incomplete infinity operator.\u29DD.infix = lspace:3 rspace:3 # tie over infinity operator.\u29DE.infix = lspace:5 rspace:5 # infinity negated with vertical bar operator.\u29E0.infix = lspace:3 rspace:3 # square with contoured outline operator.\u29E7.infix = lspace:3 rspace:3 # thermodynamic operator.\u29E8.infix = lspace:3 rspace:3 # down-pointing triangle with left half black operator.\u29E9.infix = lspace:3 rspace:3 # down-pointing triangle with right half black operator.\u29EA.infix = lspace:3 rspace:3 # black diamond with down arrow operator.\u29EB.infix = lspace:3 rspace:3 # black lozenge operator.\u29EC.infix = lspace:3 rspace:3 # white circle with down arrow operator.\u29ED.infix = lspace:3 rspace:3 # black circle with down arrow operator.\u29EE.infix = lspace:3 rspace:3 # error-barred white square operator.\u29EF.infix = lspace:3 rspace:3 # error-barred black square operator.\u29F0.infix = lspace:3 rspace:3 # error-barred white diamond operator.\u29F1.infix = lspace:3 rspace:3 # error-barred black diamond operator.\u29F2.infix = lspace:3 rspace:3 # error-barred white circle operator.\u29F3.infix = lspace:3 rspace:3 # error-barred black circle operator.\u29FE.infix = lspace:4 rspace:4 # tiny operator.\u29FF.infix = lspace:4 rspace:4 # miny operator.\u2AEC.infix = lspace:5 rspace:5 # double stroke not sign operator.\u2AED.infix = lspace:5 rspace:5 # reversed double stroke not sign operator.\u2AEF.infix = lspace:5 rspace:5 # vertical line with circle above operator.\u2AF0.infix = lspace:5 rspace:5 # vertical line with circle below operator.\u2AF1.infix = lspace:5 rspace:5 # down tack with circle below operator.\uFE35.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏜ (MathML 2.0) operator.\uFE36.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏝ (MathML 2.0) operator.\uFE37.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏞ (MathML 2.0) operator.\uFE38.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏟ (MathML 2.0) ################################################################################## # DOCUMENTATION ON HOW TO SETUP THE PROPERTY FILE ASSOCIATED TO EACH FONT # More fonts can be supported for stretchy characters by setting up mathfont # property files as described below. # # Each font should have its set of glyph data. For example, the glyph data for # the "Symbol" font and the "MT Extra" font are in "mathfontSymbol.properties" # and "mathfontMTExtra.properties", respectively. The font property file is a # set of all the stretchy MathML characters that can be rendered with that font # using larger and/or partial glyphs. Each stretchy character is associated to # a list in the font property file which gives, in that order, the 4 partial # glyphs: top (or left), middle, bottom (or right), glue; and the variants of # bigger sizes (if any). A position that is not relevant to a particular character # is indicated there with the UNICODE REPLACEMENT CHARACTER 0xFFFD.