mathfont.properties 90 KB

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