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