1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/layout/mathml/mathfont.properties Wed Dec 31 06:09:35 2014 +0100 1.3 @@ -0,0 +1,1164 @@ 1.4 +# This Source Code Form is subject to the terms of the Mozilla Public 1.5 +# License, v. 2.0. If a copy of the MPL was not distributed with this 1.6 +# file, You can obtain one at http://mozilla.org/MPL/2.0/. 1.7 + 1.8 +# LOCALIZATION NOTE: FILE 1.9 +# Do not translate anything in this file 1.10 + 1.11 +# The ordered list of fonts with which to attempt to stretch MathML 1.12 +# characters is controlled by setting pref("font.mathfont-family", 1.13 +# "CMSY10, CMEX10, ...") for example, or by setting the font-family list in 1.14 +# :-moz-math-stretchy in mathml.css. 1.15 +# 1.16 +# Note: setting base fonts for non-stretchy characters only works 1.17 +# for operators that are ultimately handled by nsMathMLChar. 1.18 +# @see how |useMathMLChar| is set in nsMathMLmoFrame::Stretch() & Paint(). 1.19 + 1.20 +# Operator Dictionary indexed on the "form" (i.e., infix, prefix, or suffix). 1.21 +# Each entry lists the attributes of the operator, using its Unicode format. 1.22 + 1.23 +operator.\u0021.postfix = lspace:1 rspace:0 # ! 1.24 +operator.\u0021\u0021.postfix = lspace:1 rspace:0 # !! 1.25 +operator.\u0021\u003D.infix = lspace:4 rspace:4 # != 1.26 +operator.\u0025.infix = lspace:3 rspace:3 # percent sign 1.27 +operator.\u0026.postfix = lspace:0 rspace:0 # & 1.28 +operator.\u0026\u0026.infix = lspace:4 rspace:4 # && 1.29 +operator.\u0027.postfix = lspace:0 rspace:0 accent # ' 1.30 +operator.\u0028.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical mirrorable # ( 1.31 +operator.\u0029.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical mirrorable # ) 1.32 +operator.\u002A.infix = lspace:3 rspace:3 # * 1.33 +operator.\u002A\u002A.infix = lspace:1 rspace:1 # ** 1.34 +operator.\u002A\u003D.infix = lspace:4 rspace:4 # *= 1.35 +operator.\u002B.infix = lspace:4 rspace:4 # + 1.36 +operator.\u002B.prefix = lspace:0 rspace:1 # + 1.37 +operator.\u002B\u002B.postfix = lspace:0 rspace:0 # ++ 1.38 +operator.\u002B\u003D.infix = lspace:4 rspace:4 # += 1.39 +operator.\u002C.infix = lspace:0 rspace:3 separator # , 1.40 +operator.\u002D.infix = lspace:4 rspace:4 # - 1.41 +operator.\u002D.prefix = lspace:0 rspace:1 # - 1.42 +operator.\u002D\u002D.postfix = lspace:0 rspace:0 # -- 1.43 +operator.\u002D\u003D.infix = lspace:4 rspace:4 # -= 1.44 +operator.\u002D\u003E.infix = lspace:5 rspace:5 # -> 1.45 +operator.\u002E.infix = lspace:3 rspace:3 # . 1.46 +operator.\u002E\u002E.postfix = lspace:0 rspace:0 # .. 1.47 +operator.\u002E\u002E\u002E.postfix = lspace:0 rspace:0 # ... 1.48 +operator.\u002F.infix = lspace:1 rspace:1 direction:vertical # solidus 1.49 +operator.\u002F\u002F.infix = lspace:1 rspace:1 # // 1.50 +operator.\u002F\u003D.infix = lspace:4 rspace:4 # /= 1.51 +operator.\u003A.infix = lspace:1 rspace:2 # : 1.52 +operator.\u003A\u003D.infix = lspace:4 rspace:4 # := 1.53 +operator.\u003B.infix = lspace:0 rspace:3 separator # ; 1.54 +operator.\u003C.infix = lspace:5 rspace:5 # < 1.55 +operator.\u003C\u003D.infix = lspace:5 rspace:5 # <= 1.56 +operator.\u003C\u003E.infix = lspace:1 rspace:1 # <> 1.57 +operator.\u003D.infix = lspace:5 rspace:5 direction:horizontal # = 1.58 +operator.\u003D\u003D.infix = lspace:4 rspace:4 # == 1.59 +operator.\u003E.infix = lspace:5 rspace:5 # > 1.60 +operator.\u003E\u003D.infix = lspace:5 rspace:5 # >= 1.61 +operator.\u003F.infix = lspace:1 rspace:1 # ? 1.62 +operator.\u0040.infix = lspace:1 rspace:1 # @ 1.63 +operator.\u005B.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical mirrorable # [ 1.64 +operator.\u005C.infix = lspace:0 rspace:0 # reverse solidus 1.65 +operator.\u005D.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical mirrorable # ] 1.66 +operator.\u005E.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ^ circumflex accent 1.67 +operator.\u005E.infix = lspace:1 rspace:1 direction:horizontal # ^ 1.68 +operator.\u005F.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # _ low line 1.69 +operator.\u005F.infix = lspace:1 rspace:1 stretchy direction:horizontal # _ low line 1.70 +operator.\u0060.postfix = lspace:0 rspace:0 accent # ` 1.71 +operator.\u007B.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical mirrorable # { 1.72 +operator.\u007C.infix = lspace:2 rspace:2 stretchy fence symmetric direction:vertical # | | 1.73 +operator.\u007C.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # | 1.74 +operator.\u007C.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # | 1.75 +operator.\u007C\u007C.infix = lspace:2 rspace:2 stretchy fence symmetric direction:vertical # || 1.76 +operator.\u007C\u007C.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # multiple character operator: || 1.77 +operator.\u007C\u007C.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # multiple character operator: || 1.78 +operator.\u007C\u007C\u007C.infix = lspace:2 rspace:2 stretchy fence symmetric direction:vertical # multiple character operator: ||| 1.79 +operator.\u007C\u007C\u007C.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # multiple character operator: ||| 1.80 +operator.\u007C\u007C\u007C.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # multiple character operator: ||| 1.81 +operator.\u007D.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical mirrorable # } 1.82 +operator.\u007E.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ~ tilde 1.83 +operator.\u00A8.postfix = lspace:0 rspace:0 accent # ¨ 1.84 +operator.\u00AC.prefix = lspace:2 rspace:1 # not sign 1.85 +operator.\u00AF.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ‾ 1.86 +operator.\u00B0.postfix = lspace:0 rspace:0 # degree sign 1.87 +operator.\u00B1.infix = lspace:4 rspace:4 # ± 1.88 +operator.\u00B1.prefix = lspace:0 rspace:1 # ± 1.89 +operator.\u00B4.postfix = lspace:0 rspace:0 accent # ´ 1.90 +operator.\u00B7.infix = lspace:4 rspace:4 # · 1.91 +operator.\u00B8.postfix = lspace:0 rspace:0 accent # ¸ 1.92 +operator.\u00D7.infix = lspace:4 rspace:4 # multiplication sign 1.93 +operator.\u00F7.infix = lspace:4 rspace:4 # division sign 1.94 +operator.\u02C6.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # modifier letter circumflex accent 1.95 +operator.\u02C7.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ˇ caron 1.96 +operator.\u02C9.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # modifier letter macron 1.97 +operator.\u02CA.postfix = lspace:0 rspace:0 accent # modifier letter acute accent 1.98 +operator.\u02CB.postfix = lspace:0 rspace:0 accent # modifier letter grave accent 1.99 +operator.\u02CD.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # modifier letter low macron 1.100 +operator.\u02D8.postfix = lspace:0 rspace:0 accent # ˘ 1.101 +operator.\u02D9.postfix = lspace:0 rspace:0 accent # ˙ 1.102 +operator.\u02DA.postfix = lspace:0 rspace:0 accent # ring above 1.103 +operator.\u02DC.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ˜ small tilde 1.104 +operator.\u02DD.postfix = lspace:0 rspace:0 accent # ˝ 1.105 +operator.\u02F7.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # modifier letter low tilde 1.106 +operator.\u0302.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # combining circumflex accent 1.107 +operator.\u0311.postfix = lspace:0 rspace:0 accent # ̑ 1.108 +operator.\u03F6.infix = lspace:5 rspace:5 # greek reversed lunate epsilon symbol 1.109 +operator.\u2016.prefix = lspace:0 rspace:0 stretchy fence direction:vertical # ‖ ‖ 1.110 +operator.\u2016.postfix = lspace:0 rspace:0 stretchy fence direction:vertical # ‖ ‖ 1.111 +operator.\u2018.prefix = lspace:0 rspace:0 fence mirrorable # ‘ 1.112 +operator.\u2019.postfix = lspace:0 rspace:0 fence mirrorable # ’ 1.113 +operator.\u201C.prefix = lspace:0 rspace:0 fence mirrorable # “ 1.114 +operator.\u201D.postfix = lspace:0 rspace:0 fence mirrorable # ” 1.115 +operator.\u2022.infix = lspace:4 rspace:4 # bullet 1.116 +operator.\u2026.infix = lspace:0 rspace:0 # horizontal ellipsis 1.117 +operator.\u2032.postfix = lspace:0 rspace:2 # prime 1.118 +operator.\u203E.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # overline 1.119 +operator.\u2044.infix = lspace:4 rspace:4 stretchy direction:vertical # fraction slash 1.120 +operator.\u2061.infix = lspace:0 rspace:0 # ⁡ 1.121 +operator.\u2062.infix = lspace:0 rspace:0 # ⁢ 1.122 +operator.\u2063.infix = lspace:0 rspace:0 separator # ⁣ 1.123 +operator.\u2064.infix = lspace:0 rspace:0 # invisible plus 1.124 +operator.\u20DB.postfix = lspace:0 rspace:0 accent # ⃛ 1.125 +operator.\u20DC.postfix = lspace:0 rspace:0 accent # combining four dots above 1.126 +operator.\u2145.prefix = lspace:2 rspace:1 # ⅅ 1.127 +operator.\u2146.prefix = lspace:2 rspace:0 # ⅆ 1.128 +operator.\u2190.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ← 1.129 +operator.\u2191.infix = lspace:5 rspace:5 stretchy direction:vertical # ↑ 1.130 +operator.\u2192.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # → 1.131 +operator.\u2193.infix = lspace:5 rspace:5 stretchy direction:vertical # ↓ 1.132 +operator.\u2194.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↔ 1.133 +operator.\u2195.infix = lspace:5 rspace:5 stretchy direction:vertical # ↕ 1.134 +operator.\u2196.infix = lspace:5 rspace:5 stretchy direction:vertical # ↖ 1.135 +operator.\u2197.infix = lspace:5 rspace:5 stretchy direction:vertical # ↗ 1.136 +operator.\u2198.infix = lspace:5 rspace:5 stretchy direction:horizontal # ↘ 1.137 +operator.\u2199.infix = lspace:5 rspace:5 stretchy direction:horizontal # ↙ 1.138 +operator.\u219A.infix = lspace:5 rspace:5 accent # leftwards arrow with stroke 1.139 +operator.\u219B.infix = lspace:5 rspace:5 accent # rightwards arrow with stroke 1.140 +operator.\u219C.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards wave arrow 1.141 +operator.\u219D.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards wave arrow 1.142 +operator.\u219E.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards two headed arrow 1.143 +operator.\u219F.infix = lspace:5 rspace:5 stretchy accent direction:vertical # upwards two headed arrow 1.144 +operator.\u21A0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards two headed arrow 1.145 +operator.\u21A1.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards two headed arrow 1.146 +operator.\u21A2.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards arrow with tail 1.147 +operator.\u21A3.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards arrow with tail 1.148 +operator.\u21A4.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↤ 1.149 +operator.\u21A5.infix = lspace:5 rspace:5 stretchy direction:vertical # ↥ 1.150 +operator.\u21A6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↦ 1.151 +operator.\u21A7.infix = lspace:5 rspace:5 stretchy direction:vertical # ↧ 1.152 +operator.\u21A8.infix = lspace:5 rspace:5 stretchy direction:vertical # up down arrow with base 1.153 +operator.\u21A9.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↩ ↩ 1.154 +operator.\u21AA.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↪ ↪ 1.155 +operator.\u21AB.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards arrow with loop 1.156 +operator.\u21AC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards arrow with loop 1.157 +operator.\u21AD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # left right wave arrow 1.158 +operator.\u21AE.infix = lspace:5 rspace:5 accent # left right arrow with stroke 1.159 +operator.\u21AF.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards zigzag arrow 1.160 +operator.\u21B0.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards arrow with tip leftwards 1.161 +operator.\u21B1.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards arrow with tip rightwards 1.162 +operator.\u21B2.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards arrow with tip leftwards 1.163 +operator.\u21B3.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards arrow with tip rightwards 1.164 +operator.\u21B4.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards arrow with corner downwards 1.165 +operator.\u21B5.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards arrow with corner leftwards 1.166 +operator.\u21B6.infix = lspace:5 rspace:5 accent # anticlockwise top semicircle arrow 1.167 +operator.\u21B7.infix = lspace:5 rspace:5 accent # clockwise top semicircle arrow 1.168 +operator.\u21B8.infix = lspace:5 rspace:5 # north west arrow to long bar 1.169 +operator.\u21B9.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards arrow to bar over rightwards arrow to bar 1.170 +operator.\u21BA.infix = lspace:5 rspace:5 # anticlockwise open circle arrow 1.171 +operator.\u21BB.infix = lspace:5 rspace:5 # clockwise open circle arrow 1.172 +operator.\u21BC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↼ 1.173 +operator.\u21BD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ↽ 1.174 +operator.\u21BE.infix = lspace:5 rspace:5 stretchy direction:vertical # ↾ 1.175 +operator.\u21BF.infix = lspace:5 rspace:5 stretchy direction:vertical # ↿ 1.176 +operator.\u21C0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇀ 1.177 +operator.\u21C1.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇁ 1.178 +operator.\u21C2.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇂ 1.179 +operator.\u21C3.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇃ 1.180 +operator.\u21C4.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇄ 1.181 +operator.\u21C5.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇅ 1.182 +operator.\u21C6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇆ 1.183 +operator.\u21C7.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards paired arrows 1.184 +operator.\u21C8.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards paired arrows 1.185 +operator.\u21C9.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards paired arrows 1.186 +operator.\u21CA.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards paired arrows 1.187 +operator.\u21CB.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇋ 1.188 +operator.\u21CC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇌ 1.189 +operator.\u21CD.infix = lspace:5 rspace:5 accent # leftwards double arrow with stroke 1.190 +operator.\u21CE.infix = lspace:5 rspace:5 accent # left right double arrow with stroke 1.191 +operator.\u21CF.infix = lspace:5 rspace:5 accent # rightwards double arrow with stroke 1.192 +operator.\u21D0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇐ 1.193 +operator.\u21D1.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇑ 1.194 +operator.\u21D2.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇒ ⇒ 1.195 +operator.\u21D3.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇓ 1.196 +operator.\u21D4.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇔ 1.197 +operator.\u21D5.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇕ 1.198 +operator.\u21DA.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards triple arrow 1.199 +operator.\u21DB.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards triple arrow 1.200 +operator.\u21DC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards squiggle arrow 1.201 +operator.\u21DD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards squiggle arrow 1.202 +operator.\u21DE.infix = lspace:5 rspace:5 # upwards arrow with double stroke 1.203 +operator.\u21DF.infix = lspace:5 rspace:5 # downwards arrow with double stroke 1.204 +operator.\u21E0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards dashed arrow 1.205 +operator.\u21E1.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards dashed arrow 1.206 +operator.\u21E2.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards dashed arrow 1.207 +operator.\u21E3.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards dashed arrow 1.208 +operator.\u21E4.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇤ 1.209 +operator.\u21E5.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⇥ 1.210 +operator.\u21E6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards white arrow 1.211 +operator.\u21E7.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow 1.212 +operator.\u21E8.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards white arrow 1.213 +operator.\u21E9.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards white arrow 1.214 +operator.\u21EA.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow from bar 1.215 +operator.\u21EB.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow on pedestal 1.216 +operator.\u21EC.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow on pedestal with horizontal bar 1.217 +operator.\u21ED.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white arrow on pedestal with vertical bar 1.218 +operator.\u21EE.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white double arrow 1.219 +operator.\u21EF.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards white double arrow on pedestal 1.220 +operator.\u21F0.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards white arrow from wall 1.221 +operator.\u21F1.infix = lspace:5 rspace:5 # north west arrow to corner 1.222 +operator.\u21F2.infix = lspace:5 rspace:5 # south east arrow to corner 1.223 +operator.\u21F3.infix = lspace:5 rspace:5 stretchy direction:vertical # up down white arrow 1.224 +operator.\u21F4.infix = lspace:5 rspace:5 accent # right arrow with small circle 1.225 +operator.\u21F5.infix = lspace:5 rspace:5 stretchy direction:vertical # ⇵ 1.226 +operator.\u21F6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # three rightwards arrows 1.227 +operator.\u21F7.infix = lspace:5 rspace:5 accent # leftwards arrow with vertical stroke 1.228 +operator.\u21F8.infix = lspace:5 rspace:5 accent # rightwards arrow with vertical stroke 1.229 +operator.\u21F9.infix = lspace:5 rspace:5 accent # left right arrow with vertical stroke 1.230 +operator.\u21FA.infix = lspace:5 rspace:5 accent # leftwards arrow with double vertical stroke 1.231 +operator.\u21FB.infix = lspace:5 rspace:5 accent # rightwards arrow with double vertical stroke 1.232 +operator.\u21FC.infix = lspace:5 rspace:5 accent # left right arrow with double vertical stroke 1.233 +operator.\u21FD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards open-headed arrow 1.234 +operator.\u21FE.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards open-headed arrow 1.235 +operator.\u21FF.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # left right open-headed arrow 1.236 +operator.\u2200.prefix = lspace:2 rspace:1 # ∀ 1.237 +operator.\u2201.infix = lspace:1 rspace:2 # complement 1.238 +operator.\u2202.prefix = lspace:2 rspace:1 # ∂ 1.239 +operator.\u2203.prefix = lspace:2 rspace:1 # ∃ 1.240 +operator.\u2204.prefix = lspace:2 rspace:1 # ∄ 1.241 +operator.\u2206.infix = lspace:3 rspace:3 # increment 1.242 +operator.\u2207.prefix = lspace:2 rspace:1 # ∇ 1.243 +operator.\u2208.infix = lspace:5 rspace:5 # ∈ 1.244 +operator.\u2209.infix = lspace:5 rspace:5 # ∉ 1.245 +operator.\u220A.infix = lspace:5 rspace:5 # small element of 1.246 +operator.\u220B.infix = lspace:5 rspace:5 # ∋ ∋ 1.247 +operator.\u220C.infix = lspace:5 rspace:5 # ∌ 1.248 +operator.\u220D.infix = lspace:5 rspace:5 # small contains as member 1.249 +operator.\u220E.infix = lspace:3 rspace:3 # end of proof 1.250 +operator.\u220F.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical # ∏ 1.251 +operator.\u2210.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical # ∐ 1.252 +operator.\u2211.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical mirrorable # ∑ 1.253 +operator.\u2212.infix = lspace:4 rspace:4 # official Unicode minus sign 1.254 +operator.\u2212.prefix = lspace:0 rspace:1 # official Unicode minus sign 1.255 +operator.\u2213.infix = lspace:4 rspace:4 # ∓ 1.256 +operator.\u2213.prefix = lspace:0 rspace:1 # ∓ 1.257 +operator.\u2214.infix = lspace:4 rspace:4 # dot plus 1.258 +operator.\u2215.infix = lspace:4 rspace:4 stretchy mirrorable direction:vertical # division slash 1.259 +operator.\u2216.infix = lspace:4 rspace:4 direction:vertical # set minus 1.260 +operator.\u2217.infix = lspace:4 rspace:4 # asterisk operator 1.261 +operator.\u2218.infix = lspace:4 rspace:4 # ∘ 1.262 +operator.\u2219.infix = lspace:4 rspace:4 # bullet operator 1.263 +operator.\u221A.prefix = lspace:1 rspace:1 stretchy direction:vertical mirrorable # √ 1.264 +operator.\u221B.prefix = lspace:1 rspace:1 # cube root 1.265 +operator.\u221C.prefix = lspace:1 rspace:1 # fourth root 1.266 +operator.\u221D.infix = lspace:5 rspace:5 # ∝ 1.267 +operator.\u221F.infix = lspace:5 rspace:5 # right angle 1.268 +operator.\u2220.prefix = lspace:0 rspace:0 # angle 1.269 +operator.\u2221.prefix = lspace:0 rspace:0 # measured angle 1.270 +operator.\u2222.prefix = lspace:0 rspace:0 # spherical angle 1.271 +operator.\u2223.infix = lspace:5 rspace:5 direction:vertical # divides 1.272 +operator.\u2224.infix = lspace:5 rspace:5 # ∤ 1.273 +operator.\u2225.infix = lspace:5 rspace:5 direction:vertical # parallel to 1.274 +operator.\u2226.infix = lspace:5 rspace:5 # ∦ 1.275 +operator.\u2227.infix = lspace:4 rspace:4 # ∧ 1.276 +operator.\u2228.infix = lspace:4 rspace:4 # ∨ 1.277 +operator.\u2229.infix = lspace:4 rspace:4 # ∩ 1.278 +operator.\u222A.infix = lspace:4 rspace:4 # ∪ 1.279 +operator.\u222B.prefix = lspace:0 rspace:1 largeop symmetric direction:vertical integral mirrorable # ∫ 1.280 +operator.\u222C.prefix = lspace:0 rspace:1 largeop symmetric direction:vertical integral mirrorable # double integral 1.281 +operator.\u222D.prefix = lspace:0 rspace:1 largeop symmetric direction:vertical integral mirrorable # triple integral 1.282 +operator.\u222E.prefix = lspace:0 rspace:1 largeop symmetric direction:vertical integral mirrorable # ∮ 1.283 +operator.\u222F.prefix = lspace:0 rspace:1 largeop symmetric direction:vertical integral mirrorable # ∯ 1.284 +operator.\u2230.prefix = lspace:0 rspace:1 largeop symmetric direction:vertical integral mirrorable # volume integral 1.285 +operator.\u2231.prefix = lspace:0 rspace:1 largeop symmetric direction:vertical integral # clockwise integral 1.286 +operator.\u2232.prefix = lspace:0 rspace:1 largeop symmetric direction:vertical integral # ∲ 1.287 +operator.\u2233.prefix = lspace:0 rspace:1 largeop symmetric direction:vertical integral # ∳ 1.288 +operator.\u2234.infix = lspace:5 rspace:5 # ∴ 1.289 +operator.\u2235.infix = lspace:5 rspace:5 # ∵ 1.290 +operator.\u2236.infix = lspace:5 rspace:5 # ratio 1.291 +operator.\u2237.infix = lspace:5 rspace:5 # ∷ ∷ 1.292 +operator.\u2238.infix = lspace:4 rspace:4 # dot minus 1.293 +operator.\u2239.infix = lspace:5 rspace:5 # excess 1.294 +operator.\u223A.infix = lspace:4 rspace:4 # geometric proportion 1.295 +operator.\u223B.infix = lspace:5 rspace:5 # homothetic 1.296 +operator.\u223C.infix = lspace:5 rspace:5 # ∼ 1.297 +operator.\u223D.infix = lspace:5 rspace:5 # reversed tilde 1.298 +operator.\u223D\u0331.infix = lspace:3 rspace:3 # reversed tilde with underline 1.299 +operator.\u223E.infix = lspace:5 rspace:5 # inverted lazy s 1.300 +operator.\u223F.infix = lspace:3 rspace:3 # sine wave 1.301 +operator.\u2240.infix = lspace:4 rspace:4 # ≀ 1.302 +operator.\u2241.infix = lspace:5 rspace:5 # ≁ 1.303 +operator.\u2242.infix = lspace:5 rspace:5 # ≂ 1.304 +operator.\u2242\u0338.infix = lspace:5 rspace:5 # ≂̸ 1.305 +operator.\u2243.infix = lspace:5 rspace:5 # ≃ 1.306 +operator.\u2244.infix = lspace:5 rspace:5 # ≄ 1.307 +operator.\u2245.infix = lspace:5 rspace:5 # ≅ 1.308 +operator.\u2246.infix = lspace:5 rspace:5 # approximately but not actually equal to 1.309 +operator.\u2247.infix = lspace:5 rspace:5 # ≇ 1.310 +operator.\u2248.infix = lspace:5 rspace:5 # ≈ 1.311 +operator.\u2249.infix = lspace:5 rspace:5 # ≉ 1.312 +operator.\u224A.infix = lspace:5 rspace:5 # almost equal or equal to 1.313 +operator.\u224B.infix = lspace:5 rspace:5 # triple tilde 1.314 +operator.\u224C.infix = lspace:5 rspace:5 # all equal to 1.315 +operator.\u224D.infix = lspace:5 rspace:5 # ≍ 1.316 +operator.\u224E.infix = lspace:5 rspace:5 # ≎ 1.317 +operator.\u224E\u0338.infix = lspace:5 rspace:5 # ≎̸ 1.318 +operator.\u224F.infix = lspace:5 rspace:5 # ≏ 1.319 +operator.\u224F\u0338.infix = lspace:5 rspace:5 # ≏̸ 1.320 +operator.\u2250.infix = lspace:5 rspace:5 # ≐ 1.321 +operator.\u2251.infix = lspace:5 rspace:5 # geometrically equal to 1.322 +operator.\u2252.infix = lspace:5 rspace:5 # approximately equal to or the image of 1.323 +operator.\u2253.infix = lspace:5 rspace:5 # image of or approximately equal to 1.324 +operator.\u2254.infix = lspace:5 rspace:5 # ≔ 1.325 +operator.\u2255.infix = lspace:5 rspace:5 # equals colon 1.326 +operator.\u2256.infix = lspace:5 rspace:5 # ring in equal to 1.327 +operator.\u2257.infix = lspace:5 rspace:5 # ring equal to 1.328 +operator.\u2258.infix = lspace:5 rspace:5 # corresponds to 1.329 +operator.\u2259.infix = lspace:5 rspace:5 # estimates 1.330 +operator.\u225A.infix = lspace:5 rspace:5 # equiangular to 1.331 +operator.\u225C.infix = lspace:5 rspace:5 # delta equal to 1.332 +operator.\u225D.infix = lspace:5 rspace:5 # equal to by definition 1.333 +operator.\u225E.infix = lspace:5 rspace:5 # measured by 1.334 +operator.\u225F.infix = lspace:5 rspace:5 # questioned equal to 1.335 +operator.\u2260.infix = lspace:5 rspace:5 # ≠ 1.336 +operator.\u2261.infix = lspace:5 rspace:5 # ≡ 1.337 +operator.\u2262.infix = lspace:5 rspace:5 # ≢ 1.338 +operator.\u2263.infix = lspace:5 rspace:5 # strictly equivalent to 1.339 +operator.\u2264.infix = lspace:5 rspace:5 # ≤ 1.340 +operator.\u2265.infix = lspace:5 rspace:5 # ≥ 1.341 +operator.\u2266.infix = lspace:5 rspace:5 # ≦ 1.342 +operator.\u2266\u0338.infix = lspace:5 rspace:5 # ≧̸ 1.343 +operator.\u2267.infix = lspace:5 rspace:5 # ≧ 1.344 +operator.\u2268.infix = lspace:5 rspace:5 # less-than but not equal to 1.345 +operator.\u2269.infix = lspace:5 rspace:5 # greater-than but not equal to 1.346 +operator.\u226A.infix = lspace:5 rspace:5 # ≪ 1.347 +operator.\u226A\u0338.infix = lspace:5 rspace:5 # ≪̸ 1.348 +operator.\u226B.infix = lspace:5 rspace:5 # ≫ 1.349 +operator.\u226B\u0338.infix = lspace:5 rspace:5 # ≫̸ 1.350 +operator.\u226C.infix = lspace:5 rspace:5 # between 1.351 +operator.\u226D.infix = lspace:5 rspace:5 # ≭ 1.352 +operator.\u226E.infix = lspace:5 rspace:5 # ≮ 1.353 +operator.\u226F.infix = lspace:5 rspace:5 # ≯ 1.354 +operator.\u2270.infix = lspace:5 rspace:5 # ≰ 1.355 +operator.\u2271.infix = lspace:5 rspace:5 # ≱ 1.356 +operator.\u2272.infix = lspace:5 rspace:5 # ≲ 1.357 +operator.\u2273.infix = lspace:5 rspace:5 # ≳ 1.358 +operator.\u2274.infix = lspace:5 rspace:5 # ≴ 1.359 +operator.\u2275.infix = lspace:5 rspace:5 # ≵ 1.360 +operator.\u2276.infix = lspace:5 rspace:5 # ≶ 1.361 +operator.\u2277.infix = lspace:5 rspace:5 # ≷ 1.362 +operator.\u2278.infix = lspace:5 rspace:5 # ≸ 1.363 +operator.\u2279.infix = lspace:5 rspace:5 # ≹ 1.364 +operator.\u227A.infix = lspace:5 rspace:5 # ≺ 1.365 +operator.\u227B.infix = lspace:5 rspace:5 # ≻ 1.366 +operator.\u227C.infix = lspace:5 rspace:5 # ≼ 1.367 +operator.\u227D.infix = lspace:5 rspace:5 # ≽ 1.368 +operator.\u227E.infix = lspace:5 rspace:5 # ≾ 1.369 +operator.\u227F.infix = lspace:5 rspace:5 # ≿ 1.370 +operator.\u227F\u0338.infix = lspace:5 rspace:5 # ≿̸ 1.371 +operator.\u2280.infix = lspace:5 rspace:5 # ⊀ 1.372 +operator.\u2281.infix = lspace:5 rspace:5 # ⊁ 1.373 +operator.\u2282.infix = lspace:5 rspace:5 # ⊂ 1.374 +operator.\u2282\u20D2.infix = lspace:5 rspace:5 # subset of with vertical line 1.375 +operator.\u2283.infix = lspace:5 rspace:5 # ⊃ 1.376 +operator.\u2283\u20D2.infix = lspace:5 rspace:5 # superset of with vertical line 1.377 +operator.\u2284.infix = lspace:5 rspace:5 # ⊄ 1.378 +operator.\u2285.infix = lspace:5 rspace:5 # ⊅ 1.379 +operator.\u2286.infix = lspace:5 rspace:5 # ⊆ 1.380 +operator.\u2287.infix = lspace:5 rspace:5 # ⊇ 1.381 +operator.\u2288.infix = lspace:5 rspace:5 # ⊈ 1.382 +operator.\u2289.infix = lspace:5 rspace:5 # ⊉ 1.383 +operator.\u228A.infix = lspace:5 rspace:5 # ⊊ ⊊ 1.384 +operator.\u228B.infix = lspace:5 rspace:5 # superset of with not equal to 1.385 +operator.\u228C.infix = lspace:4 rspace:4 # multiset 1.386 +operator.\u228D.infix = lspace:4 rspace:4 # multiset multiplication 1.387 +operator.\u228E.infix = lspace:4 rspace:4 direction:vertical # ⊎ 1.388 +operator.\u228F.infix = lspace:5 rspace:5 # ⊏ 1.389 +operator.\u228F\u0338.infix = lspace:5 rspace:5 # ⊏̸ 1.390 +operator.\u2290.infix = lspace:5 rspace:5 # ⊐ 1.391 +operator.\u2290\u0338.infix = lspace:5 rspace:5 # ⊐̸ 1.392 +operator.\u2291.infix = lspace:5 rspace:5 # ⊑ 1.393 +operator.\u2292.infix = lspace:5 rspace:5 # ⊒ 1.394 +operator.\u2293.infix = lspace:4 rspace:4 direction:vertical # ⊓ 1.395 +operator.\u2294.infix = lspace:4 rspace:4 direction:vertical # ⊔ 1.396 +operator.\u2295.infix = lspace:4 rspace:4 # ⊕ 1.397 +operator.\u2296.infix = lspace:4 rspace:4 # ⊖ 1.398 +operator.\u2297.infix = lspace:4 rspace:4 # ⊗ 1.399 +operator.\u2298.infix = lspace:4 rspace:4 # circled division slash 1.400 +operator.\u2299.infix = lspace:4 rspace:4 # ⊙ 1.401 +operator.\u229A.infix = lspace:4 rspace:4 # circled ring operator 1.402 +operator.\u229B.infix = lspace:4 rspace:4 # circled asterisk operator 1.403 +operator.\u229C.infix = lspace:4 rspace:4 # circled equals 1.404 +operator.\u229D.infix = lspace:4 rspace:4 # circled dash 1.405 +operator.\u229E.infix = lspace:4 rspace:4 # squared plus 1.406 +operator.\u229F.infix = lspace:4 rspace:4 # squared minus 1.407 +operator.\u22A0.infix = lspace:4 rspace:4 # squared times 1.408 +operator.\u22A1.infix = lspace:4 rspace:4 # squared dot operator 1.409 +operator.\u22A2.infix = lspace:5 rspace:5 # ⊢ 1.410 +operator.\u22A3.infix = lspace:5 rspace:5 # ⊣ 1.411 +operator.\u22A4.infix = lspace:5 rspace:5 # ⊤ 1.412 +operator.\u22A5.infix = lspace:5 rspace:5 # ⊥ 1.413 +operator.\u22A6.infix = lspace:5 rspace:5 # assertion 1.414 +operator.\u22A7.infix = lspace:5 rspace:5 # models 1.415 +operator.\u22A8.infix = lspace:5 rspace:5 # ⊨ 1.416 +operator.\u22A9.infix = lspace:5 rspace:5 # forces 1.417 +operator.\u22AA.infix = lspace:5 rspace:5 # triple vertical bar right turnstile 1.418 +operator.\u22AB.infix = lspace:5 rspace:5 # double vertical bar double right turnstile 1.419 +operator.\u22AC.infix = lspace:5 rspace:5 # does not prove 1.420 +operator.\u22AD.infix = lspace:5 rspace:5 # not true 1.421 +operator.\u22AE.infix = lspace:5 rspace:5 # does not force 1.422 +operator.\u22AF.infix = lspace:5 rspace:5 # negated double vertical bar double right turnstile 1.423 +operator.\u22B0.infix = lspace:5 rspace:5 # precedes under relation 1.424 +operator.\u22B1.infix = lspace:5 rspace:5 # succeeds under relation 1.425 +operator.\u22B2.infix = lspace:5 rspace:5 # ⊲ 1.426 +operator.\u22B3.infix = lspace:5 rspace:5 # ⊳ 1.427 +operator.\u22B4.infix = lspace:5 rspace:5 # ⊴ 1.428 +operator.\u22B5.infix = lspace:5 rspace:5 # ⊵ 1.429 +operator.\u22B6.infix = lspace:5 rspace:5 # original of 1.430 +operator.\u22B7.infix = lspace:5 rspace:5 # image of 1.431 +operator.\u22B8.infix = lspace:5 rspace:5 # multimap 1.432 +operator.\u22B9.infix = lspace:5 rspace:5 # hermitian conjugate matrix 1.433 +operator.\u22BA.infix = lspace:4 rspace:4 # intercalate 1.434 +operator.\u22BB.infix = lspace:4 rspace:4 # xor 1.435 +operator.\u22BC.infix = lspace:4 rspace:4 # nand 1.436 +operator.\u22BD.infix = lspace:4 rspace:4 # nor 1.437 +operator.\u22BE.infix = lspace:3 rspace:3 # right angle with arc 1.438 +operator.\u22BF.infix = lspace:3 rspace:3 # right triangle 1.439 +operator.\u22C0.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical # ⋀ 1.440 +operator.\u22C1.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical # ⋁ 1.441 +operator.\u22C2.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical # ⋂ 1.442 +operator.\u22C3.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical # ⋃ 1.443 +operator.\u22C4.infix = lspace:4 rspace:4 # ⋄ 1.444 +operator.\u22C5.infix = lspace:4 rspace:4 # ċ 1.445 +operator.\u22C6.infix = lspace:4 rspace:4 # ⋆ 1.446 +operator.\u22C7.infix = lspace:4 rspace:4 # division times 1.447 +operator.\u22C8.infix = lspace:5 rspace:5 # bowtie 1.448 +operator.\u22C9.infix = lspace:4 rspace:4 # left normal factor semidirect product 1.449 +operator.\u22CA.infix = lspace:4 rspace:4 # right normal factor semidirect product 1.450 +operator.\u22CB.infix = lspace:4 rspace:4 # left semidirect product 1.451 +operator.\u22CC.infix = lspace:4 rspace:4 # right semidirect product 1.452 +operator.\u22CD.infix = lspace:5 rspace:5 # reversed tilde equals 1.453 +operator.\u22CE.infix = lspace:4 rspace:4 # curly logical or 1.454 +operator.\u22CF.infix = lspace:4 rspace:4 # curly logical and 1.455 +operator.\u22D0.infix = lspace:5 rspace:5 # ⋐ 1.456 +operator.\u22D1.infix = lspace:5 rspace:5 # double superset 1.457 +operator.\u22D2.infix = lspace:4 rspace:4 # ⋒ 1.458 +operator.\u22D3.infix = lspace:4 rspace:4 # ⋓ 1.459 +operator.\u22D4.infix = lspace:5 rspace:5 # pitchfork 1.460 +operator.\u22D5.infix = lspace:5 rspace:5 # equal and parallel to 1.461 +operator.\u22D6.infix = lspace:5 rspace:5 # less-than with dot 1.462 +operator.\u22D7.infix = lspace:5 rspace:5 # greater-than with dot 1.463 +operator.\u22D8.infix = lspace:5 rspace:5 # very much less-than 1.464 +operator.\u22D9.infix = lspace:5 rspace:5 # very much greater-than 1.465 +operator.\u22DA.infix = lspace:5 rspace:5 # ⋚ 1.466 +operator.\u22DB.infix = lspace:5 rspace:5 # ⋛ 1.467 +operator.\u22DC.infix = lspace:5 rspace:5 # equal to or less-than 1.468 +operator.\u22DD.infix = lspace:5 rspace:5 # equal to or greater-than 1.469 +operator.\u22DE.infix = lspace:5 rspace:5 # equal to or precedes 1.470 +operator.\u22DF.infix = lspace:5 rspace:5 # equal to or succeeds 1.471 +operator.\u22E0.infix = lspace:5 rspace:5 # ⋠ 1.472 +operator.\u22E1.infix = lspace:5 rspace:5 # ⋡ 1.473 +operator.\u22E2.infix = lspace:5 rspace:5 # ⋢ 1.474 +operator.\u22E3.infix = lspace:5 rspace:5 # ⋣ 1.475 +operator.\u22E4.infix = lspace:5 rspace:5 # square image of or not equal to 1.476 +operator.\u22E5.infix = lspace:5 rspace:5 # square original of or not equal to 1.477 +operator.\u22E6.infix = lspace:5 rspace:5 # less-than but not equivalent to 1.478 +operator.\u22E7.infix = lspace:5 rspace:5 # greater-than but not equivalent to 1.479 +operator.\u22E8.infix = lspace:5 rspace:5 # precedes but not equivalent to 1.480 +operator.\u22E9.infix = lspace:5 rspace:5 # succeeds but not equivalent to 1.481 +operator.\u22EA.infix = lspace:5 rspace:5 # ⋪ 1.482 +operator.\u22EB.infix = lspace:5 rspace:5 # ⋫ 1.483 +operator.\u22EC.infix = lspace:5 rspace:5 # ⋬ 1.484 +operator.\u22ED.infix = lspace:5 rspace:5 # ⋭ 1.485 +operator.\u22EE.infix = lspace:5 rspace:5 # vertical ellipsis 1.486 +operator.\u22EF.infix = lspace:0 rspace:0 # midline horizontal ellipsis 1.487 +operator.\u22F0.infix = lspace:5 rspace:5 # up right diagonal ellipsis 1.488 +operator.\u22F1.infix = lspace:5 rspace:5 # down right diagonal ellipsis 1.489 +operator.\u22F2.infix = lspace:5 rspace:5 # element of with long horizontal stroke 1.490 +operator.\u22F3.infix = lspace:5 rspace:5 # element of with vertical bar at end of horizontal stroke 1.491 +operator.\u22F4.infix = lspace:5 rspace:5 # small element of with vertical bar at end of horizontal stroke 1.492 +operator.\u22F5.infix = lspace:5 rspace:5 # element of with dot above 1.493 +operator.\u22F6.infix = lspace:5 rspace:5 # element of with overbar 1.494 +operator.\u22F7.infix = lspace:5 rspace:5 # small element of with overbar 1.495 +operator.\u22F8.infix = lspace:5 rspace:5 # element of with underbar 1.496 +operator.\u22F9.infix = lspace:5 rspace:5 # element of with two horizontal strokes 1.497 +operator.\u22FA.infix = lspace:5 rspace:5 # contains with long horizontal stroke 1.498 +operator.\u22FB.infix = lspace:5 rspace:5 # contains with vertical bar at end of horizontal stroke 1.499 +operator.\u22FC.infix = lspace:5 rspace:5 # small contains with vertical bar at end of horizontal stroke 1.500 +operator.\u22FD.infix = lspace:5 rspace:5 # contains with overbar 1.501 +operator.\u22FE.infix = lspace:5 rspace:5 # small contains with overbar 1.502 +operator.\u22FF.infix = lspace:5 rspace:5 # z notation bag membership 1.503 +operator.\u2308.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # ⌈ 1.504 +operator.\u2309.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # ⌉ 1.505 +operator.\u230A.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # ⌊ 1.506 +operator.\u230B.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # ⌋ 1.507 +operator.\u23B4.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⎴ 1.508 +operator.\u23B5.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⎵ 1.509 +operator.\u23DC.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏜ (Unicode) 1.510 +operator.\u23DD.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏝ (Unicode) 1.511 +operator.\u23DE.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏞ (Unicode) 1.512 +operator.\u23DF.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏟ (Unicode) 1.513 +operator.\u23E0.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # top tortoise shell bracket 1.514 +operator.\u23E1.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # bottom tortoise shell bracket 1.515 +operator.\u25A0.infix = lspace:3 rspace:3 # black square 1.516 +operator.\u25A1.infix = lspace:3 rspace:3 # white square 1.517 +operator.\u25AA.infix = lspace:3 rspace:3 # black small square 1.518 +operator.\u25AB.infix = lspace:3 rspace:3 # white small square 1.519 +operator.\u25AD.infix = lspace:3 rspace:3 # white rectangle 1.520 +operator.\u25AE.infix = lspace:3 rspace:3 # black vertical rectangle 1.521 +operator.\u25AF.infix = lspace:3 rspace:3 # white vertical rectangle 1.522 +operator.\u25B0.infix = lspace:3 rspace:3 # black parallelogram 1.523 +operator.\u25B1.infix = lspace:3 rspace:3 # white parallelogram 1.524 +operator.\u25B2.infix = lspace:4 rspace:4 # black up-pointing triangle 1.525 +operator.\u25B3.infix = lspace:4 rspace:4 # white up-pointing triangle 1.526 +operator.\u25B4.infix = lspace:4 rspace:4 # black up-pointing small triangle 1.527 +operator.\u25B5.infix = lspace:4 rspace:4 # white up-pointing small triangle 1.528 +operator.\u25B6.infix = lspace:4 rspace:4 # black right-pointing triangle 1.529 +operator.\u25B7.infix = lspace:4 rspace:4 # white right-pointing triangle 1.530 +operator.\u25B8.infix = lspace:4 rspace:4 # black right-pointing small triangle 1.531 +operator.\u25B9.infix = lspace:4 rspace:4 # white right-pointing small triangle 1.532 +operator.\u25BC.infix = lspace:4 rspace:4 # black down-pointing triangle 1.533 +operator.\u25BD.infix = lspace:4 rspace:4 # white down-pointing triangle 1.534 +operator.\u25BE.infix = lspace:4 rspace:4 # black down-pointing small triangle 1.535 +operator.\u25BF.infix = lspace:4 rspace:4 # white down-pointing small triangle 1.536 +operator.\u25C0.infix = lspace:4 rspace:4 # black left-pointing triangle 1.537 +operator.\u25C1.infix = lspace:4 rspace:4 # white left-pointing triangle 1.538 +operator.\u25C2.infix = lspace:4 rspace:4 # black left-pointing small triangle 1.539 +operator.\u25C3.infix = lspace:4 rspace:4 # white left-pointing small triangle 1.540 +operator.\u25C4.infix = lspace:4 rspace:4 # black left-pointing pointer 1.541 +operator.\u25C5.infix = lspace:4 rspace:4 # white left-pointing pointer 1.542 +operator.\u25C6.infix = lspace:4 rspace:4 # black diamond 1.543 +operator.\u25C7.infix = lspace:4 rspace:4 # white diamond 1.544 +operator.\u25C8.infix = lspace:4 rspace:4 # white diamond containing black small diamond 1.545 +operator.\u25C9.infix = lspace:4 rspace:4 # fisheye 1.546 +operator.\u25CC.infix = lspace:4 rspace:4 # dotted circle 1.547 +operator.\u25CD.infix = lspace:4 rspace:4 # circle with vertical fill 1.548 +operator.\u25CE.infix = lspace:4 rspace:4 # bullseye 1.549 +operator.\u25CF.infix = lspace:4 rspace:4 # black circle 1.550 +operator.\u25D6.infix = lspace:4 rspace:4 # left half black circle 1.551 +operator.\u25D7.infix = lspace:4 rspace:4 # right half black circle 1.552 +operator.\u25E6.infix = lspace:4 rspace:4 # white bullet 1.553 +operator.\u266D.postfix = lspace:0 rspace:2 # music flat sign 1.554 +operator.\u266E.postfix = lspace:0 rspace:2 # music natural sign 1.555 +operator.\u266F.postfix = lspace:0 rspace:2 # music sharp sign 1.556 +operator.\u2758.infix = lspace:5 rspace:5 direction:vertical # light vertical bar 1.557 +operator.\u2772.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # light left tortoise shell bracket ornament 1.558 +operator.\u2773.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # light right tortoise shell bracket ornament 1.559 +operator.\u27E6.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # ⟦ 1.560 +operator.\u27E7.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # ⟧ 1.561 +operator.\u27E8.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # ⟨ 1.562 +operator.\u27E9.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # ⟩ 1.563 +operator.\u27EA.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # mathematical left double angle bracket 1.564 +operator.\u27EB.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # mathematical right double angle bracket 1.565 +operator.\u27EC.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # mathematical left white tortoise shell bracket 1.566 +operator.\u27ED.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # mathematical right white tortoise shell bracket 1.567 +operator.\u27EE.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # mathematical left flattened parenthesis 1.568 +operator.\u27EF.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # mathematical right flattened parenthesis 1.569 +operator.\u27F0.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards quadruple arrow 1.570 +operator.\u27F1.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards quadruple arrow 1.571 +operator.\u27F5.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟵ 1.572 +operator.\u27F6.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟶ 1.573 +operator.\u27F7.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟷ 1.574 +operator.\u27F8.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟸ 1.575 +operator.\u27F9.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟹ 1.576 +operator.\u27FA.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⟺ 1.577 +operator.\u27FB.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long leftwards arrow from bar 1.578 +operator.\u27FC.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long rightwards arrow from bar 1.579 +operator.\u27FD.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long leftwards double arrow from bar 1.580 +operator.\u27FE.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long rightwards double arrow from bar 1.581 +operator.\u27FF.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # long rightwards squiggle arrow 1.582 +operator.\u2900.infix = lspace:5 rspace:5 accent # rightwards two-headed arrow with vertical stroke 1.583 +operator.\u2901.infix = lspace:5 rspace:5 accent # rightwards two-headed arrow with double vertical stroke 1.584 +operator.\u2902.infix = lspace:5 rspace:5 accent # leftwards double arrow with vertical stroke 1.585 +operator.\u2903.infix = lspace:5 rspace:5 accent # rightwards double arrow with vertical stroke 1.586 +operator.\u2904.infix = lspace:5 rspace:5 accent # left right double arrow with vertical stroke 1.587 +operator.\u2905.infix = lspace:5 rspace:5 accent # rightwards two-headed arrow from bar 1.588 +operator.\u2906.infix = lspace:5 rspace:5 accent # leftwards double arrow from bar 1.589 +operator.\u2907.infix = lspace:5 rspace:5 accent # rightwards double arrow from bar 1.590 +operator.\u2908.infix = lspace:5 rspace:5 # downwards arrow with horizontal stroke 1.591 +operator.\u2909.infix = lspace:5 rspace:5 # upwards arrow with horizontal stroke 1.592 +operator.\u290A.infix = lspace:5 rspace:5 stretchy direction:vertical # upwards triple arrow 1.593 +operator.\u290B.infix = lspace:5 rspace:5 stretchy direction:vertical # downwards triple arrow 1.594 +operator.\u290C.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards double dash arrow 1.595 +operator.\u290D.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards double dash arrow 1.596 +operator.\u290E.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # leftwards triple dash arrow 1.597 +operator.\u290F.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards triple dash arrow 1.598 +operator.\u2910.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # rightwards two-headed triple dash arrow 1.599 +operator.\u2911.infix = lspace:5 rspace:5 accent # rightwards arrow with dotted stem 1.600 +operator.\u2912.infix = lspace:5 rspace:5 stretchy direction:vertical # ⤒ 1.601 +operator.\u2913.infix = lspace:5 rspace:5 stretchy direction:vertical # ⤓ 1.602 +operator.\u2914.infix = lspace:5 rspace:5 accent # rightwards arrow with tail with vertical stroke 1.603 +operator.\u2915.infix = lspace:5 rspace:5 accent # rightwards arrow with tail with double vertical stroke 1.604 +operator.\u2916.infix = lspace:5 rspace:5 accent # rightwards two-headed arrow with tail 1.605 +operator.\u2917.infix = lspace:5 rspace:5 accent # rightwards two-headed arrow with tail with vertical stroke 1.606 +operator.\u2918.infix = lspace:5 rspace:5 accent # rightwards two-headed arrow with tail with double vertical stroke 1.607 +operator.\u2919.infix = lspace:5 rspace:5 accent # leftwards arrow-tail 1.608 +operator.\u291A.infix = lspace:5 rspace:5 accent # rightwards arrow-tail 1.609 +operator.\u291B.infix = lspace:5 rspace:5 accent # leftwards double arrow-tail 1.610 +operator.\u291C.infix = lspace:5 rspace:5 accent # rightwards double arrow-tail 1.611 +operator.\u291D.infix = lspace:5 rspace:5 accent # leftwards arrow to black diamond 1.612 +operator.\u291E.infix = lspace:5 rspace:5 accent # rightwards arrow to black diamond 1.613 +operator.\u291F.infix = lspace:5 rspace:5 accent # leftwards arrow from bar to black diamond 1.614 +operator.\u2920.infix = lspace:5 rspace:5 accent # rightwards arrow from bar to black diamond 1.615 +operator.\u2923.infix = lspace:5 rspace:5 # north west arrow with hook 1.616 +operator.\u2924.infix = lspace:5 rspace:5 # north east arrow with hook 1.617 +operator.\u2925.infix = lspace:5 rspace:5 # south east arrow with hook 1.618 +operator.\u2926.infix = lspace:5 rspace:5 # south west arrow with hook 1.619 +operator.\u2927.infix = lspace:5 rspace:5 # north west arrow and north east arrow 1.620 +operator.\u2928.infix = lspace:5 rspace:5 # north east arrow and south east arrow 1.621 +operator.\u2929.infix = lspace:5 rspace:5 # south east arrow and south west arrow 1.622 +operator.\u292A.infix = lspace:5 rspace:5 # south west arrow and north west arrow 1.623 +operator.\u292B.infix = lspace:5 rspace:5 # rising diagonal crossing falling diagonal 1.624 +operator.\u292C.infix = lspace:5 rspace:5 # falling diagonal crossing rising diagonal 1.625 +operator.\u292D.infix = lspace:5 rspace:5 # south east arrow crossing north east arrow 1.626 +operator.\u292E.infix = lspace:5 rspace:5 # north east arrow crossing south east arrow 1.627 +operator.\u292F.infix = lspace:5 rspace:5 # falling diagonal crossing north east arrow 1.628 +operator.\u2930.infix = lspace:5 rspace:5 # rising diagonal crossing south east arrow 1.629 +operator.\u2931.infix = lspace:5 rspace:5 # north east arrow crossing north west arrow 1.630 +operator.\u2932.infix = lspace:5 rspace:5 # north west arrow crossing north east arrow 1.631 +operator.\u2933.infix = lspace:5 rspace:5 accent # wave arrow pointing directly right 1.632 +operator.\u2934.infix = lspace:5 rspace:5 # arrow pointing rightwards then curving upwards 1.633 +operator.\u2935.infix = lspace:5 rspace:5 # arrow pointing rightwards then curving downwards 1.634 +operator.\u2936.infix = lspace:5 rspace:5 # arrow pointing downwards then curving leftwards 1.635 +operator.\u2937.infix = lspace:5 rspace:5 # arrow pointing downwards then curving rightwards 1.636 +operator.\u2938.infix = lspace:5 rspace:5 # right-side arc clockwise arrow 1.637 +operator.\u2939.infix = lspace:5 rspace:5 # left-side arc anticlockwise arrow 1.638 +operator.\u293A.infix = lspace:5 rspace:5 accent # top arc anticlockwise arrow 1.639 +operator.\u293B.infix = lspace:5 rspace:5 accent # bottom arc anticlockwise arrow 1.640 +operator.\u293C.infix = lspace:5 rspace:5 accent # top arc clockwise arrow with minus 1.641 +operator.\u293D.infix = lspace:5 rspace:5 accent # top arc anticlockwise arrow with plus 1.642 +operator.\u293E.infix = lspace:5 rspace:5 # lower right semicircular clockwise arrow 1.643 +operator.\u293F.infix = lspace:5 rspace:5 # lower left semicircular anticlockwise arrow 1.644 +operator.\u2940.infix = lspace:5 rspace:5 # anticlockwise closed circle arrow 1.645 +operator.\u2941.infix = lspace:5 rspace:5 # clockwise closed circle arrow 1.646 +operator.\u2942.infix = lspace:5 rspace:5 accent # rightwards arrow above short leftwards arrow 1.647 +operator.\u2943.infix = lspace:5 rspace:5 accent # leftwards arrow above short rightwards arrow 1.648 +operator.\u2944.infix = lspace:5 rspace:5 accent # short rightwards arrow above leftwards arrow 1.649 +operator.\u2945.infix = lspace:5 rspace:5 accent # rightwards arrow with plus below 1.650 +operator.\u2946.infix = lspace:5 rspace:5 accent # leftwards arrow with plus below 1.651 +operator.\u2947.infix = lspace:5 rspace:5 accent # rightwards arrow through x 1.652 +operator.\u2948.infix = lspace:5 rspace:5 accent # left right arrow through small circle 1.653 +operator.\u2949.infix = lspace:5 rspace:5 # upwards two-headed arrow from small circle 1.654 +operator.\u294A.infix = lspace:5 rspace:5 accent # left barb up right barb down harpoon 1.655 +operator.\u294B.infix = lspace:5 rspace:5 accent # left barb down right barb up harpoon 1.656 +operator.\u294C.infix = lspace:5 rspace:5 # up barb right down barb left harpoon 1.657 +operator.\u294D.infix = lspace:5 rspace:5 # up barb left down barb right harpoon 1.658 +operator.\u294E.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥎ 1.659 +operator.\u294F.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥏ 1.660 +operator.\u2950.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥐ 1.661 +operator.\u2951.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥑ 1.662 +operator.\u2952.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥒ 1.663 +operator.\u2953.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥓ 1.664 +operator.\u2954.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥔ 1.665 +operator.\u2955.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥕ 1.666 +operator.\u2956.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⥖ 1.667 +operator.\u2957.infix = lspace:5 rspace:5 stretchy direction:horizontal # ⥗ 1.668 +operator.\u2958.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥘ 1.669 +operator.\u2959.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥙ 1.670 +operator.\u295A.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥚ 1.671 +operator.\u295B.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥛ 1.672 +operator.\u295C.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥜ 1.673 +operator.\u295D.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥝ 1.674 +operator.\u295E.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥞ 1.675 +operator.\u295F.infix = lspace:5 rspace:5 stretchy accent direction:horizontal # ⥟ 1.676 +operator.\u2960.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥠ 1.677 +operator.\u2961.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥡ 1.678 +operator.\u2962.infix = lspace:5 rspace:5 accent # leftwards harpoon with barb up above leftwards harpoon with barb down 1.679 +operator.\u2963.infix = lspace:5 rspace:5 # upwards harpoon with barb left beside upwards harpoon with barb right 1.680 +operator.\u2964.infix = lspace:5 rspace:5 accent # rightwards harpoon with barb up above rightwards harpoon with barb down 1.681 +operator.\u2965.infix = lspace:5 rspace:5 # downwards harpoon with barb left beside downwards harpoon with barb right 1.682 +operator.\u2966.infix = lspace:5 rspace:5 accent # leftwards harpoon with barb up above rightwards harpoon with barb up 1.683 +operator.\u2967.infix = lspace:5 rspace:5 accent # leftwards harpoon with barb down above rightwards harpoon with barb down 1.684 +operator.\u2968.infix = lspace:5 rspace:5 accent # rightwards harpoon with barb up above leftwards harpoon with barb up 1.685 +operator.\u2969.infix = lspace:5 rspace:5 accent # rightwards harpoon with barb down above leftwards harpoon with barb down 1.686 +operator.\u296A.infix = lspace:5 rspace:5 accent # leftwards harpoon with barb up above long dash 1.687 +operator.\u296B.infix = lspace:5 rspace:5 accent # leftwards harpoon with barb down below long dash 1.688 +operator.\u296C.infix = lspace:5 rspace:5 accent # rightwards harpoon with barb up above long dash 1.689 +operator.\u296D.infix = lspace:5 rspace:5 accent # rightwards harpoon with barb down below long dash 1.690 +operator.\u296E.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥮ 1.691 +operator.\u296F.infix = lspace:5 rspace:5 stretchy direction:vertical # ⥯ 1.692 +operator.\u2970.infix = lspace:5 rspace:5 accent # ⥰ 1.693 +operator.\u2971.infix = lspace:5 rspace:5 accent # equals sign above rightwards arrow 1.694 +operator.\u2972.infix = lspace:5 rspace:5 accent # tilde operator above rightwards arrow 1.695 +operator.\u2973.infix = lspace:5 rspace:5 accent # leftwards arrow above tilde operator 1.696 +operator.\u2974.infix = lspace:5 rspace:5 accent # rightwards arrow above tilde operator 1.697 +operator.\u2975.infix = lspace:5 rspace:5 accent # rightwards arrow above almost equal to 1.698 +operator.\u2976.infix = lspace:5 rspace:5 accent # less-than above leftwards arrow 1.699 +operator.\u2977.infix = lspace:5 rspace:5 accent # leftwards arrow through less-than 1.700 +operator.\u2978.infix = lspace:5 rspace:5 accent # greater-than above rightwards arrow 1.701 +operator.\u2979.infix = lspace:5 rspace:5 accent # subset above rightwards arrow 1.702 +operator.\u297A.infix = lspace:5 rspace:5 accent # leftwards arrow through subset 1.703 +operator.\u297B.infix = lspace:5 rspace:5 accent # superset above leftwards arrow 1.704 +operator.\u297C.infix = lspace:5 rspace:5 accent # left fish tail 1.705 +operator.\u297D.infix = lspace:5 rspace:5 accent # right fish tail 1.706 +operator.\u297E.infix = lspace:5 rspace:5 # up fish tail 1.707 +operator.\u297F.infix = lspace:5 rspace:5 # down fish tail 1.708 +operator.\u2980.prefix = lspace:0 rspace:0 stretchy fence direction:vertical # triple direction:vertical bar delimiter 1.709 +operator.\u2980.postfix = lspace:0 rspace:0 stretchy fence direction:vertical # triple direction:vertical bar delimiter 1.710 +operator.\u2981.infix = lspace:3 rspace:3 # z notation spot 1.711 +operator.\u2982.infix = lspace:3 rspace:3 # z notation type colon 1.712 +operator.\u2983.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # left white curly bracket 1.713 +operator.\u2984.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # right white curly bracket 1.714 +operator.\u2985.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # left white parenthesis 1.715 +operator.\u2986.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # right white parenthesis 1.716 +operator.\u2987.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # z notation left image bracket 1.717 +operator.\u2988.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # z notation right image bracket 1.718 +operator.\u2989.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # z notation left binding bracket 1.719 +operator.\u298A.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # z notation right binding bracket 1.720 +operator.\u298B.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # left square bracket with underbar 1.721 +operator.\u298C.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # right square bracket with underbar 1.722 +operator.\u298D.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # left square bracket with tick in top corner 1.723 +operator.\u298E.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # right square bracket with tick in bottom corner 1.724 +operator.\u298F.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # left square bracket with tick in bottom corner 1.725 +operator.\u2990.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # right square bracket with tick in top corner 1.726 +operator.\u2991.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # left angle bracket with dot 1.727 +operator.\u2992.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # right angle bracket with dot 1.728 +operator.\u2993.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # left arc less-than bracket 1.729 +operator.\u2994.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # right arc greater-than bracket 1.730 +operator.\u2995.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # double left arc greater-than bracket 1.731 +operator.\u2996.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # double right arc less-than bracket 1.732 +operator.\u2997.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # left black tortoise shell bracket 1.733 +operator.\u2998.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # right black tortoise shell bracket 1.734 +operator.\u2999.infix = lspace:3 rspace:3 # dotted fence 1.735 +operator.\u299A.infix = lspace:3 rspace:3 # vertical zigzag line 1.736 +operator.\u299B.infix = lspace:3 rspace:3 # measured angle opening left 1.737 +operator.\u299C.infix = lspace:3 rspace:3 # right angle variant with square 1.738 +operator.\u299D.infix = lspace:3 rspace:3 # measured right angle with dot 1.739 +operator.\u299E.infix = lspace:3 rspace:3 # angle with s inside 1.740 +operator.\u299F.infix = lspace:3 rspace:3 # acute angle 1.741 +operator.\u29A0.infix = lspace:3 rspace:3 # spherical angle opening left 1.742 +operator.\u29A1.infix = lspace:3 rspace:3 # spherical angle opening up 1.743 +operator.\u29A2.infix = lspace:3 rspace:3 # turned angle 1.744 +operator.\u29A3.infix = lspace:3 rspace:3 # reversed angle 1.745 +operator.\u29A4.infix = lspace:3 rspace:3 # angle with underbar 1.746 +operator.\u29A5.infix = lspace:3 rspace:3 # reversed angle with underbar 1.747 +operator.\u29A6.infix = lspace:3 rspace:3 # oblique angle opening up 1.748 +operator.\u29A7.infix = lspace:3 rspace:3 # oblique angle opening down 1.749 +operator.\u29A8.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing up and right 1.750 +operator.\u29A9.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing up and left 1.751 +operator.\u29AA.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing down and right 1.752 +operator.\u29AB.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing down and left 1.753 +operator.\u29AC.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing right and up 1.754 +operator.\u29AD.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing left and up 1.755 +operator.\u29AE.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing right and down 1.756 +operator.\u29AF.infix = lspace:3 rspace:3 # measured angle with open arm ending in arrow pointing left and down 1.757 +operator.\u29B0.infix = lspace:3 rspace:3 # reversed empty set 1.758 +operator.\u29B1.infix = lspace:3 rspace:3 # empty set with overbar 1.759 +operator.\u29B2.infix = lspace:3 rspace:3 # empty set with small circle above 1.760 +operator.\u29B3.infix = lspace:3 rspace:3 # empty set with right arrow above 1.761 +operator.\u29B4.infix = lspace:3 rspace:3 # empty set with left arrow above 1.762 +operator.\u29B5.infix = lspace:3 rspace:3 # circle with horizontal bar 1.763 +operator.\u29B6.infix = lspace:4 rspace:4 # circled vertical bar 1.764 +operator.\u29B7.infix = lspace:4 rspace:4 # circled parallel 1.765 +operator.\u29B8.infix = lspace:4 rspace:4 # circled reverse solidus 1.766 +operator.\u29B9.infix = lspace:4 rspace:4 # circled perpendicular 1.767 +operator.\u29BA.infix = lspace:4 rspace:4 # circle divided by horizontal bar and top half divided by vertical bar 1.768 +operator.\u29BB.infix = lspace:4 rspace:4 # circle with superimposed x 1.769 +operator.\u29BC.infix = lspace:4 rspace:4 # circled anticlockwise-rotated division sign 1.770 +operator.\u29BD.infix = lspace:4 rspace:4 # up arrow through circle 1.771 +operator.\u29BE.infix = lspace:4 rspace:4 # circled white bullet 1.772 +operator.\u29BF.infix = lspace:4 rspace:4 # circled bullet 1.773 +operator.\u29C0.infix = lspace:5 rspace:5 # circled less-than 1.774 +operator.\u29C1.infix = lspace:5 rspace:5 # circled greater-than 1.775 +operator.\u29C2.infix = lspace:3 rspace:3 # circle with small circle to the right 1.776 +operator.\u29C3.infix = lspace:3 rspace:3 # circle with two horizontal strokes to the right 1.777 +operator.\u29C4.infix = lspace:4 rspace:4 # squared rising diagonal slash 1.778 +operator.\u29C5.infix = lspace:4 rspace:4 # squared falling diagonal slash 1.779 +operator.\u29C6.infix = lspace:4 rspace:4 # squared asterisk 1.780 +operator.\u29C7.infix = lspace:4 rspace:4 # squared small circle 1.781 +operator.\u29C8.infix = lspace:4 rspace:4 # squared square 1.782 +operator.\u29C9.infix = lspace:3 rspace:3 # two joined squares 1.783 +operator.\u29CA.infix = lspace:3 rspace:3 # triangle with dot above 1.784 +operator.\u29CB.infix = lspace:3 rspace:3 # triangle with underbar 1.785 +operator.\u29CC.infix = lspace:3 rspace:3 # s in triangle 1.786 +operator.\u29CD.infix = lspace:3 rspace:3 # triangle with serifs at bottom 1.787 +operator.\u29CE.infix = lspace:5 rspace:5 # right triangle above left triangle 1.788 +operator.\u29CF.infix = lspace:5 rspace:5 # ⧏ 1.789 +operator.\u29CF\u0338.infix = lspace:5 rspace:5 # ⧏̸ 1.790 +operator.\u29D0.infix = lspace:5 rspace:5 # ⧐ 1.791 +operator.\u29D0\u0338.infix = lspace:5 rspace:5 # ⧐̸ 1.792 +operator.\u29D1.infix = lspace:5 rspace:5 # bowtie with left half black 1.793 +operator.\u29D2.infix = lspace:5 rspace:5 # bowtie with right half black 1.794 +operator.\u29D3.infix = lspace:5 rspace:5 # black bowtie 1.795 +operator.\u29D4.infix = lspace:5 rspace:5 # times with left half black 1.796 +operator.\u29D5.infix = lspace:5 rspace:5 # times with right half black 1.797 +operator.\u29D6.infix = lspace:4 rspace:4 # white hourglass 1.798 +operator.\u29D7.infix = lspace:4 rspace:4 # black hourglass 1.799 +operator.\u29D8.infix = lspace:3 rspace:3 # left wiggly fence 1.800 +operator.\u29D9.infix = lspace:3 rspace:3 # right wiggly fence 1.801 +operator.\u29DB.infix = lspace:3 rspace:3 # right double wiggly fence 1.802 +operator.\u29DC.infix = lspace:3 rspace:3 # incomplete infinity 1.803 +operator.\u29DD.infix = lspace:3 rspace:3 # tie over infinity 1.804 +operator.\u29DE.infix = lspace:5 rspace:5 # infinity negated with vertical bar 1.805 +operator.\u29DF.infix = lspace:3 rspace:3 # double-ended multimap 1.806 +operator.\u29E0.infix = lspace:3 rspace:3 # square with contoured outline 1.807 +operator.\u29E1.infix = lspace:5 rspace:5 # increases as 1.808 +operator.\u29E2.infix = lspace:4 rspace:4 # shuffle product 1.809 +operator.\u29E3.infix = lspace:5 rspace:5 # equals sign and slanted parallel 1.810 +operator.\u29E4.infix = lspace:5 rspace:5 # equals sign and slanted parallel with tilde above 1.811 +operator.\u29E5.infix = lspace:5 rspace:5 # identical to and slanted parallel 1.812 +operator.\u29E6.infix = lspace:5 rspace:5 # gleich stark 1.813 +operator.\u29E7.infix = lspace:3 rspace:3 # thermodynamic 1.814 +operator.\u29E8.infix = lspace:3 rspace:3 # down-pointing triangle with left half black 1.815 +operator.\u29E9.infix = lspace:3 rspace:3 # down-pointing triangle with right half black 1.816 +operator.\u29EA.infix = lspace:3 rspace:3 # black diamond with down arrow 1.817 +operator.\u29EB.infix = lspace:3 rspace:3 # black lozenge 1.818 +operator.\u29EC.infix = lspace:3 rspace:3 # white circle with down arrow 1.819 +operator.\u29ED.infix = lspace:3 rspace:3 # black circle with down arrow 1.820 +operator.\u29EE.infix = lspace:3 rspace:3 # error-barred white square 1.821 +operator.\u29EF.infix = lspace:3 rspace:3 # error-barred black square 1.822 +operator.\u29F0.infix = lspace:3 rspace:3 # error-barred white diamond 1.823 +operator.\u29F1.infix = lspace:3 rspace:3 # error-barred black diamond 1.824 +operator.\u29F2.infix = lspace:3 rspace:3 # error-barred white circle 1.825 +operator.\u29F3.infix = lspace:3 rspace:3 # error-barred black circle 1.826 +operator.\u29F4.infix = lspace:5 rspace:5 # rule-delayed 1.827 +operator.\u29F5.infix = lspace:4 rspace:4 # reverse solidus operator 1.828 +operator.\u29F6.infix = lspace:4 rspace:4 # solidus with overbar 1.829 +operator.\u29F7.infix = lspace:4 rspace:4 # reverse solidus with horizontal stroke 1.830 +operator.\u29F8.infix = lspace:3 rspace:3 # big solidus 1.831 +operator.\u29F9.infix = lspace:3 rspace:3 # big reverse solidus 1.832 +operator.\u29FA.infix = lspace:3 rspace:3 # double plus 1.833 +operator.\u29FB.infix = lspace:3 rspace:3 # triple plus 1.834 +operator.\u29FC.prefix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # left-pointing curved angle bracket 1.835 +operator.\u29FD.postfix = lspace:0 rspace:0 stretchy fence symmetric mirrorable direction:vertical # right-pointing curved angle bracket 1.836 +operator.\u29FE.infix = lspace:4 rspace:4 # tiny 1.837 +operator.\u29FF.infix = lspace:4 rspace:4 # miny 1.838 +operator.\u2A00.prefix = lspace:1 rspace:2 largeop movablelimits symmetric # ⨀ 1.839 +operator.\u2A01.prefix = lspace:1 rspace:2 largeop movablelimits symmetric # ⨁ 1.840 +operator.\u2A02.prefix = lspace:1 rspace:2 largeop movablelimits symmetric # ⨂ 1.841 +operator.\u2A03.prefix = lspace:1 rspace:2 largeop movablelimits symmetric # n-ary union operator with dot 1.842 +operator.\u2A04.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical # ⨄ 1.843 +operator.\u2A05.prefix = lspace:1 rspace:2 largeop movablelimits symmetric # n-ary square intersection operator 1.844 +operator.\u2A06.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical # ⨆ 1.845 +operator.\u2A07.prefix = lspace:1 rspace:2 largeop movablelimits symmetric # two logical and operator 1.846 +operator.\u2A08.prefix = lspace:1 rspace:2 largeop movablelimits symmetric # two logical or operator 1.847 +operator.\u2A09.prefix = lspace:1 rspace:2 largeop movablelimits symmetric # n-ary times operator 1.848 +operator.\u2A0A.prefix = lspace:1 rspace:2 largeop movablelimits symmetric mirrorable # modulo two sum 1.849 +operator.\u2A0B.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # summation with integral 1.850 +operator.\u2A0C.prefix = lspace:0 rspace:1 largeop symmetric direction:vertical integral mirrorable # quadruple integral operator 1.851 +operator.\u2A0D.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # finite part integral 1.852 +operator.\u2A0E.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # integral with double stroke 1.853 +operator.\u2A0F.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # integral average with slash 1.854 +operator.\u2A10.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical integral mirrorable # circulation function 1.855 +operator.\u2A11.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical integral # anticlockwise integration 1.856 +operator.\u2A12.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical integral mirrorable # line integration with rectangular path around pole 1.857 +operator.\u2A13.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical integral mirrorable # line integration with semicircular path around pole 1.858 +operator.\u2A14.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical integral mirrorable # line integration not including the pole 1.859 +operator.\u2A15.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # integral around a point operator 1.860 +operator.\u2A16.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # quaternion integral operator 1.861 +operator.\u2A17.prefix = lspace:1 rspace:2 largeop symmetric integral mirrorable direction:vertical # integral with leftwards arrow with hook 1.862 +operator.\u2A18.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # integral with times sign 1.863 +operator.\u2A19.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # integral with intersection 1.864 +operator.\u2A1A.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # integral with union 1.865 +operator.\u2A1B.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # integral with overbar 1.866 +operator.\u2A1C.prefix = lspace:1 rspace:2 largeop symmetric direction:vertical integral mirrorable # integral with underbar 1.867 +operator.\u2A1D.infix = lspace:3 rspace:3 # join 1.868 +operator.\u2A1E.infix = lspace:3 rspace:3 # large left triangle operator 1.869 +operator.\u2A1F.infix = lspace:3 rspace:3 # z notation schema composition 1.870 +operator.\u2A20.infix = lspace:3 rspace:3 # z notation schema piping 1.871 +operator.\u2A21.infix = lspace:3 rspace:3 # z notation schema projection 1.872 +operator.\u2A22.infix = lspace:4 rspace:4 # plus sign with small circle above 1.873 +operator.\u2A23.infix = lspace:4 rspace:4 # plus sign with circumflex accent above 1.874 +operator.\u2A24.infix = lspace:4 rspace:4 # plus sign with tilde above 1.875 +operator.\u2A25.infix = lspace:4 rspace:4 # plus sign with dot below 1.876 +operator.\u2A26.infix = lspace:4 rspace:4 # plus sign with tilde below 1.877 +operator.\u2A27.infix = lspace:4 rspace:4 # plus sign with subscript two 1.878 +operator.\u2A28.infix = lspace:4 rspace:4 # plus sign with black triangle 1.879 +operator.\u2A29.infix = lspace:4 rspace:4 # minus sign with comma above 1.880 +operator.\u2A2A.infix = lspace:4 rspace:4 # minus sign with dot below 1.881 +operator.\u2A2B.infix = lspace:4 rspace:4 # minus sign with falling dots 1.882 +operator.\u2A2C.infix = lspace:4 rspace:4 # minus sign with rising dots 1.883 +operator.\u2A2D.infix = lspace:4 rspace:4 # plus sign in left half circle 1.884 +operator.\u2A2E.infix = lspace:4 rspace:4 # plus sign in right half circle 1.885 +operator.\u2A2F.infix = lspace:4 rspace:4 # ⨯ 1.886 +operator.\u2A30.infix = lspace:4 rspace:4 # multiplication sign with dot above 1.887 +operator.\u2A31.infix = lspace:4 rspace:4 # multiplication sign with underbar 1.888 +operator.\u2A32.infix = lspace:4 rspace:4 # semidirect product with bottom closed 1.889 +operator.\u2A33.infix = lspace:4 rspace:4 # smash product 1.890 +operator.\u2A34.infix = lspace:4 rspace:4 # multiplication sign in left half circle 1.891 +operator.\u2A35.infix = lspace:4 rspace:4 # multiplication sign in right half circle 1.892 +operator.\u2A36.infix = lspace:4 rspace:4 # circled multiplication sign with circumflex accent 1.893 +operator.\u2A37.infix = lspace:4 rspace:4 # multiplication sign in double circle 1.894 +operator.\u2A38.infix = lspace:4 rspace:4 # circled division sign 1.895 +operator.\u2A39.infix = lspace:4 rspace:4 # plus sign in triangle 1.896 +operator.\u2A3A.infix = lspace:4 rspace:4 # minus sign in triangle 1.897 +operator.\u2A3B.infix = lspace:4 rspace:4 # multiplication sign in triangle 1.898 +operator.\u2A3C.infix = lspace:4 rspace:4 # interior product 1.899 +operator.\u2A3D.infix = lspace:4 rspace:4 # righthand interior product 1.900 +operator.\u2A3E.infix = lspace:4 rspace:4 # z notation relational composition 1.901 +operator.\u2A3F.infix = lspace:4 rspace:4 # amalgamation or coproduct 1.902 +operator.\u2A40.infix = lspace:4 rspace:4 # intersection with dot 1.903 +operator.\u2A41.infix = lspace:4 rspace:4 # union with minus sign 1.904 +operator.\u2A42.infix = lspace:4 rspace:4 # union with overbar 1.905 +operator.\u2A43.infix = lspace:4 rspace:4 # intersection with overbar 1.906 +operator.\u2A44.infix = lspace:4 rspace:4 # intersection with logical and 1.907 +operator.\u2A45.infix = lspace:4 rspace:4 # union with logical or 1.908 +operator.\u2A46.infix = lspace:4 rspace:4 # union above intersection 1.909 +operator.\u2A47.infix = lspace:4 rspace:4 # intersection above union 1.910 +operator.\u2A48.infix = lspace:4 rspace:4 # union above bar above intersection 1.911 +operator.\u2A49.infix = lspace:4 rspace:4 # intersection above bar above union 1.912 +operator.\u2A4A.infix = lspace:4 rspace:4 # union beside and joined with union 1.913 +operator.\u2A4B.infix = lspace:4 rspace:4 # intersection beside and joined with intersection 1.914 +operator.\u2A4C.infix = lspace:4 rspace:4 # closed union with serifs 1.915 +operator.\u2A4D.infix = lspace:4 rspace:4 # closed intersection with serifs 1.916 +operator.\u2A4E.infix = lspace:4 rspace:4 # double square intersection 1.917 +operator.\u2A4F.infix = lspace:4 rspace:4 # double square union 1.918 +operator.\u2A50.infix = lspace:4 rspace:4 # closed union with serifs and smash product 1.919 +operator.\u2A51.infix = lspace:4 rspace:4 # logical and with dot above 1.920 +operator.\u2A52.infix = lspace:4 rspace:4 # logical or with dot above 1.921 +operator.\u2A53.infix = lspace:4 rspace:4 direction:vertical # ⩓ 1.922 +operator.\u2A54.infix = lspace:4 rspace:4 direction:vertical # ⩔ 1.923 +operator.\u2A55.infix = lspace:4 rspace:4 # two intersecting logical and 1.924 +operator.\u2A56.infix = lspace:4 rspace:4 # two intersecting logical or 1.925 +operator.\u2A57.infix = lspace:4 rspace:4 # sloping large or 1.926 +operator.\u2A58.infix = lspace:4 rspace:4 # sloping large and 1.927 +operator.\u2A59.infix = lspace:5 rspace:5 # logical or overlapping logical and 1.928 +operator.\u2A5A.infix = lspace:4 rspace:4 # logical and with middle stem 1.929 +operator.\u2A5B.infix = lspace:4 rspace:4 # logical or with middle stem 1.930 +operator.\u2A5C.infix = lspace:4 rspace:4 # logical and with horizontal dash 1.931 +operator.\u2A5D.infix = lspace:4 rspace:4 # logical or with horizontal dash 1.932 +operator.\u2A5E.infix = lspace:4 rspace:4 # logical and with double overbar 1.933 +operator.\u2A5F.infix = lspace:4 rspace:4 # logical and with underbar 1.934 +operator.\u2A60.infix = lspace:4 rspace:4 # logical and with double underbar 1.935 +operator.\u2A61.infix = lspace:4 rspace:4 # small vee with underbar 1.936 +operator.\u2A62.infix = lspace:4 rspace:4 # logical or with double overbar 1.937 +operator.\u2A63.infix = lspace:4 rspace:4 # logical or with double underbar 1.938 +operator.\u2A64.infix = lspace:4 rspace:4 # z notation domain antirestriction 1.939 +operator.\u2A65.infix = lspace:4 rspace:4 # z notation range antirestriction 1.940 +operator.\u2A66.infix = lspace:5 rspace:5 # equals sign with dot below 1.941 +operator.\u2A67.infix = lspace:5 rspace:5 # identical with dot above 1.942 +operator.\u2A68.infix = lspace:5 rspace:5 # triple horizontal bar with double vertical stroke 1.943 +operator.\u2A69.infix = lspace:5 rspace:5 # triple horizontal bar with triple vertical stroke 1.944 +operator.\u2A6A.infix = lspace:5 rspace:5 # tilde operator with dot above 1.945 +operator.\u2A6B.infix = lspace:5 rspace:5 # tilde operator with rising dots 1.946 +operator.\u2A6C.infix = lspace:5 rspace:5 # similar minus similar 1.947 +operator.\u2A6D.infix = lspace:5 rspace:5 # congruent with dot above 1.948 +operator.\u2A6E.infix = lspace:5 rspace:5 # equals with asterisk 1.949 +operator.\u2A6F.infix = lspace:5 rspace:5 # almost equal to with circumflex accent 1.950 +operator.\u2A70.infix = lspace:5 rspace:5 # approximately equal or equal to 1.951 +operator.\u2A71.infix = lspace:4 rspace:4 # equals sign above plus sign 1.952 +operator.\u2A72.infix = lspace:4 rspace:4 # plus sign above equals sign 1.953 +operator.\u2A73.infix = lspace:5 rspace:5 # equals sign above tilde operator 1.954 +operator.\u2A74.infix = lspace:5 rspace:5 # double colon equal 1.955 +operator.\u2A75.infix = lspace:5 rspace:5 # ⩵ 1.956 +operator.\u2A76.infix = lspace:5 rspace:5 # three consecutive equals signs 1.957 +operator.\u2A77.infix = lspace:5 rspace:5 # equals sign with two dots above and two dots below 1.958 +operator.\u2A78.infix = lspace:5 rspace:5 # equivalent with four dots above 1.959 +operator.\u2A79.infix = lspace:5 rspace:5 # less-than with circle inside 1.960 +operator.\u2A7A.infix = lspace:5 rspace:5 # greater-than with circle inside 1.961 +operator.\u2A7B.infix = lspace:5 rspace:5 # less-than with question mark above 1.962 +operator.\u2A7C.infix = lspace:5 rspace:5 # greater-than with question mark above 1.963 +operator.\u2A7D.infix = lspace:5 rspace:5 # ⩽ 1.964 +operator.\u2A7D\u0338.infix = lspace:5 rspace:5 # ⩽̸ 1.965 +operator.\u2A7E.infix = lspace:5 rspace:5 # ⩾ 1.966 +operator.\u2A7E\u0338.infix = lspace:5 rspace:5 # ⩾̸ 1.967 +operator.\u2A7F.infix = lspace:5 rspace:5 # less-than or slanted equal to with dot inside 1.968 +operator.\u2A80.infix = lspace:5 rspace:5 # greater-than or slanted equal to with dot inside 1.969 +operator.\u2A81.infix = lspace:5 rspace:5 # less-than or slanted equal to with dot above 1.970 +operator.\u2A82.infix = lspace:5 rspace:5 # greater-than or slanted equal to with dot above 1.971 +operator.\u2A83.infix = lspace:5 rspace:5 # less-than or slanted equal to with dot above right 1.972 +operator.\u2A84.infix = lspace:5 rspace:5 # greater-than or slanted equal to with dot above left 1.973 +operator.\u2A85.infix = lspace:5 rspace:5 # ⪅ 1.974 +operator.\u2A86.infix = lspace:5 rspace:5 # ⪆ 1.975 +operator.\u2A87.infix = lspace:5 rspace:5 # less-than and single-line not equal to 1.976 +operator.\u2A88.infix = lspace:5 rspace:5 # greater-than and single-line not equal to 1.977 +operator.\u2A89.infix = lspace:5 rspace:5 # less-than and not approximate 1.978 +operator.\u2A8A.infix = lspace:5 rspace:5 # greater-than and not approximate 1.979 +operator.\u2A8B.infix = lspace:5 rspace:5 # ⪋ 1.980 +operator.\u2A8C.infix = lspace:5 rspace:5 # ⪌ 1.981 +operator.\u2A8D.infix = lspace:5 rspace:5 # less-than above similar or equal 1.982 +operator.\u2A8E.infix = lspace:5 rspace:5 # greater-than above similar or equal 1.983 +operator.\u2A8F.infix = lspace:5 rspace:5 # less-than above similar above greater-than 1.984 +operator.\u2A90.infix = lspace:5 rspace:5 # greater-than above similar above less-than 1.985 +operator.\u2A91.infix = lspace:5 rspace:5 # less-than above greater-than above double-line equal 1.986 +operator.\u2A92.infix = lspace:5 rspace:5 # greater-than above less-than above double-line equal 1.987 +operator.\u2A93.infix = lspace:5 rspace:5 # less-than above slanted equal above greater-than above slanted equal 1.988 +operator.\u2A94.infix = lspace:5 rspace:5 # greater-than above slanted equal above less-than above slanted equal 1.989 +operator.\u2A95.infix = lspace:5 rspace:5 # slanted equal to or less-than 1.990 +operator.\u2A96.infix = lspace:5 rspace:5 # slanted equal to or greater-than 1.991 +operator.\u2A97.infix = lspace:5 rspace:5 # slanted equal to or less-than with dot inside 1.992 +operator.\u2A98.infix = lspace:5 rspace:5 # slanted equal to or greater-than with dot inside 1.993 +operator.\u2A99.infix = lspace:5 rspace:5 # double-line equal to or less-than 1.994 +operator.\u2A9A.infix = lspace:5 rspace:5 # double-line equal to or greater-than 1.995 +operator.\u2A9B.infix = lspace:5 rspace:5 # double-line slanted equal to or less-than 1.996 +operator.\u2A9C.infix = lspace:5 rspace:5 # double-line slanted equal to or greater-than 1.997 +operator.\u2A9D.infix = lspace:5 rspace:5 # similar or less-than 1.998 +operator.\u2A9E.infix = lspace:5 rspace:5 # similar or greater-than 1.999 +operator.\u2A9F.infix = lspace:5 rspace:5 # similar above less-than above equals sign 1.1000 +operator.\u2AA0.infix = lspace:5 rspace:5 # similar above greater-than above equals sign 1.1001 +operator.\u2AA1.infix = lspace:5 rspace:5 # ⪡ 1.1002 +operator.\u2AA1\u0338.infix = lspace:5 rspace:5 # ⪡̸ 1.1003 +operator.\u2AA2.infix = lspace:5 rspace:5 # ⪢ 1.1004 +operator.\u2AA2\u0338.infix = lspace:5 rspace:5 # ⪢̸ 1.1005 +operator.\u2AA3.infix = lspace:5 rspace:5 # double nested less-than with underbar 1.1006 +operator.\u2AA4.infix = lspace:5 rspace:5 # greater-than overlapping less-than 1.1007 +operator.\u2AA5.infix = lspace:5 rspace:5 # greater-than beside less-than 1.1008 +operator.\u2AA6.infix = lspace:5 rspace:5 # less-than closed by curve 1.1009 +operator.\u2AA7.infix = lspace:5 rspace:5 # greater-than closed by curve 1.1010 +operator.\u2AA8.infix = lspace:5 rspace:5 # less-than closed by curve above slanted equal 1.1011 +operator.\u2AA9.infix = lspace:5 rspace:5 # greater-than closed by curve above slanted equal 1.1012 +operator.\u2AAA.infix = lspace:5 rspace:5 # smaller than 1.1013 +operator.\u2AAB.infix = lspace:5 rspace:5 # larger than 1.1014 +operator.\u2AAC.infix = lspace:5 rspace:5 # smaller than or equal to 1.1015 +operator.\u2AAD.infix = lspace:5 rspace:5 # larger than or equal to 1.1016 +operator.\u2AAE.infix = lspace:5 rspace:5 # equals sign with bumpy above 1.1017 +operator.\u2AAF.infix = lspace:5 rspace:5 # ⪯ 1.1018 +operator.\u2AAF\u0338.infix = lspace:5 rspace:5 # ⪯̸ 1.1019 +operator.\u2AB0.infix = lspace:5 rspace:5 # ⪰ 1.1020 +operator.\u2AB0\u0338.infix = lspace:5 rspace:5 # ⪰̸ 1.1021 +operator.\u2AB1.infix = lspace:5 rspace:5 # precedes above single-line not equal to 1.1022 +operator.\u2AB2.infix = lspace:5 rspace:5 # succeeds above single-line not equal to 1.1023 +operator.\u2AB3.infix = lspace:5 rspace:5 # ⪳ 1.1024 +operator.\u2AB4.infix = lspace:5 rspace:5 # ⪴ 1.1025 +operator.\u2AB5.infix = lspace:5 rspace:5 # precedes above not equal to 1.1026 +operator.\u2AB6.infix = lspace:5 rspace:5 # succeeds above not equal to 1.1027 +operator.\u2AB7.infix = lspace:5 rspace:5 # ⪷ 1.1028 +operator.\u2AB8.infix = lspace:5 rspace:5 # ⪸ 1.1029 +operator.\u2AB9.infix = lspace:5 rspace:5 # precedes above not almost equal to 1.1030 +operator.\u2ABA.infix = lspace:5 rspace:5 # succeeds above not almost equal to 1.1031 +operator.\u2ABB.infix = lspace:5 rspace:5 # double precedes 1.1032 +operator.\u2ABC.infix = lspace:5 rspace:5 # double succeeds 1.1033 +operator.\u2ABD.infix = lspace:5 rspace:5 # subset with dot 1.1034 +operator.\u2ABE.infix = lspace:5 rspace:5 # superset with dot 1.1035 +operator.\u2ABF.infix = lspace:5 rspace:5 # subset with plus sign below 1.1036 +operator.\u2AC0.infix = lspace:5 rspace:5 # superset with plus sign below 1.1037 +operator.\u2AC1.infix = lspace:5 rspace:5 # subset with multiplication sign below 1.1038 +operator.\u2AC2.infix = lspace:5 rspace:5 # superset with multiplication sign below 1.1039 +operator.\u2AC3.infix = lspace:5 rspace:5 # subset of or equal to with dot above 1.1040 +operator.\u2AC4.infix = lspace:5 rspace:5 # superset of or equal to with dot above 1.1041 +operator.\u2AC5.infix = lspace:5 rspace:5 # ⫅ 1.1042 +operator.\u2AC6.infix = lspace:5 rspace:5 # ⫆ 1.1043 +operator.\u2AC7.infix = lspace:5 rspace:5 # subset of above tilde operator 1.1044 +operator.\u2AC8.infix = lspace:5 rspace:5 # superset of above tilde operator 1.1045 +operator.\u2AC9.infix = lspace:5 rspace:5 # subset of above almost equal to 1.1046 +operator.\u2ACA.infix = lspace:5 rspace:5 # superset of above almost equal to 1.1047 +operator.\u2ACB.infix = lspace:5 rspace:5 # subset of above not equal to 1.1048 +operator.\u2ACC.infix = lspace:5 rspace:5 # superset of above not equal to 1.1049 +operator.\u2ACD.infix = lspace:5 rspace:5 # square left open box operator 1.1050 +operator.\u2ACE.infix = lspace:5 rspace:5 # square right open box operator 1.1051 +operator.\u2ACF.infix = lspace:5 rspace:5 # closed subset 1.1052 +operator.\u2AD0.infix = lspace:5 rspace:5 # closed superset 1.1053 +operator.\u2AD1.infix = lspace:5 rspace:5 # closed subset or equal to 1.1054 +operator.\u2AD2.infix = lspace:5 rspace:5 # closed superset or equal to 1.1055 +operator.\u2AD3.infix = lspace:5 rspace:5 # subset above superset 1.1056 +operator.\u2AD4.infix = lspace:5 rspace:5 # superset above subset 1.1057 +operator.\u2AD5.infix = lspace:5 rspace:5 # subset above subset 1.1058 +operator.\u2AD6.infix = lspace:5 rspace:5 # superset above superset 1.1059 +operator.\u2AD7.infix = lspace:5 rspace:5 # superset beside subset 1.1060 +operator.\u2AD8.infix = lspace:5 rspace:5 # superset beside and joined by dash with subset 1.1061 +operator.\u2AD9.infix = lspace:5 rspace:5 # element of opening downwards 1.1062 +operator.\u2ADA.infix = lspace:5 rspace:5 # pitchfork with tee top 1.1063 +operator.\u2ADB.infix = lspace:5 rspace:5 # transversal intersection 1.1064 +operator.\u2ADC.infix = lspace:5 rspace:5 # forking 1.1065 +operator.\u2ADD.infix = lspace:5 rspace:5 # nonforking 1.1066 +operator.\u2ADD\u0338.infix = lspace:5 rspace:5 # nonforking with slash 1.1067 +operator.\u2ADE.infix = lspace:5 rspace:5 # short left tack 1.1068 +operator.\u2ADF.infix = lspace:5 rspace:5 # short down tack 1.1069 +operator.\u2AE0.infix = lspace:5 rspace:5 # short up tack 1.1070 +operator.\u2AE1.infix = lspace:5 rspace:5 # perpendicular with s 1.1071 +operator.\u2AE2.infix = lspace:5 rspace:5 # vertical bar triple right turnstile 1.1072 +operator.\u2AE3.infix = lspace:5 rspace:5 # double vertical bar left turnstile 1.1073 +operator.\u2AE4.infix = lspace:5 rspace:5 # ⫤ 1.1074 +operator.\u2AE5.infix = lspace:5 rspace:5 # double vertical bar double left turnstile 1.1075 +operator.\u2AE6.infix = lspace:5 rspace:5 # long dash from left member of double vertical 1.1076 +operator.\u2AE7.infix = lspace:5 rspace:5 # short down tack with overbar 1.1077 +operator.\u2AE8.infix = lspace:5 rspace:5 # short up tack with underbar 1.1078 +operator.\u2AE9.infix = lspace:5 rspace:5 # short up tack above short down tack 1.1079 +operator.\u2AEA.infix = lspace:5 rspace:5 # double down tack 1.1080 +operator.\u2AEB.infix = lspace:5 rspace:5 # double up tack 1.1081 +operator.\u2AEC.infix = lspace:5 rspace:5 # double stroke not sign 1.1082 +operator.\u2AED.infix = lspace:5 rspace:5 # reversed double stroke not sign 1.1083 +operator.\u2AEE.infix = lspace:5 rspace:5 # does not divide with reversed negation slash 1.1084 +operator.\u2AEF.infix = lspace:5 rspace:5 # vertical line with circle above 1.1085 +operator.\u2AF0.infix = lspace:5 rspace:5 # vertical line with circle below 1.1086 +operator.\u2AF1.infix = lspace:5 rspace:5 # down tack with circle below 1.1087 +operator.\u2AF2.infix = lspace:5 rspace:5 # parallel with horizontal stroke 1.1088 +operator.\u2AF3.infix = lspace:5 rspace:5 # parallel with tilde operator 1.1089 +operator.\u2AF4.infix = lspace:4 rspace:4 # triple vertical bar binary relation 1.1090 +operator.\u2AF5.infix = lspace:4 rspace:4 # triple vertical bar with horizontal stroke 1.1091 +operator.\u2AF6.infix = lspace:4 rspace:4 # triple colon operator 1.1092 +operator.\u2AF7.infix = lspace:5 rspace:5 # triple nested less-than 1.1093 +operator.\u2AF8.infix = lspace:5 rspace:5 # triple nested greater-than 1.1094 +operator.\u2AF9.infix = lspace:5 rspace:5 # double-line slanted less-than or equal to 1.1095 +operator.\u2AFA.infix = lspace:5 rspace:5 # double-line slanted greater-than or equal to 1.1096 +operator.\u2AFB.infix = lspace:4 rspace:4 # triple solidus binary relation 1.1097 +operator.\u2AFC.prefix = lspace:1 rspace:2 largeop movablelimits symmetric # large triple vertical bar operator 1.1098 +operator.\u2AFD.infix = lspace:4 rspace:4 # double solidus operator 1.1099 +operator.\u2AFE.infix = lspace:3 rspace:3 # white vertical bar 1.1100 +operator.\u2AFF.prefix = lspace:1 rspace:2 largeop movablelimits symmetric # n-ary white vertical bar 1.1101 +operator.\u2B45.infix = lspace:5 rspace:5 stretchy direction:horizontal # leftwards quadruple arrow 1.1102 +operator.\u2B46.infix = lspace:5 rspace:5 stretchy direction:horizontal # rightwards quadruple arrow 1.1103 + 1.1104 +# Entries below are not part of the official MathML dictionary 1.1105 + 1.1106 +operator.\u0021.prefix = lspace:0 rspace:5 # ! 1.1107 +operator.\u0026.infix = lspace:5 rspace:5 # & 1.1108 +operator.\u0026.prefix = lspace:0 rspace:5 # & 1.1109 +operator.\u002B\u002B.prefix = lspace:0 rspace:2 # ++ 1.1110 +operator.\u002D\u002D.prefix = lspace:0 rspace:2 # -- 1.1111 +operator.\u003B.postfix = lspace:0 rspace:0 separator # ; 1.1112 +operator.\u003C\u20D2.infix = lspace:5 rspace:5 # <⃒ 1.1113 +operator.\u003E\u20D2.infix = lspace:5 rspace:5 # >⃒ 1.1114 +operator.\u006C\u0069\u006D.prefix = lspace:0 rspace:3 movablelimits # lim 1.1115 +operator.\u006D\u0061\u0078.prefix = lspace:0 rspace:3 movablelimits # max 1.1116 +operator.\u006D\u0069\u006E.prefix = lspace:0 rspace:3 movablelimits # min 1.1117 +operator.\u007E.infix = lspace:2 rspace:2 stretchy direction:horizontal # ~ 1.1118 +operator.\u0332.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # _ 1.1119 +operator.\u2016.infix = lspace:5 rspace:5 stretchy direction:vertical # ‖ ‖ 1.1120 +operator.\u20D0.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⃐ 1.1121 +operator.\u20D1.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⃑ 1.1122 +operator.\u20D6.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⃖ 1.1123 +operator.\u20D7.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⃗ 1.1124 +operator.\u20E1.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⃡ 1.1125 +operator.\u2190\u200B.infix = lspace:5 rspace:5 # ← 1.1126 +operator.\u2191\u200B.infix = lspace:2 rspace:2 # ↑ 1.1127 +operator.\u2192\u200B.infix = lspace:5 rspace:5 # → 1.1128 +operator.\u2193\u200B.infix = lspace:2 rspace:2 # ↓ 1.1129 +operator.\u2223.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ∣ 1.1130 +operator.\u2223.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ∣ 1.1131 +operator.\u2225.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ∥ 1.1132 +operator.\u2225.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ∥ 1.1133 +operator.\u2282\u020D2.infix = lspace:5 rspace:5 # ⊂⃒ 1.1134 +operator.\u2283\u020D2.infix = lspace:5 rspace:5 # ⊃⃒ 1.1135 +operator.\u228E.prefix = lspace:1 rspace:2 largeop movablelimits symmetric direction:vertical # ⊎ 1.1136 +operator.\u2295.prefix = lspace:0 rspace:3 largeop movablelimits symmetric # ⊕ 1.1137 +operator.\u2296.prefix = lspace:0 rspace:3 largeop movablelimits symmetric # ⊖ 1.1138 +operator.\u2297.prefix = lspace:0 rspace:3 largeop movablelimits symmetric # ⊗ 1.1139 +operator.\u2299.prefix = lspace:0 rspace:3 largeop movablelimits symmetric # ⊙ 1.1140 +operator.\u23B0.prefix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⎰ ⎰ 1.1141 +operator.\u23B1.postfix = lspace:0 rspace:0 stretchy fence symmetric direction:vertical # ⎱ ⎱ 1.1142 +operator.\u2500.infix = lspace:0 rspace:0 stretchy direction:horizontal # ─ 1.1143 +operator.\u25A1.prefix = lspace:0 rspace:2 # □ 1.1144 +operator.\u2606.infix = lspace:3 rspace:3 # ☆ 1.1145 +operator.\u2AC5\u0338.infix = lspace:5 rspace:5 # ⫅̸ 1.1146 +operator.\u2AC6\u0338.infix = lspace:5 rspace:5 # ⫅̸ 1.1147 +operator.\u2AEC.prefix = lspace:0 rspace:5 # ⫬ 1.1148 +operator.\uFE35.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏜ (MathML 2.0) 1.1149 +operator.\uFE36.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏝ (MathML 2.0) 1.1150 +operator.\uFE37.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏞ (MathML 2.0) 1.1151 +operator.\uFE38.postfix = lspace:0 rspace:0 stretchy accent direction:horizontal # ⏟ (MathML 2.0) 1.1152 + 1.1153 + 1.1154 +################################################################################## 1.1155 +# DOCUMENTATION ON HOW TO SETUP THE PROPERTY FILE ASSOCIATED TO EACH FONT 1.1156 +# More fonts can be supported for stretchy characters by setting up mathfont 1.1157 +# property files as described below. 1.1158 +# 1.1159 +# Each font should have its set of glyph data. For example, the glyph data for 1.1160 +# the "Symbol" font and the "MT Extra" font are in "mathfontSymbol.properties" 1.1161 +# and "mathfontMTExtra.properties", respectively. The font property file is a 1.1162 +# set of all the stretchy MathML characters that can be rendered with that font 1.1163 +# using larger and/or partial glyphs. Each stretchy character is associated to 1.1164 +# a list in the font property file which gives, in that order, the 4 partial 1.1165 +# glyphs: top (or left), middle, bottom (or right), glue; and the variants of 1.1166 +# bigger sizes (if any). A position that is not relevant to a particular character 1.1167 +# is indicated there with the UNICODE REPLACEMENT CHARACTER 0xFFFD.