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