layout/mathml/mathfont.properties

Thu, 15 Jan 2015 15:59:08 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Thu, 15 Jan 2015 15:59:08 +0100
branch
TOR_BUG_9701
changeset 10
ac0c01689b40
permissions
-rw-r--r--

Implement a real Private Browsing Mode condition by changing the API/ABI;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.

     1 # This Source Code Form is subject to the terms of the Mozilla Public
     2 # License, v. 2.0. If a copy of the MPL was not distributed with this
     3 # file, You can obtain one at http://mozilla.org/MPL/2.0/.
     5 #  LOCALIZATION NOTE: FILE
     6 #  Do not translate anything in this file
     8 # The ordered list of fonts with which to attempt to stretch MathML
     9 # characters is controlled by setting pref("font.mathfont-family",
    10 # "CMSY10, CMEX10, ...") for example, or by setting the font-family list in
    11 # :-moz-math-stretchy in mathml.css.
    12 #
    13 # Note: setting base fonts for non-stretchy characters only works
    14 # for operators that are ultimately handled by nsMathMLChar.
    15 # @see how |useMathMLChar| is set in nsMathMLmoFrame::Stretch() & Paint().
    17 # Operator Dictionary indexed on the "form" (i.e., infix, prefix, or suffix).
    18 # Each entry lists the attributes of the operator, using its Unicode format.
    20 operator.\u0021.postfix = lspace:1 rspace:0 # !
    21 operator.\u0021\u0021.postfix = lspace:1 rspace:0 # !!
    22 operator.\u0021\u003D.infix = lspace:4 rspace:4 # !=
    23 operator.\u0025.infix = lspace:3 rspace:3 # percent sign
    24 operator.\u0026.postfix = lspace:0 rspace:0 # &amp;
    25 operator.\u0026\u0026.infix = lspace:4 rspace:4 # &amp;&amp;
    26 operator.\u0027.postfix = lspace:0 rspace:0 accent # '
    27 operator.\u0028.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical mirrorable # (
    28 operator.\u0029.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical mirrorable # )
    29 operator.\u002A.infix = lspace:3 rspace:3 # *
    30 operator.\u002A\u002A.infix = lspace:1 rspace:1 # **
    31 operator.\u002A\u003D.infix = lspace:4 rspace:4 # *=
    32 operator.\u002B.infix = lspace:4 rspace:4 # +
    33 operator.\u002B.prefix = lspace:0 rspace:1 # +
    34 operator.\u002B\u002B.postfix = lspace:0 rspace:0 # ++
    35 operator.\u002B\u003D.infix = lspace:4 rspace:4 # +=
    36 operator.\u002C.infix = lspace:0 rspace:3 separator # ,
    37 operator.\u002D.infix = lspace:4 rspace:4 # -
    38 operator.\u002D.prefix = lspace:0 rspace:1 # -
    39 operator.\u002D\u002D.postfix = lspace:0 rspace:0 # --
    40 operator.\u002D\u003D.infix = lspace:4 rspace:4 # -=
    41 operator.\u002D\u003E.infix = lspace:5 rspace:5 # ->
    42 operator.\u002E.infix = lspace:3 rspace:3 # .
    43 operator.\u002E\u002E.postfix = lspace:0 rspace:0 # ..
    44 operator.\u002E\u002E\u002E.postfix = lspace:0 rspace:0 # ...
    45 operator.\u002F.infix = lspace:1 rspace:1 direction:vertical # solidus
    46 operator.\u002F\u002F.infix = lspace:1 rspace:1 # //
    47 operator.\u002F\u003D.infix = lspace:4 rspace:4 # /=
    48 operator.\u003A.infix = lspace:1 rspace:2 # :
    49 operator.\u003A\u003D.infix = lspace:4 rspace:4 # :=
    50 operator.\u003B.infix = lspace:0 rspace:3 separator # ;
    51 operator.\u003C.infix = lspace:5 rspace:5 # &lt;
    52 operator.\u003C\u003D.infix = lspace:5 rspace:5 # &lt;=
    53 operator.\u003C\u003E.infix = lspace:1 rspace:1 # &lt;>
    54 operator.\u003D.infix = lspace:5 rspace:5 direction:horizontal # =
    55 operator.\u003D\u003D.infix = lspace:4 rspace:4 # ==
    56 operator.\u003E.infix = lspace:5 rspace:5 # >
    57 operator.\u003E\u003D.infix = lspace:5 rspace:5 # >=
    58 operator.\u003F.infix = lspace:1 rspace:1 # ?
    59 operator.\u0040.infix = lspace:1 rspace:1 # @
    60 operator.\u005B.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical mirrorable # [
    61 operator.\u005C.infix = lspace:0 rspace:0 # reverse solidus
    62 operator.\u005D.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical mirrorable # ]
    63 operator.\u005E.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # &Hat; circumflex accent
    64 operator.\u005E.infix = lspace:1 rspace:1 direction:horizontal # ^
    65 operator.\u005F.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # _ low line
    66 operator.\u005F.infix = lspace:1 rspace:1 stretchy direction:horizontal # _ low line
    67 operator.\u0060.postfix = lspace:0 rspace:0 accent # &DiacriticalGrave;
    68 operator.\u007B.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical mirrorable # {
    69 operator.\u007C.infix = lspace:2 rspace:2 stretchy fence symmetric direction:vertical # &VerticalLine; |
    70 operator.\u007C.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # |
    71 operator.\u007C.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # |
    72 operator.\u007C\u007C.infix = lspace:2 rspace:2 stretchy fence symmetric direction:vertical # ||
    73 operator.\u007C\u007C.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # multiple character operator: ||
    74 operator.\u007C\u007C.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # multiple character operator: ||
    75 operator.\u007C\u007C\u007C.infix = lspace:2 rspace:2 stretchy fence symmetric direction:vertical # multiple character operator: |||
    76 operator.\u007C\u007C\u007C.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # multiple character operator: |||
    77 operator.\u007C\u007C\u007C.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # multiple character operator: |||
    78 operator.\u007D.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical mirrorable # }
    79 operator.\u007E.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ~ tilde
    80 operator.\u00A8.postfix = lspace:0 rspace:0 accent # &DoubleDot;
    81 operator.\u00AC.prefix = lspace:2 rspace:1 # not sign
    82 operator.\u00AF.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # &OverBar;
    83 operator.\u00B0.postfix = lspace:0 rspace:0 # degree sign
    84 operator.\u00B1.infix = lspace:4 rspace:4 # &PlusMinus;
    85 operator.\u00B1.prefix = lspace:0 rspace:1 # &PlusMinus;
    86 operator.\u00B4.postfix = lspace:0 rspace:0 accent # &DiacriticalAcute;
    87 operator.\u00B7.infix = lspace:4 rspace:4 # &CenterDot;
    88 operator.\u00B8.postfix = lspace:0 rspace:0 accent # &Cedilla;
    89 operator.\u00D7.infix = lspace:4 rspace:4 # multiplication sign
    90 operator.\u00F7.infix = lspace:4 rspace:4 # division sign
    91 operator.\u02C6.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # modifier letter circumflex accent
    92 operator.\u02C7.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # &Hacek; caron
    93 operator.\u02C9.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # modifier letter macron
    94 operator.\u02CA.postfix = lspace:0 rspace:0 accent # modifier letter acute accent
    95 operator.\u02CB.postfix = lspace:0 rspace:0 accent # modifier letter grave accent
    96 operator.\u02CD.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # modifier letter low macron
    97 operator.\u02D8.postfix = lspace:0 rspace:0 accent # &Breve;
    98 operator.\u02D9.postfix = lspace:0 rspace:0 accent # &DiacriticalDot;
    99 operator.\u02DA.postfix = lspace:0 rspace:0 accent # ring above
   100 operator.\u02DC.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # &DiacriticalTilde; small tilde
   101 operator.\u02DD.postfix = lspace:0 rspace:0 accent # &DiacriticalDoubleAcute;
   102 operator.\u02F7.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # modifier letter low tilde
   103 operator.\u0302.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # combining circumflex accent
   104 operator.\u0311.postfix = lspace:0 rspace:0 accent # &DownBreve;
   105 operator.\u03F6.infix = lspace:5 rspace:5 # greek reversed lunate epsilon symbol
   106 operator.\u2016.prefix = lspace:0 rspace:0 stretchy fence direction:vertical # &Vert; &Verbar;
   107 operator.\u2016.postfix = lspace:0 rspace:0 stretchy fence direction:vertical # &Vert; &Verbar;
   108 operator.\u2018.prefix = lspace:0 rspace:0 fence mirrorable # &OpenCurlyQuote;
   109 operator.\u2019.postfix = lspace:0 rspace:0 fence mirrorable # &CloseCurlyQuote;
   110 operator.\u201C.prefix = lspace:0 rspace:0 fence mirrorable # &OpenCurlyDoubleQuote;
   111 operator.\u201D.postfix = lspace:0 rspace:0 fence mirrorable # &CloseCurlyDoubleQuote;
   112 operator.\u2022.infix = lspace:4 rspace:4 # bullet
   113 operator.\u2026.infix = lspace:0 rspace:0 # horizontal ellipsis
   114 operator.\u2032.postfix = lspace:0 rspace:2 # prime
   115 operator.\u203E.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # overline
   116 operator.\u2044.infix = lspace:4 rspace:4 stretchy direction:vertical # fraction slash
   117 operator.\u2061.infix = lspace:0 rspace:0 # &ApplyFunction;
   118 operator.\u2062.infix = lspace:0 rspace:0 # &InvisibleTimes;
   119 operator.\u2063.infix = lspace:0 rspace:0 separator # &InvisibleComma;
   120 operator.\u2064.infix = lspace:0 rspace:0 # invisible plus
   121 operator.\u20DB.postfix = lspace:0 rspace:0 accent # &TripleDot;
   122 operator.\u20DC.postfix = lspace:0 rspace:0 accent # combining four dots above
   123 operator.\u2145.prefix = lspace:2 rspace:1 # &CapitalDifferentialD;
   124 operator.\u2146.prefix = lspace:2 rspace:0 # &DifferentialD;
   125 operator.\u2190.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &LeftArrow;
   126 operator.\u2191.infix = lspace:5 rspace:5 stretchy direction:vertical # &UpArrow;
   127 operator.\u2192.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &RightArrow;
   128 operator.\u2193.infix = lspace:5 rspace:5 stretchy direction:vertical # &DownArrow;
   129 operator.\u2194.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &LeftRightArrow;
   130 operator.\u2195.infix = lspace:5 rspace:5 stretchy direction:vertical # &UpDownArrow;
   131 operator.\u2196.infix = lspace:5 rspace:5 stretchy direction:vertical # &UpperLeftArrow;
   132 operator.\u2197.infix = lspace:5 rspace:5 stretchy direction:vertical # &UpperRightArrow;
   133 operator.\u2198.infix = lspace:5 rspace:5 stretchy direction:horizontal # &LowerRightArrow;
   134 operator.\u2199.infix = lspace:5 rspace:5 stretchy direction:horizontal # &LowerLeftArrow;
   135 operator.\u219A.infix = lspace:5 rspace:5 accent # leftwards arrow with stroke
   136 operator.\u219B.infix = lspace:5 rspace:5 accent # rightwards arrow with stroke
   137 operator.\u219C.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards wave arrow
   138 operator.\u219D.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards wave arrow
   139 operator.\u219E.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards two headed arrow
   140 operator.\u219F.infix = lspace:5 rspace:5 stretchy accent direction:vertical # upwards two headed arrow
   141 operator.\u21A0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards two headed arrow
   142 operator.\u21A1.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards two headed arrow
   143 operator.\u21A2.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards arrow with tail
   144 operator.\u21A3.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards arrow with tail
   145 operator.\u21A4.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &LeftTeeArrow;
   146 operator.\u21A5.infix = lspace:5 rspace:5 stretchy direction:vertical # &UpTeeArrow;
   147 operator.\u21A6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &RightTeeArrow;
   148 operator.\u21A7.infix = lspace:5 rspace:5 stretchy direction:vertical # &DownTeeArrow;
   149 operator.\u21A8.infix = lspace:5 rspace:5 stretchy direction:vertical # up down arrow with base
   150 operator.\u21A9.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &hookleftarrow; &larrhk;
   151 operator.\u21AA.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &hookrightarrow; &rarrhk;
   152 operator.\u21AB.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards arrow with loop
   153 operator.\u21AC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards arrow with loop
   154 operator.\u21AD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # left right wave arrow
   155 operator.\u21AE.infix = lspace:5 rspace:5 accent # left right arrow with stroke
   156 operator.\u21AF.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards zigzag arrow
   157 operator.\u21B0.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards arrow with tip leftwards
   158 operator.\u21B1.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards arrow with tip rightwards
   159 operator.\u21B2.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards arrow with tip leftwards
   160 operator.\u21B3.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards arrow with tip rightwards
   161 operator.\u21B4.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards arrow with corner downwards
   162 operator.\u21B5.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards arrow with corner leftwards
   163 operator.\u21B6.infix = lspace:5 rspace:5 accent # anticlockwise top semicircle arrow
   164 operator.\u21B7.infix = lspace:5 rspace:5 accent # clockwise top semicircle arrow
   165 operator.\u21B8.infix = lspace:5 rspace:5 # north west arrow to long bar
   166 operator.\u21B9.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards arrow to bar over rightwards arrow to bar
   167 operator.\u21BA.infix = lspace:5 rspace:5 # anticlockwise open circle arrow
   168 operator.\u21BB.infix = lspace:5 rspace:5 # clockwise open circle arrow
   169 operator.\u21BC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &LeftVector;
   170 operator.\u21BD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &DownLeftVector;
   171 operator.\u21BE.infix = lspace:5 rspace:5 stretchy direction:vertical # &RightUpVector;
   172 operator.\u21BF.infix = lspace:5 rspace:5 stretchy direction:vertical # &LeftUpVector;
   173 operator.\u21C0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &RightVector;
   174 operator.\u21C1.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &DownRightVector;
   175 operator.\u21C2.infix = lspace:5 rspace:5 stretchy direction:vertical # &RightDownVector;
   176 operator.\u21C3.infix = lspace:5 rspace:5 stretchy direction:vertical # &LeftDownVector;
   177 operator.\u21C4.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &RightArrowLeftArrow;
   178 operator.\u21C5.infix = lspace:5 rspace:5 stretchy direction:vertical # &UpArrowDownArrow;
   179 operator.\u21C6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &LeftArrowRightArrow;
   180 operator.\u21C7.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards paired arrows
   181 operator.\u21C8.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards paired arrows
   182 operator.\u21C9.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards paired arrows
   183 operator.\u21CA.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards paired arrows
   184 operator.\u21CB.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &ReverseEquilibrium;
   185 operator.\u21CC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &Equilibrium;
   186 operator.\u21CD.infix = lspace:5 rspace:5 accent # leftwards double arrow with stroke
   187 operator.\u21CE.infix = lspace:5 rspace:5 accent # left right double arrow with stroke
   188 operator.\u21CF.infix = lspace:5 rspace:5 accent # rightwards double arrow with stroke
   189 operator.\u21D0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &DoubleLeftArrow;
   190 operator.\u21D1.infix = lspace:5 rspace:5 stretchy direction:vertical # &DoubleUpArrow;
   191 operator.\u21D2.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &Implies; &DoubleRightArrow;
   192 operator.\u21D3.infix = lspace:5 rspace:5 stretchy direction:vertical # &DoubleDownArrow;
   193 operator.\u21D4.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &DoubleLeftRightArrow;
   194 operator.\u21D5.infix = lspace:5 rspace:5 stretchy direction:vertical # &DoubleUpDownArrow;
   195 operator.\u21DA.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards triple arrow
   196 operator.\u21DB.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards triple arrow
   197 operator.\u21DC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards squiggle arrow
   198 operator.\u21DD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards squiggle arrow
   199 operator.\u21DE.infix = lspace:5 rspace:5 # upwards arrow with double stroke
   200 operator.\u21DF.infix = lspace:5 rspace:5 # downwards arrow with double stroke
   201 operator.\u21E0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards dashed arrow
   202 operator.\u21E1.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards dashed arrow
   203 operator.\u21E2.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards dashed arrow
   204 operator.\u21E3.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards dashed arrow
   205 operator.\u21E4.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &LeftArrowBar;
   206 operator.\u21E5.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &RightArrowBar;
   207 operator.\u21E6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards white arrow
   208 operator.\u21E7.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow
   209 operator.\u21E8.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards white arrow
   210 operator.\u21E9.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards white arrow
   211 operator.\u21EA.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow from bar
   212 operator.\u21EB.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow on pedestal
   213 operator.\u21EC.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow on pedestal with horizontal bar
   214 operator.\u21ED.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow on pedestal with vertical bar
   215 operator.\u21EE.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white double arrow
   216 operator.\u21EF.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white double arrow on pedestal
   217 operator.\u21F0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards white arrow from wall
   218 operator.\u21F1.infix = lspace:5 rspace:5 # north west arrow to corner
   219 operator.\u21F2.infix = lspace:5 rspace:5 # south east arrow to corner
   220 operator.\u21F3.infix = lspace:5 rspace:5 stretchy direction:vertical # up down white arrow
   221 operator.\u21F4.infix = lspace:5 rspace:5 accent # right arrow with small circle
   222 operator.\u21F5.infix = lspace:5 rspace:5 stretchy direction:vertical # &DownArrowUpArrow;
   223 operator.\u21F6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # three rightwards arrows
   224 operator.\u21F7.infix = lspace:5 rspace:5 accent # leftwards arrow with vertical stroke
   225 operator.\u21F8.infix = lspace:5 rspace:5 accent # rightwards arrow with vertical stroke
   226 operator.\u21F9.infix = lspace:5 rspace:5 accent # left right arrow with vertical stroke
   227 operator.\u21FA.infix = lspace:5 rspace:5 accent # leftwards arrow with double vertical stroke
   228 operator.\u21FB.infix = lspace:5 rspace:5 accent # rightwards arrow with double vertical stroke
   229 operator.\u21FC.infix = lspace:5 rspace:5 accent # left right arrow with double vertical stroke
   230 operator.\u21FD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards open-headed arrow
   231 operator.\u21FE.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards open-headed arrow
   232 operator.\u21FF.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # left right open-headed arrow
   233 operator.\u2200.prefix = lspace:2 rspace:1 # &ForAll;
   234 operator.\u2201.infix = lspace:1 rspace:2 # complement
   235 operator.\u2202.prefix = lspace:2 rspace:1 # &PartialD;
   236 operator.\u2203.prefix = lspace:2 rspace:1 # &Exists;
   237 operator.\u2204.prefix = lspace:2 rspace:1 # &NotExists;
   238 operator.\u2206.infix = lspace:3 rspace:3 # increment
   239 operator.\u2207.prefix = lspace:2 rspace:1 # &Del;
   240 operator.\u2208.infix = lspace:5 rspace:5 # &Element;
   241 operator.\u2209.infix = lspace:5 rspace:5 # &NotElement;
   242 operator.\u220A.infix = lspace:5 rspace:5 # small element of
   243 operator.\u220B.infix = lspace:5 rspace:5 # &SuchThat; &ReverseElement;
   244 operator.\u220C.infix = lspace:5 rspace:5 # &NotReverseElement;
   245 operator.\u220D.infix = lspace:5 rspace:5 # small contains as member
   246 operator.\u220E.infix = lspace:3 rspace:3 # end of proof
   247 operator.\u220F.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical # &Product;
   248 operator.\u2210.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical # &Coproduct;
   249 operator.\u2211.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical mirrorable # &Sum;
   250 operator.\u2212.infix = lspace:4 rspace:4 # official Unicode minus sign
   251 operator.\u2212.prefix = lspace:0 rspace:1 # official Unicode minus sign
   252 operator.\u2213.infix = lspace:4 rspace:4 # &MinusPlus;
   253 operator.\u2213.prefix = lspace:0 rspace:1 # &MinusPlus;
   254 operator.\u2214.infix = lspace:4 rspace:4 # dot plus
   255 operator.\u2215.infix = lspace:4 rspace:4 stretchy mirrorable direction:vertical # division slash
   256 operator.\u2216.infix = lspace:4 rspace:4 direction:vertical # set minus
   257 operator.\u2217.infix = lspace:4 rspace:4 # asterisk operator
   258 operator.\u2218.infix = lspace:4 rspace:4 # &SmallCircle;
   259 operator.\u2219.infix = lspace:4 rspace:4 # bullet operator
   260 operator.\u221A.prefix = lspace:1 rspace:1 stretchy direction:vertical mirrorable # &Sqrt;
   261 operator.\u221B.prefix = lspace:1 rspace:1 # cube root
   262 operator.\u221C.prefix = lspace:1 rspace:1 # fourth root
   263 operator.\u221D.infix = lspace:5 rspace:5 # &Proportional;
   264 operator.\u221F.infix = lspace:5 rspace:5 # right angle
   265 operator.\u2220.prefix = lspace:0 rspace:0 # angle
   266 operator.\u2221.prefix = lspace:0 rspace:0 # measured angle
   267 operator.\u2222.prefix = lspace:0 rspace:0 # spherical angle
   268 operator.\u2223.infix = lspace:5 rspace:5 direction:vertical # divides
   269 operator.\u2224.infix = lspace:5 rspace:5 # &NotVerticalBar;
   270 operator.\u2225.infix = lspace:5 rspace:5 direction:vertical # parallel to
   271 operator.\u2226.infix = lspace:5 rspace:5 # &NotDoubleVerticalBar;
   272 operator.\u2227.infix = lspace:4 rspace:4 # &wedge;
   273 operator.\u2228.infix = lspace:4 rspace:4 # &vee;
   274 operator.\u2229.infix = lspace:4 rspace:4 # &cap;
   275 operator.\u222A.infix = lspace:4 rspace:4 # &cup;
   276 operator.\u222B.prefix = lspace:0 rspace:1 largeop symmetric direction:vertical integral mirrorable # &Integral;
   277 operator.\u222C.prefix = lspace:0 rspace:1 largeop symmetric direction:vertical integral mirrorable # double integral
   278 operator.\u222D.prefix = lspace:0 rspace:1 largeop symmetric direction:vertical integral mirrorable # triple integral
   279 operator.\u222E.prefix = lspace:0 rspace:1 largeop symmetric direction:vertical integral mirrorable # &ContourIntegral;
   280 operator.\u222F.prefix = lspace:0 rspace:1 largeop symmetric direction:vertical integral mirrorable # &DoubleContourIntegral;
   281 operator.\u2230.prefix = lspace:0 rspace:1 largeop symmetric direction:vertical integral mirrorable # volume integral
   282 operator.\u2231.prefix = lspace:0 rspace:1 largeop symmetric direction:vertical integral # clockwise integral
   283 operator.\u2232.prefix = lspace:0 rspace:1 largeop symmetric direction:vertical integral # &ClockwiseContourIntegral;
   284 operator.\u2233.prefix = lspace:0 rspace:1 largeop symmetric direction:vertical integral # &CounterClockwiseContourIntegral;
   285 operator.\u2234.infix = lspace:5 rspace:5 # &Therefore;
   286 operator.\u2235.infix = lspace:5 rspace:5 # &Because;
   287 operator.\u2236.infix = lspace:5 rspace:5 # ratio
   288 operator.\u2237.infix = lspace:5 rspace:5 # &Colon; &Proportion;
   289 operator.\u2238.infix = lspace:4 rspace:4 # dot minus
   290 operator.\u2239.infix = lspace:5 rspace:5 # excess
   291 operator.\u223A.infix = lspace:4 rspace:4 # geometric proportion
   292 operator.\u223B.infix = lspace:5 rspace:5 # homothetic
   293 operator.\u223C.infix = lspace:5 rspace:5 # &Tilde;
   294 operator.\u223D.infix = lspace:5 rspace:5 # reversed tilde
   295 operator.\u223D\u0331.infix = lspace:3 rspace:3 # reversed tilde with underline
   296 operator.\u223E.infix = lspace:5 rspace:5 # inverted lazy s
   297 operator.\u223F.infix = lspace:3 rspace:3 # sine wave
   298 operator.\u2240.infix = lspace:4 rspace:4 # &VerticalTilde;
   299 operator.\u2241.infix = lspace:5 rspace:5 # &NotTilde;
   300 operator.\u2242.infix = lspace:5 rspace:5 # &EqualTilde;
   301 operator.\u2242\u0338.infix = lspace:5 rspace:5 # &NotEqualTilde;
   302 operator.\u2243.infix = lspace:5 rspace:5 # &TildeEqual;
   303 operator.\u2244.infix = lspace:5 rspace:5 # &NotTildeEqual;
   304 operator.\u2245.infix = lspace:5 rspace:5 # &TildeFullEqual;
   305 operator.\u2246.infix = lspace:5 rspace:5 # approximately but not actually equal to
   306 operator.\u2247.infix = lspace:5 rspace:5 # &NotTildeFullEqual;
   307 operator.\u2248.infix = lspace:5 rspace:5 # &TildeTilde;
   308 operator.\u2249.infix = lspace:5 rspace:5 # &NotTildeTilde;
   309 operator.\u224A.infix = lspace:5 rspace:5 # almost equal or equal to
   310 operator.\u224B.infix = lspace:5 rspace:5 # triple tilde
   311 operator.\u224C.infix = lspace:5 rspace:5 # all equal to
   312 operator.\u224D.infix = lspace:5 rspace:5 # &CupCap;
   313 operator.\u224E.infix = lspace:5 rspace:5 # &HumpDownHump;
   314 operator.\u224E\u0338.infix = lspace:5 rspace:5 # &NotHumpDownHump;
   315 operator.\u224F.infix = lspace:5 rspace:5 # &HumpEqual;
   316 operator.\u224F\u0338.infix = lspace:5 rspace:5 # &NotHumpEqual;
   317 operator.\u2250.infix = lspace:5 rspace:5 # &DotEqual;
   318 operator.\u2251.infix = lspace:5 rspace:5 # geometrically equal to
   319 operator.\u2252.infix = lspace:5 rspace:5 # approximately equal to or the image of
   320 operator.\u2253.infix = lspace:5 rspace:5 # image of or approximately equal to
   321 operator.\u2254.infix = lspace:5 rspace:5 # &Assign;
   322 operator.\u2255.infix = lspace:5 rspace:5 # equals colon
   323 operator.\u2256.infix = lspace:5 rspace:5 # ring in equal to
   324 operator.\u2257.infix = lspace:5 rspace:5 # ring equal to
   325 operator.\u2258.infix = lspace:5 rspace:5 # corresponds to
   326 operator.\u2259.infix = lspace:5 rspace:5 # estimates
   327 operator.\u225A.infix = lspace:5 rspace:5 # equiangular to
   328 operator.\u225C.infix = lspace:5 rspace:5 # delta equal to
   329 operator.\u225D.infix = lspace:5 rspace:5 # equal to by definition
   330 operator.\u225E.infix = lspace:5 rspace:5 # measured by
   331 operator.\u225F.infix = lspace:5 rspace:5 # questioned equal to
   332 operator.\u2260.infix = lspace:5 rspace:5 # &NotEqual;
   333 operator.\u2261.infix = lspace:5 rspace:5 # &Congruent;
   334 operator.\u2262.infix = lspace:5 rspace:5 # &NotCongruent;
   335 operator.\u2263.infix = lspace:5 rspace:5 # strictly equivalent to
   336 operator.\u2264.infix = lspace:5 rspace:5 # &le;
   337 operator.\u2265.infix = lspace:5 rspace:5 # &GreaterEqual;
   338 operator.\u2266.infix = lspace:5 rspace:5 # &LessFullEqual;
   339 operator.\u2266\u0338.infix = lspace:5 rspace:5 # &NotGreaterFullEqual;
   340 operator.\u2267.infix = lspace:5 rspace:5 # &GreaterFullEqual;
   341 operator.\u2268.infix = lspace:5 rspace:5 # less-than but not equal to
   342 operator.\u2269.infix = lspace:5 rspace:5 # greater-than but not equal to
   343 operator.\u226A.infix = lspace:5 rspace:5 # &NestedLessLess;
   344 operator.\u226A\u0338.infix = lspace:5 rspace:5 # &NotLessLess;
   345 operator.\u226B.infix = lspace:5 rspace:5 # &NestedGreaterGreater;
   346 operator.\u226B\u0338.infix = lspace:5 rspace:5 # &NotGreaterGreater;
   347 operator.\u226C.infix = lspace:5 rspace:5 # between
   348 operator.\u226D.infix = lspace:5 rspace:5 # &NotCupCap;
   349 operator.\u226E.infix = lspace:5 rspace:5 # &NotLess;
   350 operator.\u226F.infix = lspace:5 rspace:5 # &NotGreater;
   351 operator.\u2270.infix = lspace:5 rspace:5 # &NotLessEqual;
   352 operator.\u2271.infix = lspace:5 rspace:5 # &NotGreaterEqual;
   353 operator.\u2272.infix = lspace:5 rspace:5 # &LessTilde;
   354 operator.\u2273.infix = lspace:5 rspace:5 # &GreaterTilde;
   355 operator.\u2274.infix = lspace:5 rspace:5 # &NotLessTilde;
   356 operator.\u2275.infix = lspace:5 rspace:5 # &NotGreaterTilde;
   357 operator.\u2276.infix = lspace:5 rspace:5 # &LessGreater;
   358 operator.\u2277.infix = lspace:5 rspace:5 # &GreaterLess;
   359 operator.\u2278.infix = lspace:5 rspace:5 # &NotLessGreater;
   360 operator.\u2279.infix = lspace:5 rspace:5 # &NotGreaterLess;
   361 operator.\u227A.infix = lspace:5 rspace:5 # &Precedes;
   362 operator.\u227B.infix = lspace:5 rspace:5 # &Succeeds;
   363 operator.\u227C.infix = lspace:5 rspace:5 # &PrecedesSlantEqual;
   364 operator.\u227D.infix = lspace:5 rspace:5 # &SucceedsSlantEqual;
   365 operator.\u227E.infix = lspace:5 rspace:5 # &PrecedesTilde;
   366 operator.\u227F.infix = lspace:5 rspace:5 # &SucceedsTilde;
   367 operator.\u227F\u0338.infix = lspace:5 rspace:5 # &NotSucceedsTilde;
   368 operator.\u2280.infix = lspace:5 rspace:5 # &NotPrecedes;
   369 operator.\u2281.infix = lspace:5 rspace:5 # &NotSucceeds;
   370 operator.\u2282.infix = lspace:5 rspace:5 # &subset;
   371 operator.\u2282\u20D2.infix = lspace:5 rspace:5 # subset of with vertical line
   372 operator.\u2283.infix = lspace:5 rspace:5 # &Superset;
   373 operator.\u2283\u20D2.infix = lspace:5 rspace:5 # superset of with vertical line
   374 operator.\u2284.infix = lspace:5 rspace:5 # &nsub;
   375 operator.\u2285.infix = lspace:5 rspace:5 # &nsup;
   376 operator.\u2286.infix = lspace:5 rspace:5 # &SubsetEqual;
   377 operator.\u2287.infix = lspace:5 rspace:5 # &SupersetEqual;
   378 operator.\u2288.infix = lspace:5 rspace:5 # &NotSubsetEqual;
   379 operator.\u2289.infix = lspace:5 rspace:5 # &NotSupersetEqual;
   380 operator.\u228A.infix = lspace:5 rspace:5 # &subsetneq; &subne;
   381 operator.\u228B.infix = lspace:5 rspace:5 # superset of with not equal to
   382 operator.\u228C.infix = lspace:4 rspace:4 # multiset
   383 operator.\u228D.infix = lspace:4 rspace:4 # multiset multiplication
   384 operator.\u228E.infix = lspace:4 rspace:4 direction:vertical # &UnionPlus;
   385 operator.\u228F.infix = lspace:5 rspace:5 # &SquareSubset;
   386 operator.\u228F\u0338.infix = lspace:5 rspace:5 # &NotSquareSubset;
   387 operator.\u2290.infix = lspace:5 rspace:5 # &SquareSuperset;
   388 operator.\u2290\u0338.infix = lspace:5 rspace:5 # &NotSquareSuperset;
   389 operator.\u2291.infix = lspace:5 rspace:5 # &SquareSubsetEqual;
   390 operator.\u2292.infix = lspace:5 rspace:5 # &SquareSupersetEqual;
   391 operator.\u2293.infix = lspace:4 rspace:4 direction:vertical # &SquareIntersection;
   392 operator.\u2294.infix = lspace:4 rspace:4 direction:vertical # &SquareUnion;
   393 operator.\u2295.infix = lspace:4 rspace:4 # &CirclePlus;
   394 operator.\u2296.infix = lspace:4 rspace:4 # &CircleMinus;
   395 operator.\u2297.infix = lspace:4 rspace:4 # &CircleTimes;
   396 operator.\u2298.infix = lspace:4 rspace:4 # circled division slash
   397 operator.\u2299.infix = lspace:4 rspace:4 # &CircleDot;
   398 operator.\u229A.infix = lspace:4 rspace:4 # circled ring operator
   399 operator.\u229B.infix = lspace:4 rspace:4 # circled asterisk operator
   400 operator.\u229C.infix = lspace:4 rspace:4 # circled equals
   401 operator.\u229D.infix = lspace:4 rspace:4 # circled dash
   402 operator.\u229E.infix = lspace:4 rspace:4 # squared plus
   403 operator.\u229F.infix = lspace:4 rspace:4 # squared minus
   404 operator.\u22A0.infix = lspace:4 rspace:4 # squared times
   405 operator.\u22A1.infix = lspace:4 rspace:4 # squared dot operator
   406 operator.\u22A2.infix = lspace:5 rspace:5 # &RightTee;
   407 operator.\u22A3.infix = lspace:5 rspace:5 # &LeftTee;
   408 operator.\u22A4.infix = lspace:5 rspace:5 # &DownTee;
   409 operator.\u22A5.infix = lspace:5 rspace:5 # &UpTee;
   410 operator.\u22A6.infix = lspace:5 rspace:5 # assertion
   411 operator.\u22A7.infix = lspace:5 rspace:5 # models
   412 operator.\u22A8.infix = lspace:5 rspace:5 # &DoubleRightTee;
   413 operator.\u22A9.infix = lspace:5 rspace:5 # forces
   414 operator.\u22AA.infix = lspace:5 rspace:5 # triple vertical bar right turnstile
   415 operator.\u22AB.infix = lspace:5 rspace:5 # double vertical bar double right turnstile
   416 operator.\u22AC.infix = lspace:5 rspace:5 # does not prove
   417 operator.\u22AD.infix = lspace:5 rspace:5 # not true
   418 operator.\u22AE.infix = lspace:5 rspace:5 # does not force
   419 operator.\u22AF.infix = lspace:5 rspace:5 # negated double vertical bar double right turnstile
   420 operator.\u22B0.infix = lspace:5 rspace:5 # precedes under relation
   421 operator.\u22B1.infix = lspace:5 rspace:5 # succeeds under relation
   422 operator.\u22B2.infix = lspace:5 rspace:5 # &LeftTriangle;
   423 operator.\u22B3.infix = lspace:5 rspace:5 # &RightTriangle;
   424 operator.\u22B4.infix = lspace:5 rspace:5 # &LeftTriangleEqual;
   425 operator.\u22B5.infix = lspace:5 rspace:5 # &RightTriangleEqual;
   426 operator.\u22B6.infix = lspace:5 rspace:5 # original of
   427 operator.\u22B7.infix = lspace:5 rspace:5 # image of
   428 operator.\u22B8.infix = lspace:5 rspace:5 # multimap
   429 operator.\u22B9.infix = lspace:5 rspace:5 # hermitian conjugate matrix
   430 operator.\u22BA.infix = lspace:4 rspace:4 # intercalate
   431 operator.\u22BB.infix = lspace:4 rspace:4 # xor
   432 operator.\u22BC.infix = lspace:4 rspace:4 # nand
   433 operator.\u22BD.infix = lspace:4 rspace:4 # nor
   434 operator.\u22BE.infix = lspace:3 rspace:3 # right angle with arc
   435 operator.\u22BF.infix = lspace:3 rspace:3 # right triangle
   436 operator.\u22C0.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical # &Wedge;
   437 operator.\u22C1.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical # &Vee;
   438 operator.\u22C2.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical # &Intersection;
   439 operator.\u22C3.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical # &Union;
   440 operator.\u22C4.infix = lspace:4 rspace:4 # &Diamond;
   441 operator.\u22C5.infix = lspace:4 rspace:4 # &cdot;
   442 operator.\u22C6.infix = lspace:4 rspace:4 # &Star;
   443 operator.\u22C7.infix = lspace:4 rspace:4 # division times
   444 operator.\u22C8.infix = lspace:5 rspace:5 # bowtie
   445 operator.\u22C9.infix = lspace:4 rspace:4 # left normal factor semidirect product
   446 operator.\u22CA.infix = lspace:4 rspace:4 # right normal factor semidirect product
   447 operator.\u22CB.infix = lspace:4 rspace:4 # left semidirect product
   448 operator.\u22CC.infix = lspace:4 rspace:4 # right semidirect product
   449 operator.\u22CD.infix = lspace:5 rspace:5 # reversed tilde equals
   450 operator.\u22CE.infix = lspace:4 rspace:4 # curly logical or
   451 operator.\u22CF.infix = lspace:4 rspace:4 # curly logical and
   452 operator.\u22D0.infix = lspace:5 rspace:5 # &Subset;
   453 operator.\u22D1.infix = lspace:5 rspace:5 # double superset
   454 operator.\u22D2.infix = lspace:4 rspace:4 # &Cap;
   455 operator.\u22D3.infix = lspace:4 rspace:4 # &Cup;
   456 operator.\u22D4.infix = lspace:5 rspace:5 # pitchfork
   457 operator.\u22D5.infix = lspace:5 rspace:5 # equal and parallel to
   458 operator.\u22D6.infix = lspace:5 rspace:5 # less-than with dot
   459 operator.\u22D7.infix = lspace:5 rspace:5 # greater-than with dot
   460 operator.\u22D8.infix = lspace:5 rspace:5 # very much less-than
   461 operator.\u22D9.infix = lspace:5 rspace:5 # very much greater-than
   462 operator.\u22DA.infix = lspace:5 rspace:5 # &LessEqualGreater;
   463 operator.\u22DB.infix = lspace:5 rspace:5 # &GreaterEqualLess;
   464 operator.\u22DC.infix = lspace:5 rspace:5 # equal to or less-than
   465 operator.\u22DD.infix = lspace:5 rspace:5 # equal to or greater-than
   466 operator.\u22DE.infix = lspace:5 rspace:5 # equal to or precedes
   467 operator.\u22DF.infix = lspace:5 rspace:5 # equal to or succeeds
   468 operator.\u22E0.infix = lspace:5 rspace:5 # &NotPrecedesSlantEqual;
   469 operator.\u22E1.infix = lspace:5 rspace:5 # &NotSucceedsSlantEqual;
   470 operator.\u22E2.infix = lspace:5 rspace:5 # &NotSquareSubsetEqual;
   471 operator.\u22E3.infix = lspace:5 rspace:5 # &NotSquareSupersetEqual;
   472 operator.\u22E4.infix = lspace:5 rspace:5 # square image of or not equal to
   473 operator.\u22E5.infix = lspace:5 rspace:5 # square original of or not equal to
   474 operator.\u22E6.infix = lspace:5 rspace:5 # less-than but not equivalent to
   475 operator.\u22E7.infix = lspace:5 rspace:5 # greater-than but not equivalent to
   476 operator.\u22E8.infix = lspace:5 rspace:5 # precedes but not equivalent to
   477 operator.\u22E9.infix = lspace:5 rspace:5 # succeeds but not equivalent to
   478 operator.\u22EA.infix = lspace:5 rspace:5 # &NotLeftTriangle;
   479 operator.\u22EB.infix = lspace:5 rspace:5 # &NotRightTriangle;
   480 operator.\u22EC.infix = lspace:5 rspace:5 # &NotLeftTriangleEqual;
   481 operator.\u22ED.infix = lspace:5 rspace:5 # &NotRightTriangleEqual;
   482 operator.\u22EE.infix = lspace:5 rspace:5 # vertical ellipsis
   483 operator.\u22EF.infix = lspace:0 rspace:0 # midline horizontal ellipsis
   484 operator.\u22F0.infix = lspace:5 rspace:5 # up right diagonal ellipsis
   485 operator.\u22F1.infix = lspace:5 rspace:5 # down right diagonal ellipsis
   486 operator.\u22F2.infix = lspace:5 rspace:5 # element of with long horizontal stroke
   487 operator.\u22F3.infix = lspace:5 rspace:5 # element of with vertical bar at end of horizontal stroke
   488 operator.\u22F4.infix = lspace:5 rspace:5 # small element of with vertical bar at end of horizontal stroke
   489 operator.\u22F5.infix = lspace:5 rspace:5 # element of with dot above
   490 operator.\u22F6.infix = lspace:5 rspace:5 # element of with overbar
   491 operator.\u22F7.infix = lspace:5 rspace:5 # small element of with overbar
   492 operator.\u22F8.infix = lspace:5 rspace:5 # element of with underbar
   493 operator.\u22F9.infix = lspace:5 rspace:5 # element of with two horizontal strokes
   494 operator.\u22FA.infix = lspace:5 rspace:5 # contains with long horizontal stroke
   495 operator.\u22FB.infix = lspace:5 rspace:5 # contains with vertical bar at end of horizontal stroke
   496 operator.\u22FC.infix = lspace:5 rspace:5 # small contains with vertical bar at end of horizontal stroke
   497 operator.\u22FD.infix = lspace:5 rspace:5 # contains with overbar
   498 operator.\u22FE.infix = lspace:5 rspace:5 # small contains with overbar
   499 operator.\u22FF.infix = lspace:5 rspace:5 # z notation bag membership
   500 operator.\u2308.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # &LeftCeiling;
   501 operator.\u2309.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # &RightCeiling;
   502 operator.\u230A.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # &LeftFloor;
   503 operator.\u230B.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # &RightFloor;
   504 operator.\u23B4.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # &OverBracket;
   505 operator.\u23B5.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # &UnderBracket;
   506 operator.\u23DC.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # &OverParenthesis; (Unicode)
   507 operator.\u23DD.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # &UnderParenthesis; (Unicode)
   508 operator.\u23DE.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # &OverBrace; (Unicode)
   509 operator.\u23DF.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # &UnderBrace; (Unicode)
   510 operator.\u23E0.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # top tortoise shell bracket
   511 operator.\u23E1.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # bottom tortoise shell bracket
   512 operator.\u25A0.infix = lspace:3 rspace:3 # black square
   513 operator.\u25A1.infix = lspace:3 rspace:3 # white square
   514 operator.\u25AA.infix = lspace:3 rspace:3 # black small square
   515 operator.\u25AB.infix = lspace:3 rspace:3 # white small square
   516 operator.\u25AD.infix = lspace:3 rspace:3 # white rectangle
   517 operator.\u25AE.infix = lspace:3 rspace:3 # black vertical rectangle
   518 operator.\u25AF.infix = lspace:3 rspace:3 # white vertical rectangle
   519 operator.\u25B0.infix = lspace:3 rspace:3 # black parallelogram
   520 operator.\u25B1.infix = lspace:3 rspace:3 # white parallelogram
   521 operator.\u25B2.infix = lspace:4 rspace:4 # black up-pointing triangle
   522 operator.\u25B3.infix = lspace:4 rspace:4 # white up-pointing triangle
   523 operator.\u25B4.infix = lspace:4 rspace:4 # black up-pointing small triangle
   524 operator.\u25B5.infix = lspace:4 rspace:4 # white up-pointing small triangle
   525 operator.\u25B6.infix = lspace:4 rspace:4 # black right-pointing triangle
   526 operator.\u25B7.infix = lspace:4 rspace:4 # white right-pointing triangle
   527 operator.\u25B8.infix = lspace:4 rspace:4 # black right-pointing small triangle
   528 operator.\u25B9.infix = lspace:4 rspace:4 # white right-pointing small triangle
   529 operator.\u25BC.infix = lspace:4 rspace:4 # black down-pointing triangle
   530 operator.\u25BD.infix = lspace:4 rspace:4 # white down-pointing triangle
   531 operator.\u25BE.infix = lspace:4 rspace:4 # black down-pointing small triangle
   532 operator.\u25BF.infix = lspace:4 rspace:4 # white down-pointing small triangle
   533 operator.\u25C0.infix = lspace:4 rspace:4 # black left-pointing triangle
   534 operator.\u25C1.infix = lspace:4 rspace:4 # white left-pointing triangle
   535 operator.\u25C2.infix = lspace:4 rspace:4 # black left-pointing small triangle
   536 operator.\u25C3.infix = lspace:4 rspace:4 # white left-pointing small triangle
   537 operator.\u25C4.infix = lspace:4 rspace:4 # black left-pointing pointer
   538 operator.\u25C5.infix = lspace:4 rspace:4 # white left-pointing pointer
   539 operator.\u25C6.infix = lspace:4 rspace:4 # black diamond
   540 operator.\u25C7.infix = lspace:4 rspace:4 # white diamond
   541 operator.\u25C8.infix = lspace:4 rspace:4 # white diamond containing black small diamond
   542 operator.\u25C9.infix = lspace:4 rspace:4 # fisheye
   543 operator.\u25CC.infix = lspace:4 rspace:4 # dotted circle
   544 operator.\u25CD.infix = lspace:4 rspace:4 # circle with vertical fill
   545 operator.\u25CE.infix = lspace:4 rspace:4 # bullseye
   546 operator.\u25CF.infix = lspace:4 rspace:4 # black circle
   547 operator.\u25D6.infix = lspace:4 rspace:4 # left half black circle
   548 operator.\u25D7.infix = lspace:4 rspace:4 # right half black circle
   549 operator.\u25E6.infix = lspace:4 rspace:4 # white bullet
   550 operator.\u266D.postfix = lspace:0 rspace:2 # music flat sign
   551 operator.\u266E.postfix = lspace:0 rspace:2 # music natural sign
   552 operator.\u266F.postfix = lspace:0 rspace:2 # music sharp sign
   553 operator.\u2758.infix = lspace:5 rspace:5 direction:vertical # light vertical bar 
   554 operator.\u2772.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # light left tortoise shell bracket ornament
   555 operator.\u2773.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # light right tortoise shell bracket ornament
   556 operator.\u27E6.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # &LeftDoubleBracket;
   557 operator.\u27E7.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # &RightDoubleBracket;
   558 operator.\u27E8.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # &LeftAngleBracket;
   559 operator.\u27E9.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # &RightAngleBracket;
   560 operator.\u27EA.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # mathematical left double angle bracket
   561 operator.\u27EB.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # mathematical right double angle bracket
   562 operator.\u27EC.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # mathematical left white tortoise shell bracket
   563 operator.\u27ED.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # mathematical right white tortoise shell bracket
   564 operator.\u27EE.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # mathematical left flattened parenthesis
   565 operator.\u27EF.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # mathematical right flattened parenthesis
   566 operator.\u27F0.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards quadruple arrow
   567 operator.\u27F1.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards quadruple arrow
   568 operator.\u27F5.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &LongLeftArrow;
   569 operator.\u27F6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &LongRightArrow;
   570 operator.\u27F7.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &LongLeftRightArrow;
   571 operator.\u27F8.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &DoubleLongLeftArrow;
   572 operator.\u27F9.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &DoubleLongRightArrow;
   573 operator.\u27FA.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &DoubleLongLeftRightArrow;
   574 operator.\u27FB.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long leftwards arrow from bar
   575 operator.\u27FC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long rightwards arrow from bar
   576 operator.\u27FD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long leftwards double arrow from bar
   577 operator.\u27FE.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long rightwards double arrow from bar
   578 operator.\u27FF.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long rightwards squiggle arrow
   579 operator.\u2900.infix = lspace:5 rspace:5 accent # rightwards two-headed arrow with vertical stroke
   580 operator.\u2901.infix = lspace:5 rspace:5 accent # rightwards two-headed arrow with double vertical stroke
   581 operator.\u2902.infix = lspace:5 rspace:5 accent # leftwards double arrow with vertical stroke
   582 operator.\u2903.infix = lspace:5 rspace:5 accent # rightwards double arrow with vertical stroke
   583 operator.\u2904.infix = lspace:5 rspace:5 accent # left right double arrow with vertical stroke
   584 operator.\u2905.infix = lspace:5 rspace:5 accent # rightwards two-headed arrow from bar
   585 operator.\u2906.infix = lspace:5 rspace:5 accent # leftwards double arrow from bar
   586 operator.\u2907.infix = lspace:5 rspace:5 accent # rightwards double arrow from bar
   587 operator.\u2908.infix = lspace:5 rspace:5 # downwards arrow with horizontal stroke
   588 operator.\u2909.infix = lspace:5 rspace:5 # upwards arrow with horizontal stroke
   589 operator.\u290A.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards triple arrow
   590 operator.\u290B.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards triple arrow
   591 operator.\u290C.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards double dash arrow
   592 operator.\u290D.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards double dash arrow
   593 operator.\u290E.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards triple dash arrow
   594 operator.\u290F.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards triple dash arrow
   595 operator.\u2910.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards two-headed triple dash arrow
   596 operator.\u2911.infix = lspace:5 rspace:5 accent # rightwards arrow with dotted stem
   597 operator.\u2912.infix = lspace:5 rspace:5 stretchy direction:vertical # &UpArrowBar;
   598 operator.\u2913.infix = lspace:5 rspace:5 stretchy direction:vertical # &DownArrowBar;
   599 operator.\u2914.infix = lspace:5 rspace:5 accent # rightwards arrow with tail with vertical stroke
   600 operator.\u2915.infix = lspace:5 rspace:5 accent # rightwards arrow with tail with double vertical stroke
   601 operator.\u2916.infix = lspace:5 rspace:5 accent # rightwards two-headed arrow with tail
   602 operator.\u2917.infix = lspace:5 rspace:5 accent # rightwards two-headed arrow with tail with vertical stroke
   603 operator.\u2918.infix = lspace:5 rspace:5 accent # rightwards two-headed arrow with tail with double vertical stroke
   604 operator.\u2919.infix = lspace:5 rspace:5 accent # leftwards arrow-tail
   605 operator.\u291A.infix = lspace:5 rspace:5 accent # rightwards arrow-tail
   606 operator.\u291B.infix = lspace:5 rspace:5 accent # leftwards double arrow-tail
   607 operator.\u291C.infix = lspace:5 rspace:5 accent # rightwards double arrow-tail
   608 operator.\u291D.infix = lspace:5 rspace:5 accent # leftwards arrow to black diamond
   609 operator.\u291E.infix = lspace:5 rspace:5 accent # rightwards arrow to black diamond
   610 operator.\u291F.infix = lspace:5 rspace:5 accent # leftwards arrow from bar to black diamond
   611 operator.\u2920.infix = lspace:5 rspace:5 accent # rightwards arrow from bar to black diamond
   612 operator.\u2923.infix = lspace:5 rspace:5 # north west arrow with hook
   613 operator.\u2924.infix = lspace:5 rspace:5 # north east arrow with hook
   614 operator.\u2925.infix = lspace:5 rspace:5 # south east arrow with hook
   615 operator.\u2926.infix = lspace:5 rspace:5 # south west arrow with hook
   616 operator.\u2927.infix = lspace:5 rspace:5 # north west arrow and north east arrow
   617 operator.\u2928.infix = lspace:5 rspace:5 # north east arrow and south east arrow
   618 operator.\u2929.infix = lspace:5 rspace:5 # south east arrow and south west arrow
   619 operator.\u292A.infix = lspace:5 rspace:5 # south west arrow and north west arrow
   620 operator.\u292B.infix = lspace:5 rspace:5 # rising diagonal crossing falling diagonal
   621 operator.\u292C.infix = lspace:5 rspace:5 # falling diagonal crossing rising diagonal
   622 operator.\u292D.infix = lspace:5 rspace:5 # south east arrow crossing north east arrow
   623 operator.\u292E.infix = lspace:5 rspace:5 # north east arrow crossing south east arrow
   624 operator.\u292F.infix = lspace:5 rspace:5 # falling diagonal crossing north east arrow
   625 operator.\u2930.infix = lspace:5 rspace:5 # rising diagonal crossing south east arrow
   626 operator.\u2931.infix = lspace:5 rspace:5 # north east arrow crossing north west arrow
   627 operator.\u2932.infix = lspace:5 rspace:5 # north west arrow crossing north east arrow
   628 operator.\u2933.infix = lspace:5 rspace:5 accent # wave arrow pointing directly right
   629 operator.\u2934.infix = lspace:5 rspace:5 # arrow pointing rightwards then curving upwards
   630 operator.\u2935.infix = lspace:5 rspace:5 # arrow pointing rightwards then curving downwards
   631 operator.\u2936.infix = lspace:5 rspace:5 # arrow pointing downwards then curving leftwards
   632 operator.\u2937.infix = lspace:5 rspace:5 # arrow pointing downwards then curving rightwards
   633 operator.\u2938.infix = lspace:5 rspace:5 # right-side arc clockwise arrow
   634 operator.\u2939.infix = lspace:5 rspace:5 # left-side arc anticlockwise arrow
   635 operator.\u293A.infix = lspace:5 rspace:5 accent # top arc anticlockwise arrow
   636 operator.\u293B.infix = lspace:5 rspace:5 accent # bottom arc anticlockwise arrow
   637 operator.\u293C.infix = lspace:5 rspace:5 accent # top arc clockwise arrow with minus
   638 operator.\u293D.infix = lspace:5 rspace:5 accent # top arc anticlockwise arrow with plus
   639 operator.\u293E.infix = lspace:5 rspace:5 # lower right semicircular clockwise arrow
   640 operator.\u293F.infix = lspace:5 rspace:5 # lower left semicircular anticlockwise arrow
   641 operator.\u2940.infix = lspace:5 rspace:5 # anticlockwise closed circle arrow
   642 operator.\u2941.infix = lspace:5 rspace:5 # clockwise closed circle arrow
   643 operator.\u2942.infix = lspace:5 rspace:5 accent # rightwards arrow above short leftwards arrow
   644 operator.\u2943.infix = lspace:5 rspace:5 accent # leftwards arrow above short rightwards arrow
   645 operator.\u2944.infix = lspace:5 rspace:5 accent # short rightwards arrow above leftwards arrow
   646 operator.\u2945.infix = lspace:5 rspace:5 accent # rightwards arrow with plus below
   647 operator.\u2946.infix = lspace:5 rspace:5 accent # leftwards arrow with plus below
   648 operator.\u2947.infix = lspace:5 rspace:5 accent # rightwards arrow through x
   649 operator.\u2948.infix = lspace:5 rspace:5 accent # left right arrow through small circle
   650 operator.\u2949.infix = lspace:5 rspace:5 # upwards two-headed arrow from small circle
   651 operator.\u294A.infix = lspace:5 rspace:5 accent # left barb up right barb down harpoon
   652 operator.\u294B.infix = lspace:5 rspace:5 accent # left barb down right barb up harpoon
   653 operator.\u294C.infix = lspace:5 rspace:5 # up barb right down barb left harpoon
   654 operator.\u294D.infix = lspace:5 rspace:5 # up barb left down barb right harpoon
   655 operator.\u294E.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &LeftRightVector;
   656 operator.\u294F.infix = lspace:5 rspace:5 stretchy direction:vertical # &RightUpDownVector;
   657 operator.\u2950.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &DownLeftRightVector;
   658 operator.\u2951.infix = lspace:5 rspace:5 stretchy direction:vertical # &LeftUpDownVector;
   659 operator.\u2952.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &LeftVectorBar;
   660 operator.\u2953.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &RightVectorBar;
   661 operator.\u2954.infix = lspace:5 rspace:5 stretchy direction:vertical # &RightUpVectorBar;
   662 operator.\u2955.infix = lspace:5 rspace:5 stretchy direction:vertical # &RightDownVectorBar;
   663 operator.\u2956.infix = lspace:5 rspace:5 stretchy direction:horizontal # &DownLeftVectorBar;
   664 operator.\u2957.infix = lspace:5 rspace:5 stretchy direction:horizontal # &DownRightVectorBar;
   665 operator.\u2958.infix = lspace:5 rspace:5 stretchy direction:vertical # &LeftUpVectorBar;
   666 operator.\u2959.infix = lspace:5 rspace:5 stretchy direction:vertical # &LeftDownVectorBar;
   667 operator.\u295A.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &LeftTeeVector;
   668 operator.\u295B.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &RightTeeVector;
   669 operator.\u295C.infix = lspace:5 rspace:5 stretchy direction:vertical # &RightUpTeeVector;
   670 operator.\u295D.infix = lspace:5 rspace:5 stretchy direction:vertical # &RightDownTeeVector;
   671 operator.\u295E.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &DownLeftTeeVector;
   672 operator.\u295F.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # &DownRightTeeVector;
   673 operator.\u2960.infix = lspace:5 rspace:5 stretchy direction:vertical # &LeftUpTeeVector;
   674 operator.\u2961.infix = lspace:5 rspace:5 stretchy direction:vertical # &LeftDownTeeVector;
   675 operator.\u2962.infix = lspace:5 rspace:5 accent # leftwards harpoon with barb up above leftwards harpoon with barb down
   676 operator.\u2963.infix = lspace:5 rspace:5 # upwards harpoon with barb left beside upwards harpoon with barb right
   677 operator.\u2964.infix = lspace:5 rspace:5 accent # rightwards harpoon with barb up above rightwards harpoon with barb down
   678 operator.\u2965.infix = lspace:5 rspace:5 # downwards harpoon with barb left beside downwards harpoon with barb right
   679 operator.\u2966.infix = lspace:5 rspace:5 accent # leftwards harpoon with barb up above rightwards harpoon with barb up
   680 operator.\u2967.infix = lspace:5 rspace:5 accent # leftwards harpoon with barb down above rightwards harpoon with barb down
   681 operator.\u2968.infix = lspace:5 rspace:5 accent # rightwards harpoon with barb up above leftwards harpoon with barb up
   682 operator.\u2969.infix = lspace:5 rspace:5 accent # rightwards harpoon with barb down above leftwards harpoon with barb down
   683 operator.\u296A.infix = lspace:5 rspace:5 accent # leftwards harpoon with barb up above long dash
   684 operator.\u296B.infix = lspace:5 rspace:5 accent # leftwards harpoon with barb down below long dash
   685 operator.\u296C.infix = lspace:5 rspace:5 accent # rightwards harpoon with barb up above long dash
   686 operator.\u296D.infix = lspace:5 rspace:5 accent # rightwards harpoon with barb down below long dash
   687 operator.\u296E.infix = lspace:5 rspace:5 stretchy direction:vertical # &UpEquilibrium;
   688 operator.\u296F.infix = lspace:5 rspace:5 stretchy direction:vertical # &ReverseUpEquilibrium;
   689 operator.\u2970.infix = lspace:5 rspace:5 accent # &RoundImplies;
   690 operator.\u2971.infix = lspace:5 rspace:5 accent # equals sign above rightwards arrow
   691 operator.\u2972.infix = lspace:5 rspace:5 accent # tilde operator above rightwards arrow
   692 operator.\u2973.infix = lspace:5 rspace:5 accent # leftwards arrow above tilde operator
   693 operator.\u2974.infix = lspace:5 rspace:5 accent # rightwards arrow above tilde operator
   694 operator.\u2975.infix = lspace:5 rspace:5 accent # rightwards arrow above almost equal to
   695 operator.\u2976.infix = lspace:5 rspace:5 accent # less-than above leftwards arrow
   696 operator.\u2977.infix = lspace:5 rspace:5 accent # leftwards arrow through less-than
   697 operator.\u2978.infix = lspace:5 rspace:5 accent # greater-than above rightwards arrow
   698 operator.\u2979.infix = lspace:5 rspace:5 accent # subset above rightwards arrow
   699 operator.\u297A.infix = lspace:5 rspace:5 accent # leftwards arrow through subset
   700 operator.\u297B.infix = lspace:5 rspace:5 accent # superset above leftwards arrow
   701 operator.\u297C.infix = lspace:5 rspace:5 accent # left fish tail
   702 operator.\u297D.infix = lspace:5 rspace:5 accent # right fish tail
   703 operator.\u297E.infix = lspace:5 rspace:5 # up fish tail
   704 operator.\u297F.infix = lspace:5 rspace:5 # down fish tail
   705 operator.\u2980.prefix = lspace:0 rspace:0 stretchy fence direction:vertical # triple direction:vertical bar delimiter
   706 operator.\u2980.postfix = lspace:0 rspace:0 stretchy fence direction:vertical # triple direction:vertical bar delimiter
   707 operator.\u2981.infix = lspace:3 rspace:3 # z notation spot
   708 operator.\u2982.infix = lspace:3 rspace:3 # z notation type colon
   709 operator.\u2983.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # left white curly bracket
   710 operator.\u2984.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # right white curly bracket
   711 operator.\u2985.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # left white parenthesis
   712 operator.\u2986.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # right white parenthesis
   713 operator.\u2987.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # z notation left image bracket
   714 operator.\u2988.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # z notation right image bracket
   715 operator.\u2989.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # z notation left binding bracket
   716 operator.\u298A.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # z notation right binding bracket
   717 operator.\u298B.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # left square bracket with underbar
   718 operator.\u298C.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # right square bracket with underbar
   719 operator.\u298D.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # left square bracket with tick in top corner
   720 operator.\u298E.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # right square bracket with tick in bottom corner
   721 operator.\u298F.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # left square bracket with tick in bottom corner
   722 operator.\u2990.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # right square bracket with tick in top corner
   723 operator.\u2991.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # left angle bracket with dot
   724 operator.\u2992.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # right angle bracket with dot
   725 operator.\u2993.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # left arc less-than bracket
   726 operator.\u2994.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # right arc greater-than bracket
   727 operator.\u2995.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # double left arc greater-than bracket
   728 operator.\u2996.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # double right arc less-than bracket
   729 operator.\u2997.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # left black tortoise shell bracket
   730 operator.\u2998.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # right black tortoise shell bracket
   731 operator.\u2999.infix = lspace:3 rspace:3 # dotted fence
   732 operator.\u299A.infix = lspace:3 rspace:3 # vertical zigzag line
   733 operator.\u299B.infix = lspace:3 rspace:3 # measured angle opening left
   734 operator.\u299C.infix = lspace:3 rspace:3 # right angle variant with square
   735 operator.\u299D.infix = lspace:3 rspace:3 # measured right angle with dot
   736 operator.\u299E.infix = lspace:3 rspace:3 # angle with s inside
   737 operator.\u299F.infix = lspace:3 rspace:3 # acute angle
   738 operator.\u29A0.infix = lspace:3 rspace:3 # spherical angle opening left
   739 operator.\u29A1.infix = lspace:3 rspace:3 # spherical angle opening up
   740 operator.\u29A2.infix = lspace:3 rspace:3 # turned angle
   741 operator.\u29A3.infix = lspace:3 rspace:3 # reversed angle
   742 operator.\u29A4.infix = lspace:3 rspace:3 # angle with underbar
   743 operator.\u29A5.infix = lspace:3 rspace:3 # reversed angle with underbar
   744 operator.\u29A6.infix = lspace:3 rspace:3 # oblique angle opening up
   745 operator.\u29A7.infix = lspace:3 rspace:3 # oblique angle opening down
   746 operator.\u29A8.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing up and right
   747 operator.\u29A9.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing up and left
   748 operator.\u29AA.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing down and right
   749 operator.\u29AB.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing down and left
   750 operator.\u29AC.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing right and up
   751 operator.\u29AD.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing left and up
   752 operator.\u29AE.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing right and down
   753 operator.\u29AF.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing left and down
   754 operator.\u29B0.infix = lspace:3 rspace:3 # reversed empty set
   755 operator.\u29B1.infix = lspace:3 rspace:3 # empty set with overbar
   756 operator.\u29B2.infix = lspace:3 rspace:3 # empty set with small circle above
   757 operator.\u29B3.infix = lspace:3 rspace:3 # empty set with right arrow above
   758 operator.\u29B4.infix = lspace:3 rspace:3 # empty set with left arrow above
   759 operator.\u29B5.infix = lspace:3 rspace:3 # circle with horizontal bar
   760 operator.\u29B6.infix = lspace:4 rspace:4 # circled vertical bar
   761 operator.\u29B7.infix = lspace:4 rspace:4 # circled parallel
   762 operator.\u29B8.infix = lspace:4 rspace:4 # circled reverse solidus
   763 operator.\u29B9.infix = lspace:4 rspace:4 # circled perpendicular
   764 operator.\u29BA.infix = lspace:4 rspace:4 # circle divided by horizontal bar and top half divided by vertical bar
   765 operator.\u29BB.infix = lspace:4 rspace:4 # circle with superimposed x
   766 operator.\u29BC.infix = lspace:4 rspace:4 # circled anticlockwise-rotated division sign
   767 operator.\u29BD.infix = lspace:4 rspace:4 # up arrow through circle
   768 operator.\u29BE.infix = lspace:4 rspace:4 # circled white bullet
   769 operator.\u29BF.infix = lspace:4 rspace:4 # circled bullet
   770 operator.\u29C0.infix = lspace:5 rspace:5 # circled less-than
   771 operator.\u29C1.infix = lspace:5 rspace:5 # circled greater-than
   772 operator.\u29C2.infix = lspace:3 rspace:3 # circle with small circle to the right
   773 operator.\u29C3.infix = lspace:3 rspace:3 # circle with two horizontal strokes to the right
   774 operator.\u29C4.infix = lspace:4 rspace:4 # squared rising diagonal slash
   775 operator.\u29C5.infix = lspace:4 rspace:4 # squared falling diagonal slash
   776 operator.\u29C6.infix = lspace:4 rspace:4 # squared asterisk
   777 operator.\u29C7.infix = lspace:4 rspace:4 # squared small circle
   778 operator.\u29C8.infix = lspace:4 rspace:4 # squared square
   779 operator.\u29C9.infix = lspace:3 rspace:3 # two joined squares
   780 operator.\u29CA.infix = lspace:3 rspace:3 # triangle with dot above
   781 operator.\u29CB.infix = lspace:3 rspace:3 # triangle with underbar
   782 operator.\u29CC.infix = lspace:3 rspace:3 # s in triangle
   783 operator.\u29CD.infix = lspace:3 rspace:3 # triangle with serifs at bottom
   784 operator.\u29CE.infix = lspace:5 rspace:5 # right triangle above left triangle
   785 operator.\u29CF.infix = lspace:5 rspace:5 # &LeftTriangleBar;
   786 operator.\u29CF\u0338.infix = lspace:5 rspace:5 # &NotLeftTriangleBar;
   787 operator.\u29D0.infix = lspace:5 rspace:5 # &RightTriangleBar;
   788 operator.\u29D0\u0338.infix = lspace:5 rspace:5 # &NotRightTriangleBar;
   789 operator.\u29D1.infix = lspace:5 rspace:5 # bowtie with left half black
   790 operator.\u29D2.infix = lspace:5 rspace:5 # bowtie with right half black
   791 operator.\u29D3.infix = lspace:5 rspace:5 # black bowtie
   792 operator.\u29D4.infix = lspace:5 rspace:5 # times with left half black
   793 operator.\u29D5.infix = lspace:5 rspace:5 # times with right half black
   794 operator.\u29D6.infix = lspace:4 rspace:4 # white hourglass
   795 operator.\u29D7.infix = lspace:4 rspace:4 # black hourglass
   796 operator.\u29D8.infix = lspace:3 rspace:3 # left wiggly fence
   797 operator.\u29D9.infix = lspace:3 rspace:3 # right wiggly fence
   798 operator.\u29DB.infix = lspace:3 rspace:3 # right double wiggly fence
   799 operator.\u29DC.infix = lspace:3 rspace:3 # incomplete infinity
   800 operator.\u29DD.infix = lspace:3 rspace:3 # tie over infinity
   801 operator.\u29DE.infix = lspace:5 rspace:5 # infinity negated with vertical bar
   802 operator.\u29DF.infix = lspace:3 rspace:3 # double-ended multimap
   803 operator.\u29E0.infix = lspace:3 rspace:3 # square with contoured outline
   804 operator.\u29E1.infix = lspace:5 rspace:5 # increases as
   805 operator.\u29E2.infix = lspace:4 rspace:4 # shuffle product
   806 operator.\u29E3.infix = lspace:5 rspace:5 # equals sign and slanted parallel
   807 operator.\u29E4.infix = lspace:5 rspace:5 # equals sign and slanted parallel with tilde above
   808 operator.\u29E5.infix = lspace:5 rspace:5 # identical to and slanted parallel
   809 operator.\u29E6.infix = lspace:5 rspace:5 # gleich stark
   810 operator.\u29E7.infix = lspace:3 rspace:3 # thermodynamic
   811 operator.\u29E8.infix = lspace:3 rspace:3 # down-pointing triangle with left half black
   812 operator.\u29E9.infix = lspace:3 rspace:3 # down-pointing triangle with right half black
   813 operator.\u29EA.infix = lspace:3 rspace:3 # black diamond with down arrow
   814 operator.\u29EB.infix = lspace:3 rspace:3 # black lozenge
   815 operator.\u29EC.infix = lspace:3 rspace:3 # white circle with down arrow
   816 operator.\u29ED.infix = lspace:3 rspace:3 # black circle with down arrow
   817 operator.\u29EE.infix = lspace:3 rspace:3 # error-barred white square
   818 operator.\u29EF.infix = lspace:3 rspace:3 # error-barred black square
   819 operator.\u29F0.infix = lspace:3 rspace:3 # error-barred white diamond
   820 operator.\u29F1.infix = lspace:3 rspace:3 # error-barred black diamond
   821 operator.\u29F2.infix = lspace:3 rspace:3 # error-barred white circle
   822 operator.\u29F3.infix = lspace:3 rspace:3 # error-barred black circle
   823 operator.\u29F4.infix = lspace:5 rspace:5 # rule-delayed
   824 operator.\u29F5.infix = lspace:4 rspace:4 # reverse solidus operator
   825 operator.\u29F6.infix = lspace:4 rspace:4 # solidus with overbar
   826 operator.\u29F7.infix = lspace:4 rspace:4 # reverse solidus with horizontal stroke
   827 operator.\u29F8.infix = lspace:3 rspace:3 # big solidus
   828 operator.\u29F9.infix = lspace:3 rspace:3 # big reverse solidus
   829 operator.\u29FA.infix = lspace:3 rspace:3 # double plus
   830 operator.\u29FB.infix = lspace:3 rspace:3 # triple plus
   831 operator.\u29FC.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # left-pointing curved angle bracket
   832 operator.\u29FD.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # right-pointing curved angle bracket
   833 operator.\u29FE.infix = lspace:4 rspace:4 # tiny
   834 operator.\u29FF.infix = lspace:4 rspace:4 # miny
   835 operator.\u2A00.prefix = lspace:1 rspace:2 largeop movablelimits symmetric # &bigodot;
   836 operator.\u2A01.prefix = lspace:1 rspace:2 largeop movablelimits symmetric # &bigoplus;
   837 operator.\u2A02.prefix = lspace:1 rspace:2 largeop movablelimits symmetric # &bigotimes;
   838 operator.\u2A03.prefix = lspace:1 rspace:2 largeop movablelimits symmetric # n-ary union operator with dot
   839 operator.\u2A04.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical # &biguplus;
   840 operator.\u2A05.prefix = lspace:1 rspace:2 largeop movablelimits symmetric # n-ary square intersection operator
   841 operator.\u2A06.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical # &bigsqcup;
   842 operator.\u2A07.prefix = lspace:1 rspace:2 largeop movablelimits symmetric # two logical and operator
   843 operator.\u2A08.prefix = lspace:1 rspace:2 largeop movablelimits symmetric # two logical or operator
   844 operator.\u2A09.prefix = lspace:1 rspace:2 largeop movablelimits symmetric # n-ary times operator
   845 operator.\u2A0A.prefix = lspace:1 rspace:2 largeop movablelimits symmetric mirrorable # modulo two sum
   846 operator.\u2A0B.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # summation with integral
   847 operator.\u2A0C.prefix = lspace:0 rspace:1 largeop symmetric direction:vertical integral mirrorable # quadruple integral operator
   848 operator.\u2A0D.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # finite part integral
   849 operator.\u2A0E.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # integral with double stroke
   850 operator.\u2A0F.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # integral average with slash
   851 operator.\u2A10.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical integral mirrorable # circulation function
   852 operator.\u2A11.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical integral # anticlockwise integration
   853 operator.\u2A12.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical integral mirrorable # line integration with rectangular path around pole
   854 operator.\u2A13.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical integral mirrorable # line integration with semicircular path around pole
   855 operator.\u2A14.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical integral mirrorable # line integration not including the pole
   856 operator.\u2A15.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # integral around a point operator
   857 operator.\u2A16.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # quaternion integral operator
   858 operator.\u2A17.prefix = lspace:1 rspace:2 largeop symmetric integral mirrorable direction:vertical # integral with leftwards arrow with hook
   859 operator.\u2A18.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # integral with times sign
   860 operator.\u2A19.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # integral with intersection
   861 operator.\u2A1A.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # integral with union
   862 operator.\u2A1B.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # integral with overbar
   863 operator.\u2A1C.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # integral with underbar
   864 operator.\u2A1D.infix = lspace:3 rspace:3 # join
   865 operator.\u2A1E.infix = lspace:3 rspace:3 # large left triangle operator
   866 operator.\u2A1F.infix = lspace:3 rspace:3 # z notation schema composition
   867 operator.\u2A20.infix = lspace:3 rspace:3 # z notation schema piping
   868 operator.\u2A21.infix = lspace:3 rspace:3 # z notation schema projection
   869 operator.\u2A22.infix = lspace:4 rspace:4 # plus sign with small circle above
   870 operator.\u2A23.infix = lspace:4 rspace:4 # plus sign with circumflex accent above
   871 operator.\u2A24.infix = lspace:4 rspace:4 # plus sign with tilde above
   872 operator.\u2A25.infix = lspace:4 rspace:4 # plus sign with dot below
   873 operator.\u2A26.infix = lspace:4 rspace:4 # plus sign with tilde below
   874 operator.\u2A27.infix = lspace:4 rspace:4 # plus sign with subscript two
   875 operator.\u2A28.infix = lspace:4 rspace:4 # plus sign with black triangle
   876 operator.\u2A29.infix = lspace:4 rspace:4 # minus sign with comma above
   877 operator.\u2A2A.infix = lspace:4 rspace:4 # minus sign with dot below
   878 operator.\u2A2B.infix = lspace:4 rspace:4 # minus sign with falling dots
   879 operator.\u2A2C.infix = lspace:4 rspace:4 # minus sign with rising dots
   880 operator.\u2A2D.infix = lspace:4 rspace:4 # plus sign in left half circle
   881 operator.\u2A2E.infix = lspace:4 rspace:4 # plus sign in right half circle
   882 operator.\u2A2F.infix = lspace:4 rspace:4 # &Cross;
   883 operator.\u2A30.infix = lspace:4 rspace:4 # multiplication sign with dot above
   884 operator.\u2A31.infix = lspace:4 rspace:4 # multiplication sign with underbar
   885 operator.\u2A32.infix = lspace:4 rspace:4 # semidirect product with bottom closed
   886 operator.\u2A33.infix = lspace:4 rspace:4 # smash product
   887 operator.\u2A34.infix = lspace:4 rspace:4 # multiplication sign in left half circle
   888 operator.\u2A35.infix = lspace:4 rspace:4 # multiplication sign in right half circle
   889 operator.\u2A36.infix = lspace:4 rspace:4 # circled multiplication sign with circumflex accent
   890 operator.\u2A37.infix = lspace:4 rspace:4 # multiplication sign in double circle
   891 operator.\u2A38.infix = lspace:4 rspace:4 # circled division sign
   892 operator.\u2A39.infix = lspace:4 rspace:4 # plus sign in triangle
   893 operator.\u2A3A.infix = lspace:4 rspace:4 # minus sign in triangle
   894 operator.\u2A3B.infix = lspace:4 rspace:4 # multiplication sign in triangle
   895 operator.\u2A3C.infix = lspace:4 rspace:4 # interior product
   896 operator.\u2A3D.infix = lspace:4 rspace:4 # righthand interior product
   897 operator.\u2A3E.infix = lspace:4 rspace:4 # z notation relational composition
   898 operator.\u2A3F.infix = lspace:4 rspace:4 # amalgamation or coproduct
   899 operator.\u2A40.infix = lspace:4 rspace:4 # intersection with dot
   900 operator.\u2A41.infix = lspace:4 rspace:4 # union with minus sign
   901 operator.\u2A42.infix = lspace:4 rspace:4 # union with overbar
   902 operator.\u2A43.infix = lspace:4 rspace:4 # intersection with overbar
   903 operator.\u2A44.infix = lspace:4 rspace:4 # intersection with logical and
   904 operator.\u2A45.infix = lspace:4 rspace:4 # union with logical or
   905 operator.\u2A46.infix = lspace:4 rspace:4 # union above intersection
   906 operator.\u2A47.infix = lspace:4 rspace:4 # intersection above union
   907 operator.\u2A48.infix = lspace:4 rspace:4 # union above bar above intersection
   908 operator.\u2A49.infix = lspace:4 rspace:4 # intersection above bar above union
   909 operator.\u2A4A.infix = lspace:4 rspace:4 # union beside and joined with union
   910 operator.\u2A4B.infix = lspace:4 rspace:4 # intersection beside and joined with intersection
   911 operator.\u2A4C.infix = lspace:4 rspace:4 # closed union with serifs
   912 operator.\u2A4D.infix = lspace:4 rspace:4 # closed intersection with serifs
   913 operator.\u2A4E.infix = lspace:4 rspace:4 # double square intersection
   914 operator.\u2A4F.infix = lspace:4 rspace:4 # double square union
   915 operator.\u2A50.infix = lspace:4 rspace:4 # closed union with serifs and smash product
   916 operator.\u2A51.infix = lspace:4 rspace:4 # logical and with dot above
   917 operator.\u2A52.infix = lspace:4 rspace:4 # logical or with dot above
   918 operator.\u2A53.infix = lspace:4 rspace:4 direction:vertical # &And;
   919 operator.\u2A54.infix = lspace:4 rspace:4 direction:vertical # &Or;
   920 operator.\u2A55.infix = lspace:4 rspace:4 # two intersecting logical and
   921 operator.\u2A56.infix = lspace:4 rspace:4 # two intersecting logical or
   922 operator.\u2A57.infix = lspace:4 rspace:4 # sloping large or
   923 operator.\u2A58.infix = lspace:4 rspace:4 # sloping large and
   924 operator.\u2A59.infix = lspace:5 rspace:5 # logical or overlapping logical and
   925 operator.\u2A5A.infix = lspace:4 rspace:4 # logical and with middle stem
   926 operator.\u2A5B.infix = lspace:4 rspace:4 # logical or with middle stem
   927 operator.\u2A5C.infix = lspace:4 rspace:4 # logical and with horizontal dash
   928 operator.\u2A5D.infix = lspace:4 rspace:4 # logical or with horizontal dash
   929 operator.\u2A5E.infix = lspace:4 rspace:4 # logical and with double overbar
   930 operator.\u2A5F.infix = lspace:4 rspace:4 # logical and with underbar
   931 operator.\u2A60.infix = lspace:4 rspace:4 # logical and with double underbar
   932 operator.\u2A61.infix = lspace:4 rspace:4 # small vee with underbar
   933 operator.\u2A62.infix = lspace:4 rspace:4 # logical or with double overbar
   934 operator.\u2A63.infix = lspace:4 rspace:4 # logical or with double underbar
   935 operator.\u2A64.infix = lspace:4 rspace:4 # z notation domain antirestriction
   936 operator.\u2A65.infix = lspace:4 rspace:4 # z notation range antirestriction
   937 operator.\u2A66.infix = lspace:5 rspace:5 # equals sign with dot below
   938 operator.\u2A67.infix = lspace:5 rspace:5 # identical with dot above
   939 operator.\u2A68.infix = lspace:5 rspace:5 # triple horizontal bar with double vertical stroke
   940 operator.\u2A69.infix = lspace:5 rspace:5 # triple horizontal bar with triple vertical stroke
   941 operator.\u2A6A.infix = lspace:5 rspace:5 # tilde operator with dot above
   942 operator.\u2A6B.infix = lspace:5 rspace:5 # tilde operator with rising dots
   943 operator.\u2A6C.infix = lspace:5 rspace:5 # similar minus similar
   944 operator.\u2A6D.infix = lspace:5 rspace:5 # congruent with dot above
   945 operator.\u2A6E.infix = lspace:5 rspace:5 # equals with asterisk
   946 operator.\u2A6F.infix = lspace:5 rspace:5 # almost equal to with circumflex accent
   947 operator.\u2A70.infix = lspace:5 rspace:5 # approximately equal or equal to
   948 operator.\u2A71.infix = lspace:4 rspace:4 # equals sign above plus sign
   949 operator.\u2A72.infix = lspace:4 rspace:4 # plus sign above equals sign
   950 operator.\u2A73.infix = lspace:5 rspace:5 # equals sign above tilde operator
   951 operator.\u2A74.infix = lspace:5 rspace:5 # double colon equal
   952 operator.\u2A75.infix = lspace:5 rspace:5 # &Equal;
   953 operator.\u2A76.infix = lspace:5 rspace:5 # three consecutive equals signs
   954 operator.\u2A77.infix = lspace:5 rspace:5 # equals sign with two dots above and two dots below
   955 operator.\u2A78.infix = lspace:5 rspace:5 # equivalent with four dots above
   956 operator.\u2A79.infix = lspace:5 rspace:5 # less-than with circle inside
   957 operator.\u2A7A.infix = lspace:5 rspace:5 # greater-than with circle inside
   958 operator.\u2A7B.infix = lspace:5 rspace:5 # less-than with question mark above
   959 operator.\u2A7C.infix = lspace:5 rspace:5 # greater-than with question mark above
   960 operator.\u2A7D.infix = lspace:5 rspace:5 # &LessSlantEqual;
   961 operator.\u2A7D\u0338.infix = lspace:5 rspace:5 # &NotLessSlantEqual;
   962 operator.\u2A7E.infix = lspace:5 rspace:5 # &GreaterSlantEqual;
   963 operator.\u2A7E\u0338.infix = lspace:5 rspace:5 # &NotGreaterSlantEqual;
   964 operator.\u2A7F.infix = lspace:5 rspace:5 # less-than or slanted equal to with dot inside
   965 operator.\u2A80.infix = lspace:5 rspace:5 # greater-than or slanted equal to with dot inside
   966 operator.\u2A81.infix = lspace:5 rspace:5 # less-than or slanted equal to with dot above
   967 operator.\u2A82.infix = lspace:5 rspace:5 # greater-than or slanted equal to with dot above
   968 operator.\u2A83.infix = lspace:5 rspace:5 # less-than or slanted equal to with dot above right
   969 operator.\u2A84.infix = lspace:5 rspace:5 # greater-than or slanted equal to with dot above left
   970 operator.\u2A85.infix = lspace:5 rspace:5 # &lessapprox;
   971 operator.\u2A86.infix = lspace:5 rspace:5 # &gtrapprox;
   972 operator.\u2A87.infix = lspace:5 rspace:5 # less-than and single-line not equal to
   973 operator.\u2A88.infix = lspace:5 rspace:5 # greater-than and single-line not equal to
   974 operator.\u2A89.infix = lspace:5 rspace:5 # less-than and not approximate
   975 operator.\u2A8A.infix = lspace:5 rspace:5 # greater-than and not approximate
   976 operator.\u2A8B.infix = lspace:5 rspace:5 # &lesseqqgtr;
   977 operator.\u2A8C.infix = lspace:5 rspace:5 # &gtreqqless;
   978 operator.\u2A8D.infix = lspace:5 rspace:5 # less-than above similar or equal
   979 operator.\u2A8E.infix = lspace:5 rspace:5 # greater-than above similar or equal
   980 operator.\u2A8F.infix = lspace:5 rspace:5 # less-than above similar above greater-than
   981 operator.\u2A90.infix = lspace:5 rspace:5 # greater-than above similar above less-than
   982 operator.\u2A91.infix = lspace:5 rspace:5 # less-than above greater-than above double-line equal
   983 operator.\u2A92.infix = lspace:5 rspace:5 # greater-than above less-than above double-line equal
   984 operator.\u2A93.infix = lspace:5 rspace:5 # less-than above slanted equal above greater-than above slanted equal
   985 operator.\u2A94.infix = lspace:5 rspace:5 # greater-than above slanted equal above less-than above slanted equal
   986 operator.\u2A95.infix = lspace:5 rspace:5 # slanted equal to or less-than
   987 operator.\u2A96.infix = lspace:5 rspace:5 # slanted equal to or greater-than
   988 operator.\u2A97.infix = lspace:5 rspace:5 # slanted equal to or less-than with dot inside
   989 operator.\u2A98.infix = lspace:5 rspace:5 # slanted equal to or greater-than with dot inside
   990 operator.\u2A99.infix = lspace:5 rspace:5 # double-line equal to or less-than
   991 operator.\u2A9A.infix = lspace:5 rspace:5 # double-line equal to or greater-than
   992 operator.\u2A9B.infix = lspace:5 rspace:5 # double-line slanted equal to or less-than
   993 operator.\u2A9C.infix = lspace:5 rspace:5 # double-line slanted equal to or greater-than
   994 operator.\u2A9D.infix = lspace:5 rspace:5 # similar or less-than
   995 operator.\u2A9E.infix = lspace:5 rspace:5 # similar or greater-than
   996 operator.\u2A9F.infix = lspace:5 rspace:5 # similar above less-than above equals sign
   997 operator.\u2AA0.infix = lspace:5 rspace:5 # similar above greater-than above equals sign
   998 operator.\u2AA1.infix = lspace:5 rspace:5 # &LessLess;
   999 operator.\u2AA1\u0338.infix = lspace:5 rspace:5 # &NotNestedLessLess;
  1000 operator.\u2AA2.infix = lspace:5 rspace:5 # &GreaterGreater;
  1001 operator.\u2AA2\u0338.infix = lspace:5 rspace:5 # &NotNestedGreaterGreater;
  1002 operator.\u2AA3.infix = lspace:5 rspace:5 # double nested less-than with underbar
  1003 operator.\u2AA4.infix = lspace:5 rspace:5 # greater-than overlapping less-than
  1004 operator.\u2AA5.infix = lspace:5 rspace:5 # greater-than beside less-than
  1005 operator.\u2AA6.infix = lspace:5 rspace:5 # less-than closed by curve
  1006 operator.\u2AA7.infix = lspace:5 rspace:5 # greater-than closed by curve
  1007 operator.\u2AA8.infix = lspace:5 rspace:5 # less-than closed by curve above slanted equal
  1008 operator.\u2AA9.infix = lspace:5 rspace:5 # greater-than closed by curve above slanted equal
  1009 operator.\u2AAA.infix = lspace:5 rspace:5 # smaller than
  1010 operator.\u2AAB.infix = lspace:5 rspace:5 # larger than
  1011 operator.\u2AAC.infix = lspace:5 rspace:5 # smaller than or equal to
  1012 operator.\u2AAD.infix = lspace:5 rspace:5 # larger than or equal to
  1013 operator.\u2AAE.infix = lspace:5 rspace:5 # equals sign with bumpy above
  1014 operator.\u2AAF.infix = lspace:5 rspace:5 # &PrecedesEqual;
  1015 operator.\u2AAF\u0338.infix = lspace:5 rspace:5 # &NotPrecedesEqual;
  1016 operator.\u2AB0.infix = lspace:5 rspace:5 # &SucceedsEqual;
  1017 operator.\u2AB0\u0338.infix = lspace:5 rspace:5 # &NotSucceedsEqual;
  1018 operator.\u2AB1.infix = lspace:5 rspace:5 # precedes above single-line not equal to
  1019 operator.\u2AB2.infix = lspace:5 rspace:5 # succeeds above single-line not equal to
  1020 operator.\u2AB3.infix = lspace:5 rspace:5 # &prE;
  1021 operator.\u2AB4.infix = lspace:5 rspace:5 # &scE;
  1022 operator.\u2AB5.infix = lspace:5 rspace:5 # precedes above not equal to
  1023 operator.\u2AB6.infix = lspace:5 rspace:5 # succeeds above not equal to
  1024 operator.\u2AB7.infix = lspace:5 rspace:5 # &precapprox;
  1025 operator.\u2AB8.infix = lspace:5 rspace:5 # &succapprox;
  1026 operator.\u2AB9.infix = lspace:5 rspace:5 # precedes above not almost equal to
  1027 operator.\u2ABA.infix = lspace:5 rspace:5 # succeeds above not almost equal to
  1028 operator.\u2ABB.infix = lspace:5 rspace:5 # double precedes
  1029 operator.\u2ABC.infix = lspace:5 rspace:5 # double succeeds
  1030 operator.\u2ABD.infix = lspace:5 rspace:5 # subset with dot
  1031 operator.\u2ABE.infix = lspace:5 rspace:5 # superset with dot
  1032 operator.\u2ABF.infix = lspace:5 rspace:5 # subset with plus sign below
  1033 operator.\u2AC0.infix = lspace:5 rspace:5 # superset with plus sign below
  1034 operator.\u2AC1.infix = lspace:5 rspace:5 # subset with multiplication sign below
  1035 operator.\u2AC2.infix = lspace:5 rspace:5 # superset with multiplication sign below
  1036 operator.\u2AC3.infix = lspace:5 rspace:5 # subset of or equal to with dot above
  1037 operator.\u2AC4.infix = lspace:5 rspace:5 # superset of or equal to with dot above
  1038 operator.\u2AC5.infix = lspace:5 rspace:5 # &subseteqq;
  1039 operator.\u2AC6.infix = lspace:5 rspace:5 # &supseteqq;
  1040 operator.\u2AC7.infix = lspace:5 rspace:5 # subset of above tilde operator
  1041 operator.\u2AC8.infix = lspace:5 rspace:5 # superset of above tilde operator
  1042 operator.\u2AC9.infix = lspace:5 rspace:5 # subset of above almost equal to
  1043 operator.\u2ACA.infix = lspace:5 rspace:5 # superset of above almost equal to
  1044 operator.\u2ACB.infix = lspace:5 rspace:5 # subset of above not equal to
  1045 operator.\u2ACC.infix = lspace:5 rspace:5 # superset of above not equal to
  1046 operator.\u2ACD.infix = lspace:5 rspace:5 # square left open box operator
  1047 operator.\u2ACE.infix = lspace:5 rspace:5 # square right open box operator
  1048 operator.\u2ACF.infix = lspace:5 rspace:5 # closed subset
  1049 operator.\u2AD0.infix = lspace:5 rspace:5 # closed superset
  1050 operator.\u2AD1.infix = lspace:5 rspace:5 # closed subset or equal to
  1051 operator.\u2AD2.infix = lspace:5 rspace:5 # closed superset or equal to
  1052 operator.\u2AD3.infix = lspace:5 rspace:5 # subset above superset
  1053 operator.\u2AD4.infix = lspace:5 rspace:5 # superset above subset
  1054 operator.\u2AD5.infix = lspace:5 rspace:5 # subset above subset
  1055 operator.\u2AD6.infix = lspace:5 rspace:5 # superset above superset
  1056 operator.\u2AD7.infix = lspace:5 rspace:5 # superset beside subset
  1057 operator.\u2AD8.infix = lspace:5 rspace:5 # superset beside and joined by dash with subset
  1058 operator.\u2AD9.infix = lspace:5 rspace:5 # element of opening downwards
  1059 operator.\u2ADA.infix = lspace:5 rspace:5 # pitchfork with tee top
  1060 operator.\u2ADB.infix = lspace:5 rspace:5 # transversal intersection
  1061 operator.\u2ADC.infix = lspace:5 rspace:5 # forking
  1062 operator.\u2ADD.infix = lspace:5 rspace:5 # nonforking
  1063 operator.\u2ADD\u0338.infix = lspace:5 rspace:5 # nonforking with slash
  1064 operator.\u2ADE.infix = lspace:5 rspace:5 # short left tack
  1065 operator.\u2ADF.infix = lspace:5 rspace:5 # short down tack
  1066 operator.\u2AE0.infix = lspace:5 rspace:5 # short up tack
  1067 operator.\u2AE1.infix = lspace:5 rspace:5 # perpendicular with s
  1068 operator.\u2AE2.infix = lspace:5 rspace:5 # vertical bar triple right turnstile
  1069 operator.\u2AE3.infix = lspace:5 rspace:5 # double vertical bar left turnstile
  1070 operator.\u2AE4.infix = lspace:5 rspace:5 # &DoubleLeftTee;
  1071 operator.\u2AE5.infix = lspace:5 rspace:5 # double vertical bar double left turnstile
  1072 operator.\u2AE6.infix = lspace:5 rspace:5 # long dash from left member of double vertical
  1073 operator.\u2AE7.infix = lspace:5 rspace:5 # short down tack with overbar
  1074 operator.\u2AE8.infix = lspace:5 rspace:5 # short up tack with underbar
  1075 operator.\u2AE9.infix = lspace:5 rspace:5 # short up tack above short down tack
  1076 operator.\u2AEA.infix = lspace:5 rspace:5 # double down tack
  1077 operator.\u2AEB.infix = lspace:5 rspace:5 # double up tack
  1078 operator.\u2AEC.infix = lspace:5 rspace:5 # double stroke not sign
  1079 operator.\u2AED.infix = lspace:5 rspace:5 # reversed double stroke not sign
  1080 operator.\u2AEE.infix = lspace:5 rspace:5 # does not divide with reversed negation slash
  1081 operator.\u2AEF.infix = lspace:5 rspace:5 # vertical line with circle above
  1082 operator.\u2AF0.infix = lspace:5 rspace:5 # vertical line with circle below
  1083 operator.\u2AF1.infix = lspace:5 rspace:5 # down tack with circle below
  1084 operator.\u2AF2.infix = lspace:5 rspace:5 # parallel with horizontal stroke
  1085 operator.\u2AF3.infix = lspace:5 rspace:5 # parallel with tilde operator
  1086 operator.\u2AF4.infix = lspace:4 rspace:4 # triple vertical bar binary relation
  1087 operator.\u2AF5.infix = lspace:4 rspace:4 # triple vertical bar with horizontal stroke
  1088 operator.\u2AF6.infix = lspace:4 rspace:4 # triple colon operator
  1089 operator.\u2AF7.infix = lspace:5 rspace:5 # triple nested less-than
  1090 operator.\u2AF8.infix = lspace:5 rspace:5 # triple nested greater-than
  1091 operator.\u2AF9.infix = lspace:5 rspace:5 # double-line slanted less-than or equal to
  1092 operator.\u2AFA.infix = lspace:5 rspace:5 # double-line slanted greater-than or equal to
  1093 operator.\u2AFB.infix = lspace:4 rspace:4 # triple solidus binary relation
  1094 operator.\u2AFC.prefix = lspace:1 rspace:2 largeop movablelimits symmetric # large triple vertical bar operator
  1095 operator.\u2AFD.infix = lspace:4 rspace:4 # double solidus operator
  1096 operator.\u2AFE.infix = lspace:3 rspace:3 # white vertical bar
  1097 operator.\u2AFF.prefix = lspace:1 rspace:2 largeop movablelimits symmetric # n-ary white vertical bar
  1098 operator.\u2B45.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards quadruple arrow
  1099 operator.\u2B46.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards quadruple arrow
  1101 # Entries below are not part of the official MathML dictionary
  1103 operator.\u0021.prefix = lspace:0 rspace:5 # !
  1104 operator.\u0026.infix = lspace:5 rspace:5 # &amp;
  1105 operator.\u0026.prefix = lspace:0 rspace:5 # &amp;
  1106 operator.\u002B\u002B.prefix = lspace:0 rspace:2 # ++
  1107 operator.\u002D\u002D.prefix = lspace:0 rspace:2 # --
  1108 operator.\u003B.postfix = lspace:0 rspace:0 separator # ;
  1109 operator.\u003C\u20D2.infix = lspace:5 rspace:5 # &nvlt;
  1110 operator.\u003E\u20D2.infix = lspace:5 rspace:5 # &nvgt;
  1111 operator.\u006C\u0069\u006D.prefix = lspace:0 rspace:3 movablelimits # lim
  1112 operator.\u006D\u0061\u0078.prefix = lspace:0 rspace:3 movablelimits # max
  1113 operator.\u006D\u0069\u006E.prefix = lspace:0 rspace:3 movablelimits # min
  1114 operator.\u007E.infix = lspace:2 rspace:2 stretchy direction:horizontal # ~
  1115 operator.\u0332.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # &UnderBar;
  1116 operator.\u2016.infix = lspace:5 rspace:5 stretchy direction:vertical # &Vert; &Verbar;
  1117 operator.\u20D0.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # &#x20D0;
  1118 operator.\u20D1.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # &#x20D1;
  1119 operator.\u20D6.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # &#x20D6;
  1120 operator.\u20D7.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # &#x20D7;
  1121 operator.\u20E1.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # &#x20E1;
  1122 operator.\u2190\u200B.infix = lspace:5 rspace:5 # &ShortLeftArrow;
  1123 operator.\u2191\u200B.infix = lspace:2 rspace:2 # &ShortUpArrow;
  1124 operator.\u2192\u200B.infix = lspace:5 rspace:5 # &ShortRightArrow;
  1125 operator.\u2193\u200B.infix = lspace:2 rspace:2 # &ShortDownArrow;
  1126 operator.\u2223.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # &VerticalBar;
  1127 operator.\u2223.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # &VerticalBar;
  1128 operator.\u2225.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # &DoubleVerticalBar;
  1129 operator.\u2225.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # &DoubleVerticalBar;
  1130 operator.\u2282\u020D2.infix = lspace:5 rspace:5 # &NotSubset;
  1131 operator.\u2283\u020D2.infix = lspace:5 rspace:5 # &NotSuperset;
  1132 operator.\u228E.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical # &UnionPlus;
  1133 operator.\u2295.prefix = lspace:0 rspace:3 largeop movablelimits symmetric # &CirclePlus;
  1134 operator.\u2296.prefix = lspace:0 rspace:3 largeop movablelimits symmetric # &CircleMinus;
  1135 operator.\u2297.prefix = lspace:0 rspace:3 largeop movablelimits symmetric # &CircleTimes;
  1136 operator.\u2299.prefix = lspace:0 rspace:3 largeop movablelimits symmetric # &CircleDot;
  1137 operator.\u23B0.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # &lmoustache; &lmoust;
  1138 operator.\u23B1.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # &rmoustache; &rmoust;
  1139 operator.\u2500.infix = lspace:0 rspace:0 stretchy direction:horizontal # &HorizontalLine;
  1140 operator.\u25A1.prefix = lspace:0 rspace:2 # &Square;
  1141 operator.\u2606.infix = lspace:3 rspace:3 # &star;
  1142 operator.\u2AC5\u0338.infix = lspace:5 rspace:5 # &nsubseteqq;
  1143 operator.\u2AC6\u0338.infix = lspace:5 rspace:5 # &nsubseteqq;
  1144 operator.\u2AEC.prefix = lspace:0 rspace:5 # &Not;
  1145 operator.\uFE35.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # &OverParenthesis; (MathML 2.0)
  1146 operator.\uFE36.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # &UnderParenthesis; (MathML 2.0)
  1147 operator.\uFE37.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # &OverBrace; (MathML 2.0)
  1148 operator.\uFE38.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # &UnderBrace; (MathML 2.0)
  1151 ##################################################################################
  1152 # DOCUMENTATION ON HOW TO SETUP THE PROPERTY FILE ASSOCIATED TO EACH FONT
  1153 # More fonts can be supported for stretchy characters by setting up mathfont
  1154 # property files as described below.
  1156 # Each font should have its set of glyph data. For example, the glyph data for
  1157 # the "Symbol" font and the "MT Extra" font are in "mathfontSymbol.properties"
  1158 # and "mathfontMTExtra.properties", respectively. The font property file is a
  1159 # set of all the stretchy MathML characters that can be rendered with that font
  1160 # using larger and/or partial glyphs. Each stretchy character is associated to
  1161 # a list in the font property file which gives, in that order, the 4 partial
  1162 # glyphs: top (or left), middle, bottom (or right), glue; and the variants of
  1163 # bigger sizes (if any). A position that is not relevant to a particular character
  1164 # is indicated there with the UNICODE REPLACEMENT CHARACTER 0xFFFD.

mercurial