mathfont.properties (108914B)
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/. 4 5 # LOCALIZATION NOTE: FILE 6 # Do not translate anything in this file 7 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(). 16 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. 19 20 operator.\u0021.prefix = lspace:0 rspace:0 # ! 21 operator.\u0021.postfix = lspace:0 rspace:0 # ! 22 operator.\u0021\u0021.postfix = lspace:0 rspace:0 # !! 23 operator.\u0021\u003D.infix = lspace:5 rspace:5 # != 24 operator.\u0022.postfix = lspace:0 rspace:0 # quotation mark 25 operator.\u0025.infix = lspace:3 rspace:3 # percent sign 26 operator.\u0025.postfix = lspace:0 rspace:0 # percent sign 27 operator.\u0026.postfix = lspace:0 rspace:0 # & 28 operator.\u0026\u0026.infix = lspace:4 rspace:4 # && 29 operator.\u0027.postfix = lspace:0 rspace:0 accent # ' 30 operator.\u0028.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ( 31 operator.\u0029.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ) 32 operator.\u002A.infix = lspace:3 rspace:3 # * 33 operator.\u002A\u002A.infix = lspace:3 rspace:3 # ** 34 operator.\u002A\u003D.infix = lspace:5 rspace:5 # *= 35 operator.\u002B.infix = lspace:4 rspace:4 # + 36 operator.\u002B.prefix = lspace:0 rspace:0 # + 37 operator.\u002B\u002B.postfix = lspace:0 rspace:0 # ++ 38 operator.\u002B\u003D.infix = lspace:5 rspace:5 # += 39 operator.\u002C.infix = lspace:0 rspace:3 separator # , 40 operator.\u002D.infix = lspace:4 rspace:4 # - 41 operator.\u002D.prefix = lspace:0 rspace:0 # - 42 operator.\u002D\u002D.postfix = lspace:0 rspace:0 # -- 43 operator.\u002D\u003D.infix = lspace:5 rspace:5 # -= 44 operator.\u002D\u003E.infix = lspace:5 rspace:5 # -> 45 operator.\u002E.infix = lspace:3 rspace:3 # . 46 operator.\u002F.infix = lspace:4 rspace:4 direction:vertical # solidus 47 operator.\u002F\u002F.infix = lspace:5 rspace:5 # // 48 operator.\u002F\u003D.infix = lspace:5 rspace:5 # /= 49 operator.\u003A.infix = lspace:0 rspace:3 # : 50 operator.\u003A\u003D.infix = lspace:5 rspace:5 # := 51 operator.\u003B.infix = lspace:0 rspace:3 separator # ; 52 operator.\u003C.infix = lspace:5 rspace:5 # < 53 operator.\u003C\u003D.infix = lspace:5 rspace:5 # <= 54 operator.\u003C\u003E.infix = lspace:3 rspace:3 # <> 55 operator.\u003D.infix = lspace:5 rspace:5 direction:horizontal # = 56 operator.\u003D\u003D.infix = lspace:5 rspace:5 # == 57 operator.\u003E.infix = lspace:5 rspace:5 # > 58 operator.\u003E\u003D.infix = lspace:5 rspace:5 # >= 59 operator.\u003F.infix = lspace:3 rspace:3 # ? 60 operator.\u0040.infix = lspace:3 rspace:3 # @ 61 operator.\u005B.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # [ 62 operator.\u005C.infix = lspace:0 rspace:0 # reverse solidus 63 operator.\u005D.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ] 64 operator.\u005E.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ^ circumflex accent 65 operator.\u005E.infix = lspace:3 rspace:3 direction:horizontal # ^ 66 operator.\u005F.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # _ low line 67 operator.\u005F.infix = lspace:0 rspace:0 direction:horizontal # _ low line 68 operator.\u0060.postfix = lspace:0 rspace:0 accent # ` 69 operator.\u007B.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # { 70 operator.\u007C.infix = lspace:5 rspace:5 fence direction:vertical # | | 71 operator.\u007C.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # | 72 operator.\u007C.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # | 73 operator.\u007C\u007C.infix = lspace:5 rspace:5 fence direction:vertical # || 74 operator.\u007C\u007C.prefix = lspace:0 rspace:0 fence direction:vertical # multiple character operator: || 75 operator.\u007C\u007C.postfix = lspace:0 rspace:0 fence direction:vertical # multiple character operator: || 76 operator.\u007D.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # } 77 operator.\u007E.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ~ tilde 78 operator.\u00A8.postfix = lspace:0 rspace:0 accent # ¨ 79 operator.\u00AC.prefix = lspace:0 rspace:0 # not sign 80 operator.\u00AF.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ‾ 81 operator.\u00B0.postfix = lspace:0 rspace:0 # degree sign 82 operator.\u00B1.infix = lspace:4 rspace:4 # ± 83 operator.\u00B1.prefix = lspace:0 rspace:0 # ± 84 operator.\u00B2.postfix = lspace:0 rspace:0 # superscript two 85 operator.\u00B3.postfix = lspace:0 rspace:0 # superscript three 86 operator.\u00B4.postfix = lspace:0 rspace:0 accent # ´ 87 operator.\u00B7.infix = lspace:3 rspace:3 # · 88 operator.\u00B8.postfix = lspace:0 rspace:0 accent # ¸ 89 operator.\u00B9.postfix = lspace:0 rspace:0 # superscript one 90 operator.\u00D7.infix = lspace:3 rspace:3 # multiplication sign 91 operator.\u00F7.infix = lspace:4 rspace:4 # division sign 92 operator.\u02C6.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # modifier letter circumflex accent 93 operator.\u02C7.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ˇ caron 94 operator.\u02C9.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # modifier letter macron 95 operator.\u02CA.postfix = lspace:0 rspace:0 accent # modifier letter acute accent 96 operator.\u02CB.postfix = lspace:0 rspace:0 accent # modifier letter grave accent 97 operator.\u02CD.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # modifier letter low macron 98 operator.\u02D8.postfix = lspace:0 rspace:0 accent # ˘ 99 operator.\u02D9.postfix = lspace:0 rspace:0 accent # ˙ 100 operator.\u02DA.postfix = lspace:0 rspace:0 accent # ring above 101 operator.\u02DC.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ˜ small tilde 102 operator.\u02DD.postfix = lspace:0 rspace:0 accent # ˝ 103 operator.\u02F7.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # modifier letter low tilde 104 operator.\u0302.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # combining circumflex accent 105 operator.\u0311.postfix = lspace:0 rspace:0 accent # ̑ 106 operator.\u2016.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ‖ ‖ 107 operator.\u2016.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ‖ ‖ 108 operator.\u2018.prefix = lspace:0 rspace:0 fence # ‘ 109 operator.\u2019.postfix = lspace:0 rspace:0 fence # ’ 110 operator.\u201A.postfix = lspace:0 rspace:0 # single low-9 quotation mark 111 operator.\u201B.postfix = lspace:0 rspace:0 # single high-reversed-9 quotation mark 112 operator.\u201C.prefix = lspace:0 rspace:0 fence # “ 113 operator.\u201D.postfix = lspace:0 rspace:0 fence # ” 114 operator.\u201E.postfix = lspace:0 rspace:0 # double low-9 quotation mark 115 operator.\u201F.postfix = lspace:0 rspace:0 # double high-reversed-9 quotation mark 116 operator.\u2022.infix = lspace:3 rspace:3 # bullet 117 operator.\u2032.postfix = lspace:0 rspace:0 # prime 118 operator.\u2033.postfix = lspace:0 rspace:0 # double prime 119 operator.\u2034.postfix = lspace:0 rspace:0 # triple prime 120 operator.\u2035.postfix = lspace:0 rspace:0 # reversed prime 121 operator.\u2036.postfix = lspace:0 rspace:0 # reversed double prime 122 operator.\u2037.postfix = lspace:0 rspace:0 # reversed triple prime 123 operator.\u203E.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # overline 124 operator.\u2043.infix = lspace:3 rspace:3 # hyphen bullet 125 operator.\u2044.infix = lspace:4 rspace:4 direction:vertical # fraction slash 126 operator.\u2057.postfix = lspace:0 rspace:0 # quadruple prime 127 operator.\u2061.infix = lspace:0 rspace:0 # ⁡ 128 operator.\u2062.infix = lspace:0 rspace:0 # ⁢ 129 operator.\u2063.infix = lspace:0 rspace:0 separator # ⁣ 130 operator.\u2064.infix = lspace:0 rspace:0 # invisible plus 131 operator.\u20DB.postfix = lspace:0 rspace:0 accent # ⃛ 132 operator.\u20DC.postfix = lspace:0 rspace:0 accent # combining four dots above 133 operator.\u2145.prefix = lspace:3 rspace:0 # ⅅ 134 operator.\u2146.prefix = lspace:3 rspace:0 # ⅆ 135 operator.\u2190.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ← 136 operator.\u2191.infix = lspace:5 rspace:5 stretchy direction:vertical # ↑ 137 operator.\u2192.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # → 138 operator.\u2193.infix = lspace:5 rspace:5 stretchy direction:vertical # ↓ 139 operator.\u2194.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↔ 140 operator.\u2195.infix = lspace:5 rspace:5 stretchy direction:vertical # ↕ 141 operator.\u2196.infix = lspace:5 rspace:5 direction:vertical # ↖ 142 operator.\u2197.infix = lspace:5 rspace:5 direction:vertical # ↗ 143 operator.\u2198.infix = lspace:5 rspace:5 direction:horizontal # ↘ 144 operator.\u2199.infix = lspace:5 rspace:5 direction:horizontal # ↙ 145 operator.\u219A.infix = lspace:5 rspace:5 stretchy accent # leftwards arrow with stroke 146 operator.\u219B.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow with stroke 147 operator.\u219C.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards wave arrow 148 operator.\u219D.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards wave arrow 149 operator.\u219E.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards two headed arrow 150 operator.\u219F.infix = lspace:5 rspace:5 stretchy accent direction:vertical # upwards two headed arrow 151 operator.\u21A0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards two headed arrow 152 operator.\u21A1.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards two headed arrow 153 operator.\u21A2.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards arrow with tail 154 operator.\u21A3.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards arrow with tail 155 operator.\u21A4.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↤ 156 operator.\u21A5.infix = lspace:5 rspace:5 stretchy direction:vertical # ↥ 157 operator.\u21A6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↦ 158 operator.\u21A7.infix = lspace:5 rspace:5 stretchy direction:vertical # ↧ 159 operator.\u21A8.infix = lspace:5 rspace:5 stretchy direction:vertical # up down arrow with base 160 operator.\u21A9.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↩ ↩ 161 operator.\u21AA.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↪ ↪ 162 operator.\u21AB.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards arrow with loop 163 operator.\u21AC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards arrow with loop 164 operator.\u21AD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # left right wave arrow 165 operator.\u21AE.infix = lspace:5 rspace:5 stretchy accent # left right arrow with stroke 166 operator.\u21AF.infix = lspace:5 rspace:5 direction:vertical # downwards zigzag arrow 167 operator.\u21B0.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards arrow with tip leftwards 168 operator.\u21B1.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards arrow with tip rightwards 169 operator.\u21B2.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards arrow with tip leftwards 170 operator.\u21B3.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards arrow with tip rightwards 171 operator.\u21B4.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards arrow with corner downwards 172 operator.\u21B5.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards arrow with corner leftwards 173 operator.\u21B6.infix = lspace:5 rspace:5 accent # anticlockwise top semicircle arrow 174 operator.\u21B7.infix = lspace:5 rspace:5 accent # clockwise top semicircle arrow 175 operator.\u21B8.infix = lspace:5 rspace:5 # north west arrow to long bar 176 operator.\u21B9.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards arrow to bar over rightwards arrow to bar 177 operator.\u21BA.infix = lspace:5 rspace:5 # anticlockwise open circle arrow 178 operator.\u21BB.infix = lspace:5 rspace:5 # clockwise open circle arrow 179 operator.\u21BC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↼ 180 operator.\u21BD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↽ 181 operator.\u21BE.infix = lspace:5 rspace:5 stretchy direction:vertical # ↾ 182 operator.\u21BF.infix = lspace:5 rspace:5 stretchy direction:vertical # ↿ 183 operator.\u21C0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇀ 184 operator.\u21C1.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇁ 185 operator.\u21C2.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇂ 186 operator.\u21C3.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇃ 187 operator.\u21C4.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇄ 188 operator.\u21C5.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇅ 189 operator.\u21C6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇆ 190 operator.\u21C7.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards paired arrows 191 operator.\u21C8.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards paired arrows 192 operator.\u21C9.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards paired arrows 193 operator.\u21CA.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards paired arrows 194 operator.\u21CB.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇋ 195 operator.\u21CC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇌ 196 operator.\u21CD.infix = lspace:5 rspace:5 stretchy accent # leftwards double arrow with stroke 197 operator.\u21CE.infix = lspace:5 rspace:5 stretchy accent # left right double arrow with stroke 198 operator.\u21CF.infix = lspace:5 rspace:5 stretchy accent # rightwards double arrow with stroke 199 operator.\u21D0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇐ 200 operator.\u21D1.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇑ 201 operator.\u21D2.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇒ ⇒ 202 operator.\u21D3.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇓ 203 operator.\u21D4.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇔ 204 operator.\u21D5.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇕ 205 operator.\u21D6.infix = lspace:5 rspace:5 # north west double arrow 206 operator.\u21D7.infix = lspace:5 rspace:5 # north east double arrow 207 operator.\u21D8.infix = lspace:5 rspace:5 # south east double arrow 208 operator.\u21D9.infix = lspace:5 rspace:5 # south west double arrow 209 operator.\u21DA.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards triple arrow 210 operator.\u21DB.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards triple arrow 211 operator.\u21DC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards squiggle arrow 212 operator.\u21DD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards squiggle arrow 213 operator.\u21DE.infix = lspace:5 rspace:5 stretchy # upwards arrow with double stroke 214 operator.\u21DF.infix = lspace:5 rspace:5 stretchy # downwards arrow with double stroke 215 operator.\u21E0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards dashed arrow 216 operator.\u21E1.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards dashed arrow 217 operator.\u21E2.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards dashed arrow 218 operator.\u21E3.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards dashed arrow 219 operator.\u21E4.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇤ 220 operator.\u21E5.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇥ 221 operator.\u21E6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards white arrow 222 operator.\u21E7.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow 223 operator.\u21E8.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards white arrow 224 operator.\u21E9.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards white arrow 225 operator.\u21EA.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow from bar 226 operator.\u21EB.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow on pedestal 227 operator.\u21EC.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow on pedestal with horizontal bar 228 operator.\u21ED.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow on pedestal with vertical bar 229 operator.\u21EE.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white double arrow 230 operator.\u21EF.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white double arrow on pedestal 231 operator.\u21F0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards white arrow from wall 232 operator.\u21F1.infix = lspace:5 rspace:5 # north west arrow to corner 233 operator.\u21F2.infix = lspace:5 rspace:5 # south east arrow to corner 234 operator.\u21F3.infix = lspace:5 rspace:5 stretchy direction:vertical # up down white arrow 235 operator.\u21F4.infix = lspace:5 rspace:5 stretchy accent # right arrow with small circle 236 operator.\u21F5.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇵ 237 operator.\u21F6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # three rightwards arrows 238 operator.\u21F7.infix = lspace:5 rspace:5 stretchy accent # leftwards arrow with vertical stroke 239 operator.\u21F8.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow with vertical stroke 240 operator.\u21F9.infix = lspace:5 rspace:5 stretchy accent # left right arrow with vertical stroke 241 operator.\u21FA.infix = lspace:5 rspace:5 stretchy accent # leftwards arrow with double vertical stroke 242 operator.\u21FB.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow with double vertical stroke 243 operator.\u21FC.infix = lspace:5 rspace:5 stretchy accent # left right arrow with double vertical stroke 244 operator.\u21FD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards open-headed arrow 245 operator.\u21FE.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards open-headed arrow 246 operator.\u21FF.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # left right open-headed arrow 247 operator.\u2200.prefix = lspace:0 rspace:0 # ∀ 248 operator.\u2201.prefix = lspace:0 rspace:0 # complement 249 operator.\u2202.prefix = lspace:3 rspace:0 # ∂ 250 operator.\u2203.prefix = lspace:0 rspace:0 # ∃ 251 operator.\u2204.prefix = lspace:0 rspace:0 # ∄ 252 operator.\u2206.infix = lspace:0 rspace:0 # increment 253 operator.\u2207.prefix = lspace:0 rspace:0 # ∇ 254 operator.\u2208.infix = lspace:5 rspace:5 # ∈ 255 operator.\u2209.infix = lspace:5 rspace:5 # ∉ 256 operator.\u220A.infix = lspace:5 rspace:5 # small element of 257 operator.\u220B.infix = lspace:5 rspace:5 # ∋ ∋ 258 operator.\u220C.infix = lspace:5 rspace:5 # ∌ 259 operator.\u220D.infix = lspace:5 rspace:5 # small contains as member 260 operator.\u220F.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ∏ 261 operator.\u2210.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ∐ 262 operator.\u2211.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ∑ 263 operator.\u2212.infix = lspace:4 rspace:4 # official Unicode minus sign 264 operator.\u2212.prefix = lspace:0 rspace:0 # official Unicode minus sign 265 operator.\u2213.infix = lspace:4 rspace:4 # ∓ 266 operator.\u2213.prefix = lspace:0 rspace:0 # ∓ 267 operator.\u2214.infix = lspace:4 rspace:4 # dot plus 268 operator.\u2215.infix = lspace:4 rspace:4 direction:vertical # division slash 269 operator.\u2216.infix = lspace:4 rspace:4 direction:vertical # set minus 270 operator.\u2217.infix = lspace:3 rspace:3 # asterisk operator 271 operator.\u2218.infix = lspace:3 rspace:3 # ∘ 272 operator.\u2219.infix = lspace:3 rspace:3 # bullet operator 273 operator.\u221A.prefix = lspace:3 rspace:0 direction:vertical # √ 274 operator.\u221B.prefix = lspace:3 rspace:0 # cube root 275 operator.\u221C.prefix = lspace:3 rspace:0 # fourth root 276 operator.\u221D.infix = lspace:5 rspace:5 # ∝ 277 operator.\u221F.prefix = lspace:0 rspace:0 # right angle 278 operator.\u2220.prefix = lspace:0 rspace:0 # angle 279 operator.\u2221.prefix = lspace:0 rspace:0 # measured angle 280 operator.\u2222.prefix = lspace:0 rspace:0 # spherical angle 281 operator.\u2223.infix = lspace:5 rspace:5 direction:vertical # divides 282 operator.\u2224.infix = lspace:5 rspace:5 # ∤ 283 operator.\u2225.infix = lspace:5 rspace:5 direction:vertical # parallel to 284 operator.\u2226.infix = lspace:5 rspace:5 # ∦ 285 operator.\u2227.infix = lspace:4 rspace:4 # ∧ 286 operator.\u2228.infix = lspace:4 rspace:4 # ∨ 287 operator.\u2229.infix = lspace:4 rspace:4 # ∩ 288 operator.\u222A.infix = lspace:4 rspace:4 # ∪ 289 operator.\u222B.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # ∫ 290 operator.\u222C.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # double integral 291 operator.\u222D.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # triple integral 292 operator.\u222E.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # ∮ 293 operator.\u222F.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # ∯ 294 operator.\u2230.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # volume integral 295 operator.\u2231.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # clockwise integral 296 operator.\u2232.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # ∲ 297 operator.\u2233.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # ∳ 298 operator.\u2234.prefix = lspace:0 rspace:0 # therefore 299 operator.\u2235.prefix = lspace:0 rspace:0 # because 300 operator.\u2236.infix = lspace:4 rspace:4 # ratio 301 operator.\u2237.infix = lspace:5 rspace:5 # ∷ ∷ 302 operator.\u2238.infix = lspace:4 rspace:4 # dot minus 303 operator.\u2239.infix = lspace:5 rspace:5 # excess 304 operator.\u223A.infix = lspace:5 rspace:5 # geometric proportion 305 operator.\u223B.infix = lspace:5 rspace:5 # homothetic 306 operator.\u223C.infix = lspace:5 rspace:5 # ∼ 307 operator.\u223C.prefix = lspace:0 rspace:0 # tilde operator 308 operator.\u223D.infix = lspace:5 rspace:5 # reversed tilde 309 operator.\u223E.infix = lspace:5 rspace:5 # inverted lazy s 310 operator.\u2240.infix = lspace:3 rspace:3 # ≀ 311 operator.\u2241.infix = lspace:5 rspace:5 # ≁ 312 operator.\u2242.infix = lspace:5 rspace:5 # ≂ 313 operator.\u2243.infix = lspace:5 rspace:5 # ≃ 314 operator.\u2244.infix = lspace:5 rspace:5 # ≄ 315 operator.\u2245.infix = lspace:5 rspace:5 # ≅ 316 operator.\u2246.infix = lspace:5 rspace:5 # approximately but not actually equal to 317 operator.\u2247.infix = lspace:5 rspace:5 # ≇ 318 operator.\u2248.infix = lspace:5 rspace:5 # ≈ 319 operator.\u2249.infix = lspace:5 rspace:5 # ≉ 320 operator.\u224A.infix = lspace:5 rspace:5 # almost equal or equal to 321 operator.\u224B.infix = lspace:5 rspace:5 # triple tilde 322 operator.\u224C.infix = lspace:5 rspace:5 # all equal to 323 operator.\u224D.infix = lspace:5 rspace:5 # ≍ 324 operator.\u224E.infix = lspace:5 rspace:5 # ≎ 325 operator.\u224F.infix = lspace:5 rspace:5 # ≏ 326 operator.\u2250.infix = lspace:5 rspace:5 # ≐ 327 operator.\u2251.infix = lspace:5 rspace:5 # geometrically equal to 328 operator.\u2252.infix = lspace:5 rspace:5 # approximately equal to or the image of 329 operator.\u2253.infix = lspace:5 rspace:5 # image of or approximately equal to 330 operator.\u2254.infix = lspace:5 rspace:5 # ≔ 331 operator.\u2255.infix = lspace:5 rspace:5 # equals colon 332 operator.\u2256.infix = lspace:5 rspace:5 # ring in equal to 333 operator.\u2257.infix = lspace:5 rspace:5 # ring equal to 334 operator.\u2258.infix = lspace:5 rspace:5 # corresponds to 335 operator.\u2259.infix = lspace:5 rspace:5 # estimates 336 operator.\u225A.infix = lspace:5 rspace:5 # equiangular to 337 operator.\u225B.infix = lspace:5 rspace:5 # star equals 338 operator.\u225C.infix = lspace:5 rspace:5 # delta equal to 339 operator.\u225D.infix = lspace:5 rspace:5 # equal to by definition 340 operator.\u225E.infix = lspace:5 rspace:5 # measured by 341 operator.\u225F.infix = lspace:5 rspace:5 # questioned equal to 342 operator.\u2260.infix = lspace:5 rspace:5 # ≠ 343 operator.\u2261.infix = lspace:5 rspace:5 # ≡ 344 operator.\u2262.infix = lspace:5 rspace:5 # ≢ 345 operator.\u2263.infix = lspace:5 rspace:5 # strictly equivalent to 346 operator.\u2264.infix = lspace:5 rspace:5 # ≤ 347 operator.\u2265.infix = lspace:5 rspace:5 # ≥ 348 operator.\u2266.infix = lspace:5 rspace:5 # ≦ 349 operator.\u2267.infix = lspace:5 rspace:5 # ≧ 350 operator.\u2268.infix = lspace:5 rspace:5 # less-than but not equal to 351 operator.\u2269.infix = lspace:5 rspace:5 # greater-than but not equal to 352 operator.\u226A.infix = lspace:5 rspace:5 # ≪ 353 operator.\u226B.infix = lspace:5 rspace:5 # ≫ 354 operator.\u226C.infix = lspace:5 rspace:5 # between 355 operator.\u226D.infix = lspace:5 rspace:5 # ≭ 356 operator.\u226E.infix = lspace:5 rspace:5 # ≮ 357 operator.\u226F.infix = lspace:5 rspace:5 # ≯ 358 operator.\u2270.infix = lspace:5 rspace:5 # ≰ 359 operator.\u2271.infix = lspace:5 rspace:5 # ≱ 360 operator.\u2272.infix = lspace:5 rspace:5 # ≲ 361 operator.\u2273.infix = lspace:5 rspace:5 # ≳ 362 operator.\u2274.infix = lspace:5 rspace:5 # ≴ 363 operator.\u2275.infix = lspace:5 rspace:5 # ≵ 364 operator.\u2276.infix = lspace:5 rspace:5 # ≶ 365 operator.\u2277.infix = lspace:5 rspace:5 # ≷ 366 operator.\u2278.infix = lspace:5 rspace:5 # ≸ 367 operator.\u2279.infix = lspace:5 rspace:5 # ≹ 368 operator.\u227A.infix = lspace:5 rspace:5 # ≺ 369 operator.\u227B.infix = lspace:5 rspace:5 # ≻ 370 operator.\u227C.infix = lspace:5 rspace:5 # ≼ 371 operator.\u227D.infix = lspace:5 rspace:5 # ≽ 372 operator.\u227E.infix = lspace:5 rspace:5 # ≾ 373 operator.\u227F.infix = lspace:5 rspace:5 # ≿ 374 operator.\u2280.infix = lspace:5 rspace:5 # ⊀ 375 operator.\u2281.infix = lspace:5 rspace:5 # ⊁ 376 operator.\u2282.infix = lspace:5 rspace:5 # ⊂ 377 operator.\u2283.infix = lspace:5 rspace:5 # ⊃ 378 operator.\u2284.infix = lspace:5 rspace:5 # ⊄ 379 operator.\u2285.infix = lspace:5 rspace:5 # ⊅ 380 operator.\u2286.infix = lspace:5 rspace:5 # ⊆ 381 operator.\u2287.infix = lspace:5 rspace:5 # ⊇ 382 operator.\u2288.infix = lspace:5 rspace:5 # ⊈ 383 operator.\u2289.infix = lspace:5 rspace:5 # ⊉ 384 operator.\u228A.infix = lspace:5 rspace:5 # ⊊ ⊊ 385 operator.\u228B.infix = lspace:5 rspace:5 # superset of with not equal to 386 operator.\u228C.infix = lspace:4 rspace:4 # multiset 387 operator.\u228D.infix = lspace:4 rspace:4 # multiset multiplication 388 operator.\u228E.infix = lspace:4 rspace:4 direction:vertical # ⊎ 389 operator.\u228F.infix = lspace:5 rspace:5 # ⊏ 390 operator.\u2290.infix = lspace:5 rspace:5 # ⊐ 391 operator.\u2291.infix = lspace:5 rspace:5 # ⊑ 392 operator.\u2292.infix = lspace:5 rspace:5 # ⊒ 393 operator.\u2293.infix = lspace:4 rspace:4 direction:vertical # ⊓ 394 operator.\u2294.infix = lspace:4 rspace:4 direction:vertical # ⊔ 395 operator.\u2295.infix = lspace:4 rspace:4 direction:vertical # ⊕ 396 operator.\u2296.infix = lspace:4 rspace:4 direction:vertical # ⊖ 397 operator.\u2297.infix = lspace:3 rspace:3 direction:vertical # ⊗ 398 operator.\u2298.infix = lspace:4 rspace:4 # circled division slash 399 operator.\u2299.infix = lspace:3 rspace:3 direction:vertical # ⊙ 400 operator.\u229A.infix = lspace:3 rspace:3 # circled ring operator 401 operator.\u229B.infix = lspace:3 rspace:3 # circled asterisk operator 402 operator.\u229C.infix = lspace:5 rspace:5 # circled equals 403 operator.\u229D.infix = lspace:4 rspace:4 # circled dash 404 operator.\u229E.infix = lspace:4 rspace:4 # squared plus 405 operator.\u229F.infix = lspace:4 rspace:4 # squared minus 406 operator.\u22A0.infix = lspace:3 rspace:3 # squared times 407 operator.\u22A1.infix = lspace:3 rspace:3 # squared dot operator 408 operator.\u22A2.infix = lspace:5 rspace:5 # ⊢ 409 operator.\u22A3.infix = lspace:5 rspace:5 # ⊣ 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 # ⊨ 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 # ⊲ 423 operator.\u22B3.infix = lspace:5 rspace:5 # ⊳ 424 operator.\u22B4.infix = lspace:5 rspace:5 # ⊴ 425 operator.\u22B5.infix = lspace:5 rspace:5 # ⊵ 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.\u22BA.infix = lspace:3 rspace:3 # intercalate 430 operator.\u22BB.infix = lspace:4 rspace:4 # xor 431 operator.\u22BC.infix = lspace:4 rspace:4 # nand 432 operator.\u22BD.infix = lspace:4 rspace:4 # nor 433 operator.\u22BE.prefix = lspace:0 rspace:0 # right angle with arc 434 operator.\u22BF.prefix = lspace:0 rspace:0 # right triangle 435 operator.\u22C0.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ⋀ 436 operator.\u22C1.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ⋁ 437 operator.\u22C2.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ⋂ 438 operator.\u22C3.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ⋃ 439 operator.\u22C4.infix = lspace:3 rspace:3 # ⋄ 440 operator.\u22C5.infix = lspace:3 rspace:3 # ċ 441 operator.\u22C6.infix = lspace:3 rspace:3 # ⋆ 442 operator.\u22C7.infix = lspace:3 rspace:3 # division times 443 operator.\u22C8.infix = lspace:5 rspace:5 # bowtie 444 operator.\u22C9.infix = lspace:3 rspace:3 # left normal factor semidirect product 445 operator.\u22CA.infix = lspace:3 rspace:3 # right normal factor semidirect product 446 operator.\u22CB.infix = lspace:3 rspace:3 # left semidirect product 447 operator.\u22CC.infix = lspace:3 rspace:3 # right semidirect product 448 operator.\u22CD.infix = lspace:5 rspace:5 # reversed tilde equals 449 operator.\u22CE.infix = lspace:4 rspace:4 # curly logical or 450 operator.\u22CF.infix = lspace:4 rspace:4 # curly logical and 451 operator.\u22D0.infix = lspace:5 rspace:5 # ⋐ 452 operator.\u22D1.infix = lspace:5 rspace:5 # double superset 453 operator.\u22D2.infix = lspace:4 rspace:4 # ⋒ 454 operator.\u22D3.infix = lspace:4 rspace:4 # ⋓ 455 operator.\u22D4.infix = lspace:5 rspace:5 # pitchfork 456 operator.\u22D5.infix = lspace:5 rspace:5 # equal and parallel to 457 operator.\u22D6.infix = lspace:5 rspace:5 # less-than with dot 458 operator.\u22D7.infix = lspace:5 rspace:5 # greater-than with dot 459 operator.\u22D8.infix = lspace:5 rspace:5 # very much less-than 460 operator.\u22D9.infix = lspace:5 rspace:5 # very much greater-than 461 operator.\u22DA.infix = lspace:5 rspace:5 # ⋚ 462 operator.\u22DB.infix = lspace:5 rspace:5 # ⋛ 463 operator.\u22DC.infix = lspace:5 rspace:5 # equal to or less-than 464 operator.\u22DD.infix = lspace:5 rspace:5 # equal to or greater-than 465 operator.\u22DE.infix = lspace:5 rspace:5 # equal to or precedes 466 operator.\u22DF.infix = lspace:5 rspace:5 # equal to or succeeds 467 operator.\u22E0.infix = lspace:5 rspace:5 # ⋠ 468 operator.\u22E1.infix = lspace:5 rspace:5 # ⋡ 469 operator.\u22E2.infix = lspace:5 rspace:5 # ⋢ 470 operator.\u22E3.infix = lspace:5 rspace:5 # ⋣ 471 operator.\u22E4.infix = lspace:5 rspace:5 # square image of or not equal to 472 operator.\u22E5.infix = lspace:5 rspace:5 # square original of or not equal to 473 operator.\u22E6.infix = lspace:5 rspace:5 # less-than but not equivalent to 474 operator.\u22E7.infix = lspace:5 rspace:5 # greater-than but not equivalent to 475 operator.\u22E8.infix = lspace:5 rspace:5 # precedes but not equivalent to 476 operator.\u22E9.infix = lspace:5 rspace:5 # succeeds but not equivalent to 477 operator.\u22EA.infix = lspace:5 rspace:5 # ⋪ 478 operator.\u22EB.infix = lspace:5 rspace:5 # ⋫ 479 operator.\u22EC.infix = lspace:5 rspace:5 # ⋬ 480 operator.\u22ED.infix = lspace:5 rspace:5 # ⋭ 481 operator.\u22F2.infix = lspace:5 rspace:5 # element of with long horizontal stroke 482 operator.\u22F3.infix = lspace:5 rspace:5 # element of with vertical bar at end of horizontal stroke 483 operator.\u22F4.infix = lspace:5 rspace:5 # small element of with vertical bar at end of horizontal stroke 484 operator.\u22F5.infix = lspace:5 rspace:5 # element of with dot above 485 operator.\u22F6.infix = lspace:5 rspace:5 # element of with overbar 486 operator.\u22F7.infix = lspace:5 rspace:5 # small element of with overbar 487 operator.\u22F8.infix = lspace:5 rspace:5 # element of with underbar 488 operator.\u22F9.infix = lspace:5 rspace:5 # element of with two horizontal strokes 489 operator.\u22FA.infix = lspace:5 rspace:5 # contains with long horizontal stroke 490 operator.\u22FB.infix = lspace:5 rspace:5 # contains with vertical bar at end of horizontal stroke 491 operator.\u22FC.infix = lspace:5 rspace:5 # small contains with vertical bar at end of horizontal stroke 492 operator.\u22FD.infix = lspace:5 rspace:5 # contains with overbar 493 operator.\u22FE.infix = lspace:5 rspace:5 # small contains with overbar 494 operator.\u22FF.infix = lspace:5 rspace:5 # z notation bag membership 495 operator.\u2301.infix = lspace:5 rspace:5 # electric arrow 496 operator.\u2305.infix = lspace:3 rspace:3 # projective 497 operator.\u2306.infix = lspace:3 rspace:3 # perspective 498 operator.\u2308.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⌈ 499 operator.\u2309.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⌉ 500 operator.\u230A.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⌊ 501 operator.\u230B.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⌋ 502 operator.\u2310.prefix = lspace:0 rspace:0 # reversed not sign 503 operator.\u2319.prefix = lspace:0 rspace:0 # turned not sign 504 operator.\u2322.postfix = lspace:0 rspace:0 stretchy # frown 505 operator.\u2323.postfix = lspace:0 rspace:0 stretchy # smile 506 operator.\u2329.prefix = lspace:0 rspace:0 stretchy fence symmetric # left-pointing angle bracket 507 operator.\u232A.postfix = lspace:0 rspace:0 stretchy fence symmetric # right-pointing angle bracket 508 operator.\u237C.infix = lspace:5 rspace:5 # right angle with downwards zigzag arrow 509 operator.\u238B.infix = lspace:5 rspace:5 # broken circle with northwest arrow 510 operator.\u23B4.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⎴ 511 operator.\u23B5.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⎵ 512 operator.\u23CD.postfix = lspace:0 rspace:0 # square foot 513 operator.\u23DC.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏜ (Unicode) 514 operator.\u23DD.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏝ (Unicode) 515 operator.\u23DE.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏞ (Unicode) 516 operator.\u23DF.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏟ (Unicode) 517 operator.\u23E0.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # top tortoise shell bracket 518 operator.\u23E1.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # bottom tortoise shell bracket 519 operator.\u2772.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # light left tortoise shell bracket ornament 520 operator.\u2773.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # light right tortoise shell bracket ornament 521 operator.\u2794.infix = lspace:5 rspace:5 stretchy # heavy wide-headed rightwards arrow 522 operator.\u2795.infix = lspace:4 rspace:4 # heavy plus sign 523 operator.\u2795.prefix = lspace:0 rspace:0 # heavy plus sign 524 operator.\u2796.infix = lspace:4 rspace:4 # heavy minus sign 525 operator.\u2796.prefix = lspace:0 rspace:0 # heavy minus sign 526 operator.\u2797.infix = lspace:4 rspace:4 # heavy division sign 527 operator.\u2798.infix = lspace:5 rspace:5 # heavy south east arrow 528 operator.\u2799.infix = lspace:5 rspace:5 stretchy # heavy rightwards arrow 529 operator.\u279A.infix = lspace:5 rspace:5 # heavy north east arrow 530 operator.\u279B.infix = lspace:5 rspace:5 stretchy # drafting point rightwards arrow 531 operator.\u279C.infix = lspace:5 rspace:5 stretchy # heavy round-tipped rightwards arrow 532 operator.\u279D.infix = lspace:5 rspace:5 stretchy # triangle-headed rightwards arrow 533 operator.\u279E.infix = lspace:5 rspace:5 stretchy # heavy triangle-headed rightwards arrow 534 operator.\u279F.infix = lspace:5 rspace:5 stretchy # dashed triangle-headed rightwards arrow 535 operator.\u27A0.infix = lspace:5 rspace:5 stretchy # heavy dashed triangle-headed rightwards arrow 536 operator.\u27A1.infix = lspace:5 rspace:5 stretchy # black rightwards arrow 537 operator.\u27A5.infix = lspace:5 rspace:5 stretchy # heavy black curved downwards and rightwards arrow 538 operator.\u27A6.infix = lspace:5 rspace:5 stretchy # heavy black curved upwards and rightwards arrow 539 operator.\u27A7.infix = lspace:5 rspace:5 # squat black rightwards arrow 540 operator.\u27A8.infix = lspace:5 rspace:5 stretchy # heavy concave-pointed black rightwards arrow 541 operator.\u27A9.infix = lspace:5 rspace:5 stretchy # right-shaded white rightwards arrow 542 operator.\u27AA.infix = lspace:5 rspace:5 stretchy # left-shaded white rightwards arrow 543 operator.\u27AB.infix = lspace:5 rspace:5 stretchy # back-tilted shadowed white rightwards arrow 544 operator.\u27AC.infix = lspace:5 rspace:5 stretchy # front-tilted shadowed white rightwards arrow 545 operator.\u27AD.infix = lspace:5 rspace:5 stretchy # heavy lower right-shadowed white rightwards arrow 546 operator.\u27AE.infix = lspace:5 rspace:5 stretchy # heavy upper right-shadowed white rightwards arrow 547 operator.\u27AF.infix = lspace:5 rspace:5 stretchy # notched lower right-shadowed white rightwards arrow 548 operator.\u27B1.infix = lspace:5 rspace:5 stretchy # notched upper right-shadowed white rightwards arrow 549 operator.\u27B2.infix = lspace:5 rspace:5 # circled heavy white rightwards arrow 550 operator.\u27B3.infix = lspace:5 rspace:5 stretchy # white-feathered rightwards arrow 551 operator.\u27B4.infix = lspace:5 rspace:5 # black-feathered south east arrow 552 operator.\u27B5.infix = lspace:5 rspace:5 stretchy # black-feathered rightwards arrow 553 operator.\u27B6.infix = lspace:5 rspace:5 # black-feathered north east arrow 554 operator.\u27B7.infix = lspace:5 rspace:5 # heavy black-feathered south east arrow 555 operator.\u27B8.infix = lspace:5 rspace:5 stretchy # heavy black-feathered rightwards arrow 556 operator.\u27B9.infix = lspace:5 rspace:5 # heavy black-feathered north east arrow 557 operator.\u27BA.infix = lspace:5 rspace:5 stretchy # teardrop-barbed rightwards arrow 558 operator.\u27BB.infix = lspace:5 rspace:5 stretchy # heavy teardrop-shanked rightwards arrow 559 operator.\u27BC.infix = lspace:5 rspace:5 stretchy # wedge-tailed rightwards arrow 560 operator.\u27BD.infix = lspace:5 rspace:5 stretchy # heavy wedge-tailed rightwards arrow 561 operator.\u27BE.infix = lspace:5 rspace:5 stretchy # open-outlined rightwards arrow 562 operator.\u27C0.prefix = lspace:0 rspace:0 # three dimensional angle 563 operator.\u27C2.infix = lspace:5 rspace:5 # perpendicular 564 operator.\u27CB.infix = lspace:3 rspace:3 # mathematical rising diagonal 565 operator.\u27CD.infix = lspace:3 rspace:3 # mathematical falling diagonal 566 operator.\u27E6.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⟦ 567 operator.\u27E7.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⟧ 568 operator.\u27E8.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⟨ 569 operator.\u27E9.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⟩ 570 operator.\u27EA.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # mathematical left double angle bracket 571 operator.\u27EB.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # mathematical right double angle bracket 572 operator.\u27EC.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # mathematical left white tortoise shell bracket 573 operator.\u27ED.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # mathematical right white tortoise shell bracket 574 operator.\u27EE.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # mathematical left flattened parenthesis 575 operator.\u27EF.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # mathematical right flattened parenthesis 576 operator.\u27F0.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards quadruple arrow 577 operator.\u27F1.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards quadruple arrow 578 operator.\u27F2.infix = lspace:5 rspace:5 # anticlockwise gapped circle arrow 579 operator.\u27F3.infix = lspace:5 rspace:5 # clockwise gapped circle arrow 580 operator.\u27F4.infix = lspace:5 rspace:5 stretchy # right arrow with circled plus 581 operator.\u27F5.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟵ 582 operator.\u27F6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟶ 583 operator.\u27F7.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟷ 584 operator.\u27F8.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟸ 585 operator.\u27F9.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟹ 586 operator.\u27FA.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟺ 587 operator.\u27FB.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long leftwards arrow from bar 588 operator.\u27FC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long rightwards arrow from bar 589 operator.\u27FD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long leftwards double arrow from bar 590 operator.\u27FE.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long rightwards double arrow from bar 591 operator.\u27FF.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long rightwards squiggle arrow 592 operator.\u2900.infix = lspace:5 rspace:5 stretchy accent # rightwards two-headed arrow with vertical stroke 593 operator.\u2901.infix = lspace:5 rspace:5 stretchy accent # rightwards two-headed arrow with double vertical stroke 594 operator.\u2902.infix = lspace:5 rspace:5 stretchy accent # leftwards double arrow with vertical stroke 595 operator.\u2903.infix = lspace:5 rspace:5 stretchy accent # rightwards double arrow with vertical stroke 596 operator.\u2904.infix = lspace:5 rspace:5 stretchy accent # left right double arrow with vertical stroke 597 operator.\u2905.infix = lspace:5 rspace:5 stretchy accent # rightwards two-headed arrow from bar 598 operator.\u2906.infix = lspace:5 rspace:5 stretchy accent # leftwards double arrow from bar 599 operator.\u2907.infix = lspace:5 rspace:5 stretchy accent # rightwards double arrow from bar 600 operator.\u2908.infix = lspace:5 rspace:5 stretchy # downwards arrow with horizontal stroke 601 operator.\u2909.infix = lspace:5 rspace:5 stretchy # upwards arrow with horizontal stroke 602 operator.\u290A.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards triple arrow 603 operator.\u290B.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards triple arrow 604 operator.\u290C.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards double dash arrow 605 operator.\u290D.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards double dash arrow 606 operator.\u290E.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards triple dash arrow 607 operator.\u290F.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards triple dash arrow 608 operator.\u2910.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards two-headed triple dash arrow 609 operator.\u2911.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow with dotted stem 610 operator.\u2912.infix = lspace:5 rspace:5 stretchy direction:vertical # ⤒ 611 operator.\u2913.infix = lspace:5 rspace:5 stretchy direction:vertical # ⤓ 612 operator.\u2914.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow with tail with vertical stroke 613 operator.\u2915.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow with tail with double vertical stroke 614 operator.\u2916.infix = lspace:5 rspace:5 stretchy accent # rightwards two-headed arrow with tail 615 operator.\u2917.infix = lspace:5 rspace:5 stretchy accent # rightwards two-headed arrow with tail with vertical stroke 616 operator.\u2918.infix = lspace:5 rspace:5 stretchy accent # rightwards two-headed arrow with tail with double vertical stroke 617 operator.\u2919.infix = lspace:5 rspace:5 stretchy accent # leftwards arrow-tail 618 operator.\u291A.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow-tail 619 operator.\u291B.infix = lspace:5 rspace:5 stretchy accent # leftwards double arrow-tail 620 operator.\u291C.infix = lspace:5 rspace:5 stretchy accent # rightwards double arrow-tail 621 operator.\u291D.infix = lspace:5 rspace:5 stretchy accent # leftwards arrow to black diamond 622 operator.\u291E.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow to black diamond 623 operator.\u291F.infix = lspace:5 rspace:5 stretchy accent # leftwards arrow from bar to black diamond 624 operator.\u2920.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow from bar to black diamond 625 operator.\u2921.infix = lspace:5 rspace:5 # north west and south east arrow 626 operator.\u2922.infix = lspace:5 rspace:5 # north east and south west arrow 627 operator.\u2923.infix = lspace:5 rspace:5 # north west arrow with hook 628 operator.\u2924.infix = lspace:5 rspace:5 # north east arrow with hook 629 operator.\u2925.infix = lspace:5 rspace:5 # south east arrow with hook 630 operator.\u2926.infix = lspace:5 rspace:5 # south west arrow with hook 631 operator.\u2927.infix = lspace:5 rspace:5 # north west arrow and north east arrow 632 operator.\u2928.infix = lspace:5 rspace:5 # north east arrow and south east arrow 633 operator.\u2929.infix = lspace:5 rspace:5 # south east arrow and south west arrow 634 operator.\u292A.infix = lspace:5 rspace:5 # south west arrow and north west arrow 635 operator.\u292B.infix = lspace:5 rspace:5 # rising diagonal crossing falling diagonal 636 operator.\u292C.infix = lspace:5 rspace:5 # falling diagonal crossing rising diagonal 637 operator.\u292D.infix = lspace:5 rspace:5 # south east arrow crossing north east arrow 638 operator.\u292E.infix = lspace:5 rspace:5 # north east arrow crossing south east arrow 639 operator.\u292F.infix = lspace:5 rspace:5 # falling diagonal crossing north east arrow 640 operator.\u2930.infix = lspace:5 rspace:5 # rising diagonal crossing south east arrow 641 operator.\u2931.infix = lspace:5 rspace:5 # north east arrow crossing north west arrow 642 operator.\u2932.infix = lspace:5 rspace:5 # north west arrow crossing north east arrow 643 operator.\u2933.infix = lspace:5 rspace:5 accent # wave arrow pointing directly right 644 operator.\u2934.infix = lspace:5 rspace:5 stretchy # arrow pointing rightwards then curving upwards 645 operator.\u2935.infix = lspace:5 rspace:5 stretchy # arrow pointing rightwards then curving downwards 646 operator.\u2936.infix = lspace:5 rspace:5 stretchy # arrow pointing downwards then curving leftwards 647 operator.\u2937.infix = lspace:5 rspace:5 stretchy # arrow pointing downwards then curving rightwards 648 operator.\u2938.infix = lspace:5 rspace:5 # right-side arc clockwise arrow 649 operator.\u2939.infix = lspace:5 rspace:5 # left-side arc anticlockwise arrow 650 operator.\u293A.infix = lspace:5 rspace:5 accent # top arc anticlockwise arrow 651 operator.\u293B.infix = lspace:5 rspace:5 accent # bottom arc anticlockwise arrow 652 operator.\u293C.infix = lspace:5 rspace:5 accent # top arc clockwise arrow with minus 653 operator.\u293D.infix = lspace:5 rspace:5 accent # top arc anticlockwise arrow with plus 654 operator.\u293E.infix = lspace:5 rspace:5 # lower right semicircular clockwise arrow 655 operator.\u293F.infix = lspace:5 rspace:5 # lower left semicircular anticlockwise arrow 656 operator.\u2940.infix = lspace:5 rspace:5 # anticlockwise closed circle arrow 657 operator.\u2941.infix = lspace:5 rspace:5 # clockwise closed circle arrow 658 operator.\u2942.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow above short leftwards arrow 659 operator.\u2943.infix = lspace:5 rspace:5 stretchy accent # leftwards arrow above short rightwards arrow 660 operator.\u2944.infix = lspace:5 rspace:5 stretchy accent # short rightwards arrow above leftwards arrow 661 operator.\u2945.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow with plus below 662 operator.\u2946.infix = lspace:5 rspace:5 stretchy accent # leftwards arrow with plus below 663 operator.\u2947.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow through x 664 operator.\u2948.infix = lspace:5 rspace:5 stretchy accent # left right arrow through small circle 665 operator.\u2949.infix = lspace:5 rspace:5 stretchy # upwards two-headed arrow from small circle 666 operator.\u294A.infix = lspace:5 rspace:5 stretchy accent # left barb up right barb down harpoon 667 operator.\u294B.infix = lspace:5 rspace:5 stretchy accent # left barb down right barb up harpoon 668 operator.\u294C.infix = lspace:5 rspace:5 stretchy # up barb right down barb left harpoon 669 operator.\u294D.infix = lspace:5 rspace:5 stretchy # up barb left down barb right harpoon 670 operator.\u294E.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥎ 671 operator.\u294F.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥏ 672 operator.\u2950.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥐ 673 operator.\u2951.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥑ 674 operator.\u2952.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥒ 675 operator.\u2953.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥓ 676 operator.\u2954.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥔ 677 operator.\u2955.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥕ 678 operator.\u2956.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⥖ 679 operator.\u2957.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⥗ 680 operator.\u2958.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥘ 681 operator.\u2959.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥙ 682 operator.\u295A.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥚ 683 operator.\u295B.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥛ 684 operator.\u295C.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥜ 685 operator.\u295D.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥝ 686 operator.\u295E.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥞ 687 operator.\u295F.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥟ 688 operator.\u2960.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥠ 689 operator.\u2961.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥡ 690 operator.\u2962.infix = lspace:5 rspace:5 stretchy accent # leftwards harpoon with barb up above leftwards harpoon with barb down 691 operator.\u2963.infix = lspace:5 rspace:5 stretchy # upwards harpoon with barb left beside upwards harpoon with barb right 692 operator.\u2964.infix = lspace:5 rspace:5 stretchy accent # rightwards harpoon with barb up above rightwards harpoon with barb down 693 operator.\u2965.infix = lspace:5 rspace:5 stretchy # downwards harpoon with barb left beside downwards harpoon with barb right 694 operator.\u2966.infix = lspace:5 rspace:5 stretchy accent # leftwards harpoon with barb up above rightwards harpoon with barb up 695 operator.\u2967.infix = lspace:5 rspace:5 stretchy accent # leftwards harpoon with barb down above rightwards harpoon with barb down 696 operator.\u2968.infix = lspace:5 rspace:5 stretchy accent # rightwards harpoon with barb up above leftwards harpoon with barb up 697 operator.\u2969.infix = lspace:5 rspace:5 stretchy accent # rightwards harpoon with barb down above leftwards harpoon with barb down 698 operator.\u296A.infix = lspace:5 rspace:5 stretchy accent # leftwards harpoon with barb up above long dash 699 operator.\u296B.infix = lspace:5 rspace:5 stretchy accent # leftwards harpoon with barb down below long dash 700 operator.\u296C.infix = lspace:5 rspace:5 stretchy accent # rightwards harpoon with barb up above long dash 701 operator.\u296D.infix = lspace:5 rspace:5 stretchy accent # rightwards harpoon with barb down below long dash 702 operator.\u296E.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥮ 703 operator.\u296F.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥯ 704 operator.\u2970.infix = lspace:5 rspace:5 stretchy accent # ⥰ 705 operator.\u2971.infix = lspace:5 rspace:5 stretchy accent # equals sign above rightwards arrow 706 operator.\u2972.infix = lspace:5 rspace:5 stretchy accent # tilde operator above rightwards arrow 707 operator.\u2973.infix = lspace:5 rspace:5 stretchy accent # leftwards arrow above tilde operator 708 operator.\u2974.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow above tilde operator 709 operator.\u2975.infix = lspace:5 rspace:5 stretchy accent # rightwards arrow above almost equal to 710 operator.\u2976.infix = lspace:5 rspace:5 accent # less-than above leftwards arrow 711 operator.\u2977.infix = lspace:5 rspace:5 accent # leftwards arrow through less-than 712 operator.\u2978.infix = lspace:5 rspace:5 accent # greater-than above rightwards arrow 713 operator.\u2979.infix = lspace:5 rspace:5 accent # subset above rightwards arrow 714 operator.\u297A.infix = lspace:5 rspace:5 accent # leftwards arrow through subset 715 operator.\u297B.infix = lspace:5 rspace:5 accent # superset above leftwards arrow 716 operator.\u297C.infix = lspace:5 rspace:5 stretchy accent # left fish tail 717 operator.\u297D.infix = lspace:5 rspace:5 stretchy accent # right fish tail 718 operator.\u297E.infix = lspace:5 rspace:5 stretchy # up fish tail 719 operator.\u297F.infix = lspace:5 rspace:5 stretchy # down fish tail 720 operator.\u2980.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # triple direction:vertical bar delimiter 721 operator.\u2980.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # triple direction:vertical bar delimiter 722 operator.\u2981.infix = lspace:5 rspace:5 # z notation spot 723 operator.\u2982.infix = lspace:5 rspace:5 # z notation type colon 724 operator.\u2983.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # left white curly bracket 725 operator.\u2984.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # right white curly bracket 726 operator.\u2985.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # left white parenthesis 727 operator.\u2986.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # right white parenthesis 728 operator.\u2987.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # z notation left image bracket 729 operator.\u2988.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # z notation right image bracket 730 operator.\u2989.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # z notation left binding bracket 731 operator.\u298A.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # z notation right binding bracket 732 operator.\u298B.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # left square bracket with underbar 733 operator.\u298C.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # right square bracket with underbar 734 operator.\u298D.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # left square bracket with tick in top corner 735 operator.\u298E.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # right square bracket with tick in bottom corner 736 operator.\u298F.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # left square bracket with tick in bottom corner 737 operator.\u2990.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # right square bracket with tick in top corner 738 operator.\u2991.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # left angle bracket with dot 739 operator.\u2992.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # right angle bracket with dot 740 operator.\u2993.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # left arc less-than bracket 741 operator.\u2994.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # right arc greater-than bracket 742 operator.\u2995.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # double left arc greater-than bracket 743 operator.\u2996.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # double right arc less-than bracket 744 operator.\u2997.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # left black tortoise shell bracket 745 operator.\u2998.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # right black tortoise shell bracket 746 operator.\u2999.prefix = lspace:0 rspace:0 stretchy fence symmetric # dotted fence 747 operator.\u2999.postfix = lspace:0 rspace:0 stretchy fence symmetric # dotted fence 748 operator.\u299B.prefix = lspace:0 rspace:0 # measured angle opening left 749 operator.\u299C.prefix = lspace:0 rspace:0 # right angle variant with square 750 operator.\u299D.prefix = lspace:0 rspace:0 # measured right angle with dot 751 operator.\u299E.prefix = lspace:0 rspace:0 # angle with s inside 752 operator.\u299F.prefix = lspace:0 rspace:0 # acute angle 753 operator.\u29A0.prefix = lspace:0 rspace:0 # spherical angle opening left 754 operator.\u29A1.prefix = lspace:0 rspace:0 # spherical angle opening up 755 operator.\u29A2.prefix = lspace:0 rspace:0 # turned angle 756 operator.\u29A3.prefix = lspace:0 rspace:0 # reversed angle 757 operator.\u29A4.prefix = lspace:0 rspace:0 # angle with underbar 758 operator.\u29A5.prefix = lspace:0 rspace:0 # reversed angle with underbar 759 operator.\u29A6.prefix = lspace:0 rspace:0 # oblique angle opening up 760 operator.\u29A7.prefix = lspace:0 rspace:0 # oblique angle opening down 761 operator.\u29A8.prefix = lspace:0 rspace:0 # measured angle with open arm ending in arrow pointing up and right 762 operator.\u29A9.prefix = lspace:0 rspace:0 # measured angle with open arm ending in arrow pointing up and left 763 operator.\u29AA.prefix = lspace:0 rspace:0 # measured angle with open arm ending in arrow pointing down and right 764 operator.\u29AB.prefix = lspace:0 rspace:0 # measured angle with open arm ending in arrow pointing down and left 765 operator.\u29AC.prefix = lspace:0 rspace:0 # measured angle with open arm ending in arrow pointing right and up 766 operator.\u29AD.prefix = lspace:0 rspace:0 # measured angle with open arm ending in arrow pointing left and up 767 operator.\u29AE.prefix = lspace:0 rspace:0 # measured angle with open arm ending in arrow pointing right and down 768 operator.\u29AF.prefix = lspace:0 rspace:0 # measured angle with open arm ending in arrow pointing left and down 769 operator.\u29B6.infix = lspace:5 rspace:5 # circled vertical bar 770 operator.\u29B7.infix = lspace:5 rspace:5 # circled parallel 771 operator.\u29B8.infix = lspace:4 rspace:4 # circled reverse solidus 772 operator.\u29B9.infix = lspace:5 rspace:5 # circled perpendicular 773 operator.\u29BC.infix = lspace:4 rspace:4 # circled anticlockwise-rotated division sign 774 operator.\u29C0.infix = lspace:5 rspace:5 # circled less-than 775 operator.\u29C1.infix = lspace:5 rspace:5 # circled greater-than 776 operator.\u29C4.infix = lspace:4 rspace:4 # squared rising diagonal slash 777 operator.\u29C5.infix = lspace:4 rspace:4 # squared falling diagonal slash 778 operator.\u29C6.infix = lspace:3 rspace:3 # squared asterisk 779 operator.\u29C7.infix = lspace:3 rspace:3 # squared small circle 780 operator.\u29C8.infix = lspace:3 rspace:3 # squared square 781 operator.\u29CE.infix = lspace:5 rspace:5 # right triangle above left triangle 782 operator.\u29CF.infix = lspace:5 rspace:5 # ⧏ 783 operator.\u29D0.infix = lspace:5 rspace:5 # ⧐ 784 operator.\u29D1.infix = lspace:5 rspace:5 # bowtie with left half black 785 operator.\u29D2.infix = lspace:5 rspace:5 # bowtie with right half black 786 operator.\u29D3.infix = lspace:5 rspace:5 # black bowtie 787 operator.\u29D4.infix = lspace:3 rspace:3 # times with left half black 788 operator.\u29D5.infix = lspace:3 rspace:3 # times with right half black 789 operator.\u29D6.infix = lspace:3 rspace:3 # white hourglass 790 operator.\u29D7.infix = lspace:3 rspace:3 # black hourglass 791 operator.\u29D8.prefix = lspace:0 rspace:0 stretchy fence symmetric # left wiggly fence 792 operator.\u29D9.postfix = lspace:0 rspace:0 stretchy fence symmetric # right wiggly fence 793 operator.\u29DA.prefix = lspace:0 rspace:0 stretchy fence symmetric # left double wiggly fence 794 operator.\u29DB.postfix = lspace:0 rspace:0 stretchy fence symmetric # right double wiggly fence 795 operator.\u29DF.infix = lspace:5 rspace:5 # double-ended multimap 796 operator.\u29E1.infix = lspace:5 rspace:5 # increases as 797 operator.\u29E2.infix = lspace:3 rspace:3 # shuffle product 798 operator.\u29E3.infix = lspace:5 rspace:5 # equals sign and slanted parallel 799 operator.\u29E4.infix = lspace:5 rspace:5 # equals sign and slanted parallel with tilde above 800 operator.\u29E5.infix = lspace:5 rspace:5 # identical to and slanted parallel 801 operator.\u29E6.infix = lspace:5 rspace:5 # gleich stark 802 operator.\u29F4.infix = lspace:5 rspace:5 # rule-delayed 803 operator.\u29F5.infix = lspace:4 rspace:4 # reverse solidus operator 804 operator.\u29F6.infix = lspace:4 rspace:4 # solidus with overbar 805 operator.\u29F7.infix = lspace:4 rspace:4 # reverse solidus with horizontal stroke 806 operator.\u29F8.infix = lspace:4 rspace:4 # big solidus 807 operator.\u29F9.infix = lspace:4 rspace:4 # big reverse solidus 808 operator.\u29FA.infix = lspace:4 rspace:4 # double plus 809 operator.\u29FB.infix = lspace:4 rspace:4 # triple plus 810 operator.\u29FC.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # left-pointing curved angle bracket 811 operator.\u29FD.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # right-pointing curved angle bracket 812 operator.\u2A00.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ⨀ 813 operator.\u2A01.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ⨁ 814 operator.\u2A02.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ⨂ 815 operator.\u2A03.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # n-ary union operator with dot 816 operator.\u2A04.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ⨄ 817 operator.\u2A05.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # n-ary square intersection operator 818 operator.\u2A06.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # ⨆ 819 operator.\u2A07.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # two logical and operator 820 operator.\u2A08.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # two logical or operator 821 operator.\u2A09.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # n-ary times operator 822 operator.\u2A0A.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # modulo two sum 823 operator.\u2A0B.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # summation with integral 824 operator.\u2A0C.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # quadruple integral operator 825 operator.\u2A0D.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # finite part integral 826 operator.\u2A0E.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # integral with double stroke 827 operator.\u2A0F.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # integral average with slash 828 operator.\u2A10.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # circulation function 829 operator.\u2A11.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # anticlockwise integration 830 operator.\u2A12.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # line integration with rectangular path around pole 831 operator.\u2A13.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # line integration with semicircular path around pole 832 operator.\u2A14.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # line integration not including the pole 833 operator.\u2A15.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # integral around a point operator 834 operator.\u2A16.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # quaternion integral operator 835 operator.\u2A17.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # integral with leftwards arrow with hook 836 operator.\u2A18.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # integral with times sign 837 operator.\u2A19.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # integral with intersection 838 operator.\u2A1A.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # integral with union 839 operator.\u2A1B.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # integral with overbar 840 operator.\u2A1C.prefix = lspace:3 rspace:3 largeop symmetric direction:vertical # integral with underbar 841 operator.\u2A1D.infix = lspace:3 rspace:3 direction:vertical # join 842 operator.\u2A1D.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # join 843 operator.\u2A1E.infix = lspace:3 rspace:3 direction:vertical # large left triangle operator 844 operator.\u2A1E.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # large left triangle operator 845 operator.\u2A1F.infix = lspace:4 rspace:4 # z notation schema composition 846 operator.\u2A20.infix = lspace:4 rspace:4 # z notation schema piping 847 operator.\u2A21.infix = lspace:4 rspace:4 # z notation schema projection 848 operator.\u2A22.infix = lspace:4 rspace:4 # plus sign with small circle above 849 operator.\u2A23.infix = lspace:4 rspace:4 # plus sign with circumflex accent above 850 operator.\u2A24.infix = lspace:4 rspace:4 # plus sign with tilde above 851 operator.\u2A25.infix = lspace:4 rspace:4 # plus sign with dot below 852 operator.\u2A26.infix = lspace:4 rspace:4 # plus sign with tilde below 853 operator.\u2A27.infix = lspace:4 rspace:4 # plus sign with subscript two 854 operator.\u2A28.infix = lspace:4 rspace:4 # plus sign with black triangle 855 operator.\u2A29.infix = lspace:4 rspace:4 # minus sign with comma above 856 operator.\u2A2A.infix = lspace:4 rspace:4 # minus sign with dot below 857 operator.\u2A2B.infix = lspace:4 rspace:4 # minus sign with falling dots 858 operator.\u2A2C.infix = lspace:4 rspace:4 # minus sign with rising dots 859 operator.\u2A2D.infix = lspace:4 rspace:4 # plus sign in left half circle 860 operator.\u2A2E.infix = lspace:4 rspace:4 # plus sign in right half circle 861 operator.\u2A2F.infix = lspace:3 rspace:3 # ⨯ 862 operator.\u2A30.infix = lspace:3 rspace:3 # multiplication sign with dot above 863 operator.\u2A31.infix = lspace:3 rspace:3 # multiplication sign with underbar 864 operator.\u2A32.infix = lspace:3 rspace:3 # semidirect product with bottom closed 865 operator.\u2A33.infix = lspace:3 rspace:3 # smash product 866 operator.\u2A34.infix = lspace:3 rspace:3 # multiplication sign in left half circle 867 operator.\u2A35.infix = lspace:3 rspace:3 # multiplication sign in right half circle 868 operator.\u2A36.infix = lspace:3 rspace:3 # circled multiplication sign with circumflex accent 869 operator.\u2A37.infix = lspace:3 rspace:3 # multiplication sign in double circle 870 operator.\u2A38.infix = lspace:4 rspace:4 # circled division sign 871 operator.\u2A39.infix = lspace:4 rspace:4 # plus sign in triangle 872 operator.\u2A3A.infix = lspace:4 rspace:4 # minus sign in triangle 873 operator.\u2A3B.infix = lspace:3 rspace:3 # multiplication sign in triangle 874 operator.\u2A3C.infix = lspace:3 rspace:3 # interior product 875 operator.\u2A3D.infix = lspace:3 rspace:3 # righthand interior product 876 operator.\u2A3E.infix = lspace:4 rspace:4 # z notation relational composition 877 operator.\u2A3F.infix = lspace:3 rspace:3 # amalgamation or coproduct 878 operator.\u2A40.infix = lspace:4 rspace:4 # intersection with dot 879 operator.\u2A41.infix = lspace:4 rspace:4 # union with minus sign 880 operator.\u2A42.infix = lspace:4 rspace:4 # union with overbar 881 operator.\u2A43.infix = lspace:4 rspace:4 # intersection with overbar 882 operator.\u2A44.infix = lspace:4 rspace:4 # intersection with logical and 883 operator.\u2A45.infix = lspace:4 rspace:4 # union with logical or 884 operator.\u2A46.infix = lspace:4 rspace:4 # union above intersection 885 operator.\u2A47.infix = lspace:4 rspace:4 # intersection above union 886 operator.\u2A48.infix = lspace:4 rspace:4 # union above bar above intersection 887 operator.\u2A49.infix = lspace:4 rspace:4 # intersection above bar above union 888 operator.\u2A4A.infix = lspace:4 rspace:4 # union beside and joined with union 889 operator.\u2A4B.infix = lspace:4 rspace:4 # intersection beside and joined with intersection 890 operator.\u2A4C.infix = lspace:4 rspace:4 # closed union with serifs 891 operator.\u2A4D.infix = lspace:4 rspace:4 # closed intersection with serifs 892 operator.\u2A4E.infix = lspace:4 rspace:4 # double square intersection 893 operator.\u2A4F.infix = lspace:4 rspace:4 # double square union 894 operator.\u2A50.infix = lspace:3 rspace:3 # closed union with serifs and smash product 895 operator.\u2A51.infix = lspace:4 rspace:4 # logical and with dot above 896 operator.\u2A52.infix = lspace:4 rspace:4 # logical or with dot above 897 operator.\u2A53.infix = lspace:4 rspace:4 direction:vertical # ⩓ 898 operator.\u2A54.infix = lspace:4 rspace:4 direction:vertical # ⩔ 899 operator.\u2A55.infix = lspace:4 rspace:4 # two intersecting logical and 900 operator.\u2A56.infix = lspace:4 rspace:4 # two intersecting logical or 901 operator.\u2A57.infix = lspace:4 rspace:4 # sloping large or 902 operator.\u2A58.infix = lspace:4 rspace:4 # sloping large and 903 operator.\u2A59.infix = lspace:4 rspace:4 # logical or overlapping logical and 904 operator.\u2A5A.infix = lspace:4 rspace:4 # logical and with middle stem 905 operator.\u2A5B.infix = lspace:4 rspace:4 # logical or with middle stem 906 operator.\u2A5C.infix = lspace:4 rspace:4 # logical and with horizontal dash 907 operator.\u2A5D.infix = lspace:4 rspace:4 # logical or with horizontal dash 908 operator.\u2A5E.infix = lspace:4 rspace:4 # logical and with double overbar 909 operator.\u2A5F.infix = lspace:4 rspace:4 # logical and with underbar 910 operator.\u2A60.infix = lspace:4 rspace:4 # logical and with double underbar 911 operator.\u2A61.infix = lspace:4 rspace:4 # small vee with underbar 912 operator.\u2A62.infix = lspace:4 rspace:4 # logical or with double overbar 913 operator.\u2A63.infix = lspace:4 rspace:4 # logical or with double underbar 914 operator.\u2A64.infix = lspace:3 rspace:3 # z notation domain antirestriction 915 operator.\u2A65.infix = lspace:3 rspace:3 # z notation range antirestriction 916 operator.\u2A66.infix = lspace:5 rspace:5 # equals sign with dot below 917 operator.\u2A67.infix = lspace:5 rspace:5 # identical with dot above 918 operator.\u2A68.infix = lspace:5 rspace:5 # triple horizontal bar with double vertical stroke 919 operator.\u2A69.infix = lspace:5 rspace:5 # triple horizontal bar with triple vertical stroke 920 operator.\u2A6A.infix = lspace:5 rspace:5 # tilde operator with dot above 921 operator.\u2A6B.infix = lspace:5 rspace:5 # tilde operator with rising dots 922 operator.\u2A6C.infix = lspace:5 rspace:5 # similar minus similar 923 operator.\u2A6D.infix = lspace:5 rspace:5 # congruent with dot above 924 operator.\u2A6E.infix = lspace:5 rspace:5 # equals with asterisk 925 operator.\u2A6F.infix = lspace:5 rspace:5 # almost equal to with circumflex accent 926 operator.\u2A70.infix = lspace:5 rspace:5 # approximately equal or equal to 927 operator.\u2A71.infix = lspace:5 rspace:5 # equals sign above plus sign 928 operator.\u2A72.infix = lspace:5 rspace:5 # plus sign above equals sign 929 operator.\u2A73.infix = lspace:5 rspace:5 # equals sign above tilde operator 930 operator.\u2A74.infix = lspace:5 rspace:5 # double colon equal 931 operator.\u2A75.infix = lspace:5 rspace:5 # ⩵ 932 operator.\u2A76.infix = lspace:5 rspace:5 # three consecutive equals signs 933 operator.\u2A77.infix = lspace:5 rspace:5 # equals sign with two dots above and two dots below 934 operator.\u2A78.infix = lspace:5 rspace:5 # equivalent with four dots above 935 operator.\u2A79.infix = lspace:5 rspace:5 # less-than with circle inside 936 operator.\u2A7A.infix = lspace:5 rspace:5 # greater-than with circle inside 937 operator.\u2A7B.infix = lspace:5 rspace:5 # less-than with question mark above 938 operator.\u2A7C.infix = lspace:5 rspace:5 # greater-than with question mark above 939 operator.\u2A7D.infix = lspace:5 rspace:5 # ⩽ 940 operator.\u2A7E.infix = lspace:5 rspace:5 # ⩾ 941 operator.\u2A7F.infix = lspace:5 rspace:5 # less-than or slanted equal to with dot inside 942 operator.\u2A80.infix = lspace:5 rspace:5 # greater-than or slanted equal to with dot inside 943 operator.\u2A81.infix = lspace:5 rspace:5 # less-than or slanted equal to with dot above 944 operator.\u2A82.infix = lspace:5 rspace:5 # greater-than or slanted equal to with dot above 945 operator.\u2A83.infix = lspace:5 rspace:5 # less-than or slanted equal to with dot above right 946 operator.\u2A84.infix = lspace:5 rspace:5 # greater-than or slanted equal to with dot above left 947 operator.\u2A85.infix = lspace:5 rspace:5 # ⪅ 948 operator.\u2A86.infix = lspace:5 rspace:5 # ⪆ 949 operator.\u2A87.infix = lspace:5 rspace:5 # less-than and single-line not equal to 950 operator.\u2A88.infix = lspace:5 rspace:5 # greater-than and single-line not equal to 951 operator.\u2A89.infix = lspace:5 rspace:5 # less-than and not approximate 952 operator.\u2A8A.infix = lspace:5 rspace:5 # greater-than and not approximate 953 operator.\u2A8B.infix = lspace:5 rspace:5 # ⪋ 954 operator.\u2A8C.infix = lspace:5 rspace:5 # ⪌ 955 operator.\u2A8D.infix = lspace:5 rspace:5 # less-than above similar or equal 956 operator.\u2A8E.infix = lspace:5 rspace:5 # greater-than above similar or equal 957 operator.\u2A8F.infix = lspace:5 rspace:5 # less-than above similar above greater-than 958 operator.\u2A90.infix = lspace:5 rspace:5 # greater-than above similar above less-than 959 operator.\u2A91.infix = lspace:5 rspace:5 # less-than above greater-than above double-line equal 960 operator.\u2A92.infix = lspace:5 rspace:5 # greater-than above less-than above double-line equal 961 operator.\u2A93.infix = lspace:5 rspace:5 # less-than above slanted equal above greater-than above slanted equal 962 operator.\u2A94.infix = lspace:5 rspace:5 # greater-than above slanted equal above less-than above slanted equal 963 operator.\u2A95.infix = lspace:5 rspace:5 # slanted equal to or less-than 964 operator.\u2A96.infix = lspace:5 rspace:5 # slanted equal to or greater-than 965 operator.\u2A97.infix = lspace:5 rspace:5 # slanted equal to or less-than with dot inside 966 operator.\u2A98.infix = lspace:5 rspace:5 # slanted equal to or greater-than with dot inside 967 operator.\u2A99.infix = lspace:5 rspace:5 # double-line equal to or less-than 968 operator.\u2A9A.infix = lspace:5 rspace:5 # double-line equal to or greater-than 969 operator.\u2A9B.infix = lspace:5 rspace:5 # double-line slanted equal to or less-than 970 operator.\u2A9C.infix = lspace:5 rspace:5 # double-line slanted equal to or greater-than 971 operator.\u2A9D.infix = lspace:5 rspace:5 # similar or less-than 972 operator.\u2A9E.infix = lspace:5 rspace:5 # similar or greater-than 973 operator.\u2A9F.infix = lspace:5 rspace:5 # similar above less-than above equals sign 974 operator.\u2AA0.infix = lspace:5 rspace:5 # similar above greater-than above equals sign 975 operator.\u2AA1.infix = lspace:5 rspace:5 # ⪡ 976 operator.\u2AA2.infix = lspace:5 rspace:5 # ⪢ 977 operator.\u2AA3.infix = lspace:5 rspace:5 # double nested less-than with underbar 978 operator.\u2AA4.infix = lspace:5 rspace:5 # greater-than overlapping less-than 979 operator.\u2AA5.infix = lspace:5 rspace:5 # greater-than beside less-than 980 operator.\u2AA6.infix = lspace:5 rspace:5 # less-than closed by curve 981 operator.\u2AA7.infix = lspace:5 rspace:5 # greater-than closed by curve 982 operator.\u2AA8.infix = lspace:5 rspace:5 # less-than closed by curve above slanted equal 983 operator.\u2AA9.infix = lspace:5 rspace:5 # greater-than closed by curve above slanted equal 984 operator.\u2AAA.infix = lspace:5 rspace:5 # smaller than 985 operator.\u2AAB.infix = lspace:5 rspace:5 # larger than 986 operator.\u2AAC.infix = lspace:5 rspace:5 # smaller than or equal to 987 operator.\u2AAD.infix = lspace:5 rspace:5 # larger than or equal to 988 operator.\u2AAE.infix = lspace:5 rspace:5 # equals sign with bumpy above 989 operator.\u2AAF.infix = lspace:5 rspace:5 # ⪯ 990 operator.\u2AB0.infix = lspace:5 rspace:5 # ⪰ 991 operator.\u2AB1.infix = lspace:5 rspace:5 # precedes above single-line not equal to 992 operator.\u2AB2.infix = lspace:5 rspace:5 # succeeds above single-line not equal to 993 operator.\u2AB3.infix = lspace:5 rspace:5 # ⪳ 994 operator.\u2AB4.infix = lspace:5 rspace:5 # ⪴ 995 operator.\u2AB5.infix = lspace:5 rspace:5 # precedes above not equal to 996 operator.\u2AB6.infix = lspace:5 rspace:5 # succeeds above not equal to 997 operator.\u2AB7.infix = lspace:5 rspace:5 # ⪷ 998 operator.\u2AB8.infix = lspace:5 rspace:5 # ⪸ 999 operator.\u2AB9.infix = lspace:5 rspace:5 # precedes above not almost equal to 1000 operator.\u2ABA.infix = lspace:5 rspace:5 # succeeds above not almost equal to 1001 operator.\u2ABB.infix = lspace:5 rspace:5 # double precedes 1002 operator.\u2ABC.infix = lspace:5 rspace:5 # double succeeds 1003 operator.\u2ABD.infix = lspace:5 rspace:5 # subset with dot 1004 operator.\u2ABE.infix = lspace:5 rspace:5 # superset with dot 1005 operator.\u2ABF.infix = lspace:5 rspace:5 # subset with plus sign below 1006 operator.\u2AC0.infix = lspace:5 rspace:5 # superset with plus sign below 1007 operator.\u2AC1.infix = lspace:5 rspace:5 # subset with multiplication sign below 1008 operator.\u2AC2.infix = lspace:5 rspace:5 # superset with multiplication sign below 1009 operator.\u2AC3.infix = lspace:5 rspace:5 # subset of or equal to with dot above 1010 operator.\u2AC4.infix = lspace:5 rspace:5 # superset of or equal to with dot above 1011 operator.\u2AC5.infix = lspace:5 rspace:5 # ⫅ 1012 operator.\u2AC6.infix = lspace:5 rspace:5 # ⫆ 1013 operator.\u2AC7.infix = lspace:5 rspace:5 # subset of above tilde operator 1014 operator.\u2AC8.infix = lspace:5 rspace:5 # superset of above tilde operator 1015 operator.\u2AC9.infix = lspace:5 rspace:5 # subset of above almost equal to 1016 operator.\u2ACA.infix = lspace:5 rspace:5 # superset of above almost equal to 1017 operator.\u2ACB.infix = lspace:5 rspace:5 # subset of above not equal to 1018 operator.\u2ACC.infix = lspace:5 rspace:5 # superset of above not equal to 1019 operator.\u2ACD.infix = lspace:5 rspace:5 # square left open box operator 1020 operator.\u2ACE.infix = lspace:5 rspace:5 # square right open box operator 1021 operator.\u2ACF.infix = lspace:5 rspace:5 # closed subset 1022 operator.\u2AD0.infix = lspace:5 rspace:5 # closed superset 1023 operator.\u2AD1.infix = lspace:5 rspace:5 # closed subset or equal to 1024 operator.\u2AD2.infix = lspace:5 rspace:5 # closed superset or equal to 1025 operator.\u2AD3.infix = lspace:5 rspace:5 # subset above superset 1026 operator.\u2AD4.infix = lspace:5 rspace:5 # superset above subset 1027 operator.\u2AD5.infix = lspace:5 rspace:5 # subset above subset 1028 operator.\u2AD6.infix = lspace:5 rspace:5 # superset above superset 1029 operator.\u2AD7.infix = lspace:5 rspace:5 # superset beside subset 1030 operator.\u2AD8.infix = lspace:5 rspace:5 # superset beside and joined by dash with subset 1031 operator.\u2AD9.infix = lspace:5 rspace:5 # element of opening downwards 1032 operator.\u2ADA.infix = lspace:5 rspace:5 # pitchfork with tee top 1033 operator.\u2ADB.infix = lspace:4 rspace:4 # transversal intersection 1034 operator.\u2ADC.infix = lspace:3 rspace:3 # forking 1035 operator.\u2ADD.infix = lspace:3 rspace:3 # nonforking 1036 operator.\u2ADE.infix = lspace:5 rspace:5 # short left tack 1037 operator.\u2ADF.infix = lspace:5 rspace:5 # short down tack 1038 operator.\u2AE0.infix = lspace:5 rspace:5 # short up tack 1039 operator.\u2AE1.infix = lspace:5 rspace:5 # perpendicular with s 1040 operator.\u2AE2.infix = lspace:5 rspace:5 # vertical bar triple right turnstile 1041 operator.\u2AE3.infix = lspace:5 rspace:5 # double vertical bar left turnstile 1042 operator.\u2AE4.infix = lspace:5 rspace:5 # ⫤ 1043 operator.\u2AE5.infix = lspace:5 rspace:5 # double vertical bar double left turnstile 1044 operator.\u2AE6.infix = lspace:5 rspace:5 # long dash from left member of double vertical 1045 operator.\u2AE7.infix = lspace:5 rspace:5 # short down tack with overbar 1046 operator.\u2AE8.infix = lspace:5 rspace:5 # short up tack with underbar 1047 operator.\u2AE9.infix = lspace:5 rspace:5 # short up tack above short down tack 1048 operator.\u2AEA.infix = lspace:5 rspace:5 # double down tack 1049 operator.\u2AEB.infix = lspace:5 rspace:5 # double up tack 1050 operator.\u2AEC.prefix = lspace:0 rspace:0 # ⫬ 1051 operator.\u2AED.prefix = lspace:0 rspace:0 # reversed double stroke not sign 1052 operator.\u2AEE.infix = lspace:5 rspace:5 # does not divide with reversed negation slash 1053 operator.\u2AF2.infix = lspace:5 rspace:5 # parallel with horizontal stroke 1054 operator.\u2AF3.infix = lspace:5 rspace:5 # parallel with tilde operator 1055 operator.\u2AF4.infix = lspace:5 rspace:5 # triple vertical bar binary relation 1056 operator.\u2AF5.infix = lspace:5 rspace:5 # triple vertical bar with horizontal stroke 1057 operator.\u2AF6.infix = lspace:4 rspace:4 # triple colon operator 1058 operator.\u2AF7.infix = lspace:5 rspace:5 # triple nested less-than 1059 operator.\u2AF8.infix = lspace:5 rspace:5 # triple nested greater-than 1060 operator.\u2AF9.infix = lspace:5 rspace:5 # double-line slanted less-than or equal to 1061 operator.\u2AFA.infix = lspace:5 rspace:5 # double-line slanted greater-than or equal to 1062 operator.\u2AFB.infix = lspace:4 rspace:4 # triple solidus binary relation 1063 operator.\u2AFC.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # large triple vertical bar operator 1064 operator.\u2AFD.infix = lspace:4 rspace:4 # double solidus operator 1065 operator.\u2AFE.infix = lspace:3 rspace:3 # white vertical bar 1066 operator.\u2AFF.prefix = lspace:3 rspace:3 largeop movablelimits symmetric direction:vertical # n-ary white vertical bar 1067 operator.\u2B00.infix = lspace:5 rspace:5 # north east white arrow 1068 operator.\u2B01.infix = lspace:5 rspace:5 # north west white arrow 1069 operator.\u2B02.infix = lspace:5 rspace:5 # south east white arrow 1070 operator.\u2B03.infix = lspace:5 rspace:5 # south west white arrow 1071 operator.\u2B04.infix = lspace:5 rspace:5 stretchy # left right white arrow 1072 operator.\u2B05.infix = lspace:5 rspace:5 stretchy # leftwards black arrow 1073 operator.\u2B06.infix = lspace:5 rspace:5 stretchy # upwards black arrow 1074 operator.\u2B07.infix = lspace:5 rspace:5 stretchy # downwards black arrow 1075 operator.\u2B08.infix = lspace:5 rspace:5 # north east black arrow 1076 operator.\u2B09.infix = lspace:5 rspace:5 # north west black arrow 1077 operator.\u2B0A.infix = lspace:5 rspace:5 # south east black arrow 1078 operator.\u2B0B.infix = lspace:5 rspace:5 # south west black arrow 1079 operator.\u2B0C.infix = lspace:5 rspace:5 stretchy # left right black arrow 1080 operator.\u2B0D.infix = lspace:5 rspace:5 stretchy # up down black arrow 1081 operator.\u2B0E.infix = lspace:5 rspace:5 stretchy # rightwards arrow with tip downwards 1082 operator.\u2B0F.infix = lspace:5 rspace:5 stretchy # rightwards arrow with tip upwards 1083 operator.\u2B10.infix = lspace:5 rspace:5 stretchy # leftwards arrow with tip downwards 1084 operator.\u2B11.infix = lspace:5 rspace:5 stretchy # leftwards arrow with tip upwards 1085 operator.\u2B30.infix = lspace:5 rspace:5 stretchy # left arrow with small circle 1086 operator.\u2B31.infix = lspace:5 rspace:5 stretchy # three leftwards arrows 1087 operator.\u2B32.infix = lspace:5 rspace:5 stretchy # left arrow with circled plus 1088 operator.\u2B33.infix = lspace:5 rspace:5 stretchy # long leftwards squiggle arrow 1089 operator.\u2B34.infix = lspace:5 rspace:5 stretchy # leftwards two-headed arrow with vertical stroke 1090 operator.\u2B35.infix = lspace:5 rspace:5 stretchy # leftwards two-headed arrow with double vertical stroke 1091 operator.\u2B36.infix = lspace:5 rspace:5 stretchy # leftwards two-headed arrow from bar 1092 operator.\u2B37.infix = lspace:5 rspace:5 stretchy # leftwards two-headed triple dash arrow 1093 operator.\u2B38.infix = lspace:5 rspace:5 stretchy # leftwards arrow with dotted stem 1094 operator.\u2B39.infix = lspace:5 rspace:5 stretchy # leftwards arrow with tail with vertical stroke 1095 operator.\u2B3A.infix = lspace:5 rspace:5 stretchy # leftwards arrow with tail with double vertical stroke 1096 operator.\u2B3B.infix = lspace:5 rspace:5 stretchy # leftwards two-headed arrow with tail 1097 operator.\u2B3C.infix = lspace:5 rspace:5 stretchy # leftwards two-headed arrow with tail with vertical stroke 1098 operator.\u2B3D.infix = lspace:5 rspace:5 stretchy # leftwards two-headed arrow with tail with double vertical stroke 1099 operator.\u2B3E.infix = lspace:5 rspace:5 stretchy # leftwards arrow through x 1100 operator.\u2B3F.infix = lspace:5 rspace:5 # wave arrow pointing directly left 1101 operator.\u2B40.infix = lspace:5 rspace:5 stretchy # equals sign above leftwards arrow 1102 operator.\u2B41.infix = lspace:5 rspace:5 stretchy # reverse tilde operator above leftwards arrow 1103 operator.\u2B42.infix = lspace:5 rspace:5 stretchy # leftwards arrow above reverse almost equal to 1104 operator.\u2B43.infix = lspace:5 rspace:5 stretchy # rightwards arrow through greater-than 1105 operator.\u2B44.infix = lspace:5 rspace:5 stretchy # rightwards arrow through superset 1106 operator.\u2B45.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards quadruple arrow 1107 operator.\u2B46.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards quadruple arrow 1108 operator.\u2B47.infix = lspace:5 rspace:5 stretchy # reverse tilde operator above rightwards arrow 1109 operator.\u2B48.infix = lspace:5 rspace:5 stretchy # rightwards arrow above reverse almost equal to 1110 operator.\u2B49.infix = lspace:5 rspace:5 stretchy # tilde operator above leftwards arrow 1111 operator.\u2B4A.infix = lspace:5 rspace:5 stretchy # leftwards arrow above almost equal to 1112 operator.\u2B4B.infix = lspace:5 rspace:5 stretchy # leftwards arrow above reverse tilde operator 1113 operator.\u2B4C.infix = lspace:5 rspace:5 stretchy # rightwards arrow above reverse tilde operator 1114 operator.\u2B4D.infix = lspace:5 rspace:5 # downwards triangle-headed zigzag arrow 1115 operator.\u2B4E.infix = lspace:5 rspace:5 # short slanted north arrow 1116 operator.\u2B4F.infix = lspace:5 rspace:5 # short backslanted south arrow 1117 operator.\u2B5A.infix = lspace:5 rspace:5 # slanted north arrow with hooked head 1118 operator.\u2B5B.infix = lspace:5 rspace:5 # backslanted south arrow with hooked tail 1119 operator.\u2B5C.infix = lspace:5 rspace:5 # slanted north arrow with horizontal tail 1120 operator.\u2B5D.infix = lspace:5 rspace:5 # backslanted south arrow with horizontal tail 1121 operator.\u2B5E.infix = lspace:5 rspace:5 # bent arrow pointing downwards then north east 1122 operator.\u2B5F.infix = lspace:5 rspace:5 # short bent arrow pointing downwards then north east 1123 operator.\u2B60.infix = lspace:5 rspace:5 stretchy # leftwards triangle-headed arrow 1124 operator.\u2B61.infix = lspace:5 rspace:5 stretchy # upwards triangle-headed arrow 1125 operator.\u2B62.infix = lspace:5 rspace:5 stretchy # rightwards triangle-headed arrow 1126 operator.\u2B63.infix = lspace:5 rspace:5 stretchy # downwards triangle-headed arrow 1127 operator.\u2B64.infix = lspace:5 rspace:5 stretchy # left right triangle-headed arrow 1128 operator.\u2B65.infix = lspace:5 rspace:5 stretchy # up down triangle-headed arrow 1129 operator.\u2B66.infix = lspace:5 rspace:5 # north west triangle-headed arrow 1130 operator.\u2B67.infix = lspace:5 rspace:5 # north east triangle-headed arrow 1131 operator.\u2B68.infix = lspace:5 rspace:5 # south east triangle-headed arrow 1132 operator.\u2B69.infix = lspace:5 rspace:5 # south west triangle-headed arrow 1133 operator.\u2B6A.infix = lspace:5 rspace:5 stretchy # leftwards triangle-headed dashed arrow 1134 operator.\u2B6B.infix = lspace:5 rspace:5 stretchy # upwards triangle-headed dashed arrow 1135 operator.\u2B6C.infix = lspace:5 rspace:5 stretchy # rightwards triangle-headed dashed arrow 1136 operator.\u2B6D.infix = lspace:5 rspace:5 stretchy # downwards triangle-headed dashed arrow 1137 operator.\u2B6E.infix = lspace:5 rspace:5 # clockwise triangle-headed open circle arrow 1138 operator.\u2B6F.infix = lspace:5 rspace:5 # anticlockwise triangle-headed open circle arrow 1139 operator.\u2B70.infix = lspace:5 rspace:5 stretchy # leftwards triangle-headed arrow to bar 1140 operator.\u2B71.infix = lspace:5 rspace:5 stretchy # upwards triangle-headed arrow to bar 1141 operator.\u2B72.infix = lspace:5 rspace:5 stretchy # rightwards triangle-headed arrow to bar 1142 operator.\u2B73.infix = lspace:5 rspace:5 stretchy # downwards triangle-headed arrow to bar 1143 operator.\u2B76.infix = lspace:5 rspace:5 # north west triangle-headed arrow to bar 1144 operator.\u2B77.infix = lspace:5 rspace:5 # north east triangle-headed arrow to bar 1145 operator.\u2B78.infix = lspace:5 rspace:5 # south east triangle-headed arrow to bar 1146 operator.\u2B79.infix = lspace:5 rspace:5 # south west triangle-headed arrow to bar 1147 operator.\u2B7A.infix = lspace:5 rspace:5 stretchy # leftwards triangle-headed arrow with double horizontal stroke 1148 operator.\u2B7B.infix = lspace:5 rspace:5 stretchy # upwards triangle-headed arrow with double horizontal stroke 1149 operator.\u2B7C.infix = lspace:5 rspace:5 stretchy # rightwards triangle-headed arrow with double horizontal stroke 1150 operator.\u2B7D.infix = lspace:5 rspace:5 stretchy # downwards triangle-headed arrow with double horizontal stroke 1151 operator.\u2B80.infix = lspace:5 rspace:5 stretchy # leftwards triangle-headed arrow over rightwards triangle-headed arrow 1152 operator.\u2B81.infix = lspace:5 rspace:5 stretchy # upwards triangle-headed arrow leftwards of downwards triangle-headed arrow 1153 operator.\u2B82.infix = lspace:5 rspace:5 stretchy # rightwards triangle-headed arrow over leftwards triangle-headed arrow 1154 operator.\u2B83.infix = lspace:5 rspace:5 stretchy # downwards triangle-headed arrow leftwards of upwards triangle-headed arrow 1155 operator.\u2B84.infix = lspace:5 rspace:5 stretchy # leftwards triangle-headed paired arrows 1156 operator.\u2B85.infix = lspace:5 rspace:5 stretchy # upwards triangle-headed paired arrows 1157 operator.\u2B86.infix = lspace:5 rspace:5 stretchy # rightwards triangle-headed paired arrows 1158 operator.\u2B87.infix = lspace:5 rspace:5 stretchy # downwards triangle-headed paired arrows 1159 operator.\u2B88.infix = lspace:5 rspace:5 # leftwards black circled white arrow 1160 operator.\u2B89.infix = lspace:5 rspace:5 # upwards black circled white arrow 1161 operator.\u2B8A.infix = lspace:5 rspace:5 # rightwards black circled white arrow 1162 operator.\u2B8B.infix = lspace:5 rspace:5 # downwards black circled white arrow 1163 operator.\u2B8C.infix = lspace:5 rspace:5 # anticlockwise triangle-headed right u-shaped arrow 1164 operator.\u2B8D.infix = lspace:5 rspace:5 # anticlockwise triangle-headed bottom u-shaped arrow 1165 operator.\u2B8E.infix = lspace:5 rspace:5 # anticlockwise triangle-headed left u-shaped arrow 1166 operator.\u2B8F.infix = lspace:5 rspace:5 # anticlockwise triangle-headed top u-shaped arrow 1167 operator.\u2B94.infix = lspace:5 rspace:5 # four corner arrows circling anticlockwise 1168 operator.\u2B95.infix = lspace:5 rspace:5 stretchy # rightwards black arrow 1169 operator.\u2BA0.infix = lspace:5 rspace:5 stretchy # downwards triangle-headed arrow with long tip leftwards 1170 operator.\u2BA1.infix = lspace:5 rspace:5 stretchy # downwards triangle-headed arrow with long tip rightwards 1171 operator.\u2BA2.infix = lspace:5 rspace:5 stretchy # upwards triangle-headed arrow with long tip leftwards 1172 operator.\u2BA3.infix = lspace:5 rspace:5 stretchy # upwards triangle-headed arrow with long tip rightwards 1173 operator.\u2BA4.infix = lspace:5 rspace:5 stretchy # leftwards triangle-headed arrow with long tip upwards 1174 operator.\u2BA5.infix = lspace:5 rspace:5 stretchy # rightwards triangle-headed arrow with long tip upwards 1175 operator.\u2BA6.infix = lspace:5 rspace:5 stretchy # leftwards triangle-headed arrow with long tip downwards 1176 operator.\u2BA7.infix = lspace:5 rspace:5 stretchy # rightwards triangle-headed arrow with long tip downwards 1177 operator.\u2BA8.infix = lspace:5 rspace:5 stretchy # black curved downwards and leftwards arrow 1178 operator.\u2BA9.infix = lspace:5 rspace:5 stretchy # black curved downwards and rightwards arrow 1179 operator.\u2BAA.infix = lspace:5 rspace:5 stretchy # black curved upwards and leftwards arrow 1180 operator.\u2BAB.infix = lspace:5 rspace:5 stretchy # black curved upwards and rightwards arrow 1181 operator.\u2BAC.infix = lspace:5 rspace:5 stretchy # black curved leftwards and upwards arrow 1182 operator.\u2BAD.infix = lspace:5 rspace:5 stretchy # black curved rightwards and upwards arrow 1183 operator.\u2BAE.infix = lspace:5 rspace:5 stretchy # black curved leftwards and downwards arrow 1184 operator.\u2BAF.infix = lspace:5 rspace:5 stretchy # black curved rightwards and downwards arrow 1185 operator.\u2BB0.infix = lspace:5 rspace:5 # ribbon arrow down left 1186 operator.\u2BB1.infix = lspace:5 rspace:5 # ribbon arrow down right 1187 operator.\u2BB2.infix = lspace:5 rspace:5 # ribbon arrow up left 1188 operator.\u2BB3.infix = lspace:5 rspace:5 # ribbon arrow up right 1189 operator.\u2BB4.infix = lspace:5 rspace:5 # ribbon arrow left up 1190 operator.\u2BB5.infix = lspace:5 rspace:5 # ribbon arrow right up 1191 operator.\u2BB6.infix = lspace:5 rspace:5 # ribbon arrow left down 1192 operator.\u2BB7.infix = lspace:5 rspace:5 # ribbon arrow right down 1193 operator.\u2BB8.infix = lspace:5 rspace:5 stretchy # upwards white arrow from bar with horizontal bar 1194 operator.\u2BD1.infix = lspace:5 rspace:5 # uncertainty sign 1195 1196 # Entries below are not part of the official MathML dictionary 1197 1198 operator.\u0026.infix = lspace:5 rspace:5 # & 1199 operator.\u0026.prefix = lspace:0 rspace:5 # & 1200 operator.\u002B\u002B.prefix = lspace:0 rspace:2 # ++ 1201 operator.\u002D\u002D.prefix = lspace:0 rspace:2 # -- 1202 operator.\u002E\u002E.postfix = lspace:0 rspace:0 # .. 1203 operator.\u003B.postfix = lspace:0 rspace:0 separator # ; 1204 operator.\u007E.infix = lspace:2 rspace:2 stretchy direction:horizontal # ~ 1205 operator.\u0332.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # _ 1206 operator.\u03F6.infix = lspace:5 rspace:5 # greek reversed lunate epsilon symbol 1207 operator.\u2016.infix = lspace:5 rspace:5 stretchy direction:vertical # ‖ ‖ 1208 operator.\u2026.infix = lspace:0 rspace:0 # horizontal ellipsis 1209 operator.\u20D0.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⃐ 1210 operator.\u20D1.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⃑ 1211 operator.\u20D6.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⃖ 1212 operator.\u20D7.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⃗ 1213 operator.\u20E1.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⃡ 1214 operator.\u2190\u200B.infix = lspace:5 rspace:5 # ← 1215 operator.\u2191\u200B.infix = lspace:2 rspace:2 # ↑ 1216 operator.\u2192\u200B.infix = lspace:5 rspace:5 # → 1217 operator.\u2193\u200B.infix = lspace:2 rspace:2 # ↓ 1218 operator.\u2201.infix = lspace:1 rspace:2 # complement 1219 operator.\u220E.infix = lspace:3 rspace:3 # end of proof 1220 operator.\u221F.infix = lspace:5 rspace:5 # right angle 1221 operator.\u2223.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ∣ 1222 operator.\u2223.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ∣ 1223 operator.\u2225.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ∥ 1224 operator.\u2225.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ∥ 1225 operator.\u2234.infix = lspace:5 rspace:5 # ∴ 1226 operator.\u2235.infix = lspace:5 rspace:5 # ∵ 1227 operator.\u223D\u0331.infix = lspace:3 rspace:3 # reversed tilde with underline 1228 operator.\u223F.infix = lspace:3 rspace:3 # sine wave 1229 operator.\u228E.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical # ⊎ 1230 operator.\u2295.prefix = lspace:0 rspace:3 largeop movablelimits symmetric direction:vertical # ⊕ 1231 operator.\u2296.prefix = lspace:0 rspace:3 largeop movablelimits symmetric direction:vertical # ⊖ 1232 operator.\u2297.prefix = lspace:0 rspace:3 largeop movablelimits symmetric direction:vertical # ⊗ 1233 operator.\u2299.prefix = lspace:0 rspace:3 largeop movablelimits symmetric direction:vertical # ⊙ 1234 operator.\u22A4.infix = lspace:5 rspace:5 # ⊤ 1235 operator.\u22A5.infix = lspace:5 rspace:5 # ⊥ 1236 operator.\u22B9.infix = lspace:5 rspace:5 # hermitian conjugate matrix 1237 operator.\u22BE.infix = lspace:3 rspace:3 # right angle with arc 1238 operator.\u22BF.infix = lspace:3 rspace:3 # right triangle 1239 operator.\u22EE.infix = lspace:5 rspace:5 # vertical ellipsis 1240 operator.\u22EF.infix = lspace:0 rspace:0 # midline horizontal ellipsis 1241 operator.\u22F0.infix = lspace:5 rspace:5 # up right diagonal ellipsis 1242 operator.\u22F1.infix = lspace:5 rspace:5 # down right diagonal ellipsis 1243 operator.\u23B0.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⎰ ⎰ 1244 operator.\u23B1.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⎱ ⎱ 1245 operator.\u2500.infix = lspace:0 rspace:0 stretchy direction:horizontal # ─ 1246 operator.\u25A0.infix = lspace:3 rspace:3 # black square 1247 operator.\u25A1.infix = lspace:3 rspace:3 # white square 1248 operator.\u25A1.prefix = lspace:0 rspace:2 # □ 1249 operator.\u25AA.infix = lspace:3 rspace:3 # black small square 1250 operator.\u25AB.infix = lspace:3 rspace:3 # white small square 1251 operator.\u25AD.infix = lspace:3 rspace:3 # white rectangle 1252 operator.\u25AE.infix = lspace:3 rspace:3 # black vertical rectangle 1253 operator.\u25AF.infix = lspace:3 rspace:3 # white vertical rectangle 1254 operator.\u25B0.infix = lspace:3 rspace:3 # black parallelogram 1255 operator.\u25B1.infix = lspace:3 rspace:3 # white parallelogram 1256 operator.\u25B2.infix = lspace:4 rspace:4 # black up-pointing triangle 1257 operator.\u25B3.infix = lspace:4 rspace:4 # white up-pointing triangle 1258 operator.\u25B4.infix = lspace:4 rspace:4 # black up-pointing small triangle 1259 operator.\u25B5.infix = lspace:4 rspace:4 # white up-pointing small triangle 1260 operator.\u25B6.infix = lspace:4 rspace:4 # black right-pointing triangle 1261 operator.\u25B7.infix = lspace:4 rspace:4 # white right-pointing triangle 1262 operator.\u25B8.infix = lspace:4 rspace:4 # black right-pointing small triangle 1263 operator.\u25B9.infix = lspace:4 rspace:4 # white right-pointing small triangle 1264 operator.\u25BC.infix = lspace:4 rspace:4 # black down-pointing triangle 1265 operator.\u25BD.infix = lspace:4 rspace:4 # white down-pointing triangle 1266 operator.\u25BE.infix = lspace:4 rspace:4 # black down-pointing small triangle 1267 operator.\u25BF.infix = lspace:4 rspace:4 # white down-pointing small triangle 1268 operator.\u25C0.infix = lspace:4 rspace:4 # black left-pointing triangle 1269 operator.\u25C1.infix = lspace:4 rspace:4 # white left-pointing triangle 1270 operator.\u25C2.infix = lspace:4 rspace:4 # black left-pointing small triangle 1271 operator.\u25C3.infix = lspace:4 rspace:4 # white left-pointing small triangle 1272 operator.\u25C4.infix = lspace:4 rspace:4 # black left-pointing pointer 1273 operator.\u25C5.infix = lspace:4 rspace:4 # white left-pointing pointer 1274 operator.\u25C6.infix = lspace:4 rspace:4 # black diamond 1275 operator.\u25C7.infix = lspace:4 rspace:4 # white diamond 1276 operator.\u25C8.infix = lspace:4 rspace:4 # white diamond containing black small diamond 1277 operator.\u25C9.infix = lspace:4 rspace:4 # fisheye 1278 operator.\u25CC.infix = lspace:4 rspace:4 # dotted circle 1279 operator.\u25CD.infix = lspace:4 rspace:4 # circle with vertical fill 1280 operator.\u25CE.infix = lspace:4 rspace:4 # bullseye 1281 operator.\u25CF.infix = lspace:4 rspace:4 # black circle 1282 operator.\u25D6.infix = lspace:4 rspace:4 # left half black circle 1283 operator.\u25D7.infix = lspace:4 rspace:4 # right half black circle 1284 operator.\u25E6.infix = lspace:4 rspace:4 # white bullet 1285 operator.\u2606.infix = lspace:3 rspace:3 # ☆ 1286 operator.\u266D.postfix = lspace:0 rspace:2 # music flat sign 1287 operator.\u266E.postfix = lspace:0 rspace:2 # music natural sign 1288 operator.\u266F.postfix = lspace:0 rspace:2 # music sharp sign 1289 operator.\u2758.infix = lspace:5 rspace:5 direction:vertical # light vertical bar 1290 operator.\u2999.infix = lspace:3 rspace:3 # dotted fence 1291 operator.\u299A.infix = lspace:3 rspace:3 # vertical zigzag line 1292 operator.\u299B.infix = lspace:3 rspace:3 # measured angle opening left 1293 operator.\u299C.infix = lspace:3 rspace:3 # right angle variant with square 1294 operator.\u299D.infix = lspace:3 rspace:3 # measured right angle with dot 1295 operator.\u299E.infix = lspace:3 rspace:3 # angle with s inside 1296 operator.\u299F.infix = lspace:3 rspace:3 # acute angle 1297 operator.\u29A0.infix = lspace:3 rspace:3 # spherical angle opening left 1298 operator.\u29A1.infix = lspace:3 rspace:3 # spherical angle opening up 1299 operator.\u29A2.infix = lspace:3 rspace:3 # turned angle 1300 operator.\u29A3.infix = lspace:3 rspace:3 # reversed angle 1301 operator.\u29A4.infix = lspace:3 rspace:3 # angle with underbar 1302 operator.\u29A5.infix = lspace:3 rspace:3 # reversed angle with underbar 1303 operator.\u29A6.infix = lspace:3 rspace:3 # oblique angle opening up 1304 operator.\u29A7.infix = lspace:3 rspace:3 # oblique angle opening down 1305 operator.\u29A8.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing up and right 1306 operator.\u29A9.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing up and left 1307 operator.\u29AA.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing down and right 1308 operator.\u29AB.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing down and left 1309 operator.\u29AC.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing right and up 1310 operator.\u29AD.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing left and up 1311 operator.\u29AE.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing right and down 1312 operator.\u29AF.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing left and down 1313 operator.\u29B0.infix = lspace:3 rspace:3 # reversed empty set 1314 operator.\u29B1.infix = lspace:3 rspace:3 # empty set with overbar 1315 operator.\u29B2.infix = lspace:3 rspace:3 # empty set with small circle above 1316 operator.\u29B3.infix = lspace:3 rspace:3 # empty set with right arrow above 1317 operator.\u29B4.infix = lspace:3 rspace:3 # empty set with left arrow above 1318 operator.\u29B5.infix = lspace:3 rspace:3 # circle with horizontal bar 1319 operator.\u29BA.infix = lspace:4 rspace:4 # circle divided by horizontal bar and top half divided by vertical bar 1320 operator.\u29BB.infix = lspace:4 rspace:4 # circle with superimposed x 1321 operator.\u29BD.infix = lspace:4 rspace:4 # up arrow through circle 1322 operator.\u29BE.infix = lspace:4 rspace:4 # circled white bullet 1323 operator.\u29BF.infix = lspace:4 rspace:4 # circled bullet 1324 operator.\u29C2.infix = lspace:3 rspace:3 # circle with small circle to the right 1325 operator.\u29C3.infix = lspace:3 rspace:3 # circle with two horizontal strokes to the right 1326 operator.\u29C9.infix = lspace:3 rspace:3 # two joined squares 1327 operator.\u29CA.infix = lspace:3 rspace:3 # triangle with dot above 1328 operator.\u29CB.infix = lspace:3 rspace:3 # triangle with underbar 1329 operator.\u29CC.infix = lspace:3 rspace:3 # s in triangle 1330 operator.\u29CD.infix = lspace:3 rspace:3 # triangle with serifs at bottom 1331 operator.\u29D8.infix = lspace:3 rspace:3 # left wiggly fence 1332 operator.\u29D9.infix = lspace:3 rspace:3 # right wiggly fence 1333 operator.\u29DB.infix = lspace:3 rspace:3 # right double wiggly fence 1334 operator.\u29DC.infix = lspace:3 rspace:3 # incomplete infinity 1335 operator.\u29DD.infix = lspace:3 rspace:3 # tie over infinity 1336 operator.\u29DE.infix = lspace:5 rspace:5 # infinity negated with vertical bar 1337 operator.\u29E0.infix = lspace:3 rspace:3 # square with contoured outline 1338 operator.\u29E7.infix = lspace:3 rspace:3 # thermodynamic 1339 operator.\u29E8.infix = lspace:3 rspace:3 # down-pointing triangle with left half black 1340 operator.\u29E9.infix = lspace:3 rspace:3 # down-pointing triangle with right half black 1341 operator.\u29EA.infix = lspace:3 rspace:3 # black diamond with down arrow 1342 operator.\u29EB.infix = lspace:3 rspace:3 # black lozenge 1343 operator.\u29EC.infix = lspace:3 rspace:3 # white circle with down arrow 1344 operator.\u29ED.infix = lspace:3 rspace:3 # black circle with down arrow 1345 operator.\u29EE.infix = lspace:3 rspace:3 # error-barred white square 1346 operator.\u29EF.infix = lspace:3 rspace:3 # error-barred black square 1347 operator.\u29F0.infix = lspace:3 rspace:3 # error-barred white diamond 1348 operator.\u29F1.infix = lspace:3 rspace:3 # error-barred black diamond 1349 operator.\u29F2.infix = lspace:3 rspace:3 # error-barred white circle 1350 operator.\u29F3.infix = lspace:3 rspace:3 # error-barred black circle 1351 operator.\u29FE.infix = lspace:4 rspace:4 # tiny 1352 operator.\u29FF.infix = lspace:4 rspace:4 # miny 1353 operator.\u2AEC.infix = lspace:5 rspace:5 # double stroke not sign 1354 operator.\u2AED.infix = lspace:5 rspace:5 # reversed double stroke not sign 1355 operator.\u2AEF.infix = lspace:5 rspace:5 # vertical line with circle above 1356 operator.\u2AF0.infix = lspace:5 rspace:5 # vertical line with circle below 1357 operator.\u2AF1.infix = lspace:5 rspace:5 # down tack with circle below 1358 operator.\uFE35.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏜ (MathML 2.0) 1359 operator.\uFE36.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏝ (MathML 2.0) 1360 operator.\uFE37.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏞ (MathML 2.0) 1361 operator.\uFE38.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏟ (MathML 2.0)