| blob | e1ba1f85602e3fe2900ca3e8a9b5330bd3132476 |
1 ;; Conversion between TeXmacs universal symbols and Unicode
3 ;; (C) 2002-2003 Felix Breuer, David Allouche, Joris van der Hoeven
4 ;;
5 ;; This software falls under the GNU general public license version 3 or later.
6 ;; It comes WITHOUT ANY WARRANTY WHATSOEVER. For details, see the file LICENSE
7 ;; in the root directory or <http://www.gnu.org/licenses/gpl-3.0.html>.
9 ;; Symbols are sorted by Unicode value and grouped by Unicode block.
10 ;;
11 ;; When the codepage grouping conflict with the logical grouping (e.g.
12 ;; Mathematical Alphanumeric Symbols which are present in the Letterlike
13 ;; Symbols block), the Unicode ordering is preserved but the translation pair
14 ;; is also placed in a comment in the logical group.
15 ;;
16 ;; The intent is making it easy to refer to the Unicode charts, and ensure that
17 ;; logical groups are complete and correct.
19 ;; General Remark about Unicode symbols
20 ;;
21 ;; Most Unicode symbols are intentionally defined as shape-based
22 ;; instead of meaning based. For example U+22C8 (bowtie) maps to
23 ;; symbol <join> and U+2A1D (join, large bowtie) maps to symbol
24 ;; <Bowtie> because <join> is the small variant of <Bowtie>.
27 ;;; Symbols which do not seem to exist in Unicode
29 ;; No appropriate "sans-serif capital y"
30 ;("<Ydown>" "")
31 ;("<Yleft>" "")
32 ;("<Yright>" "")
34 ;; No appropriate "arrow with hook"
35 ;("<hookuparrow>" "")
36 ;("<hookdownarrow>" "")
37 ;("<longhookuparrow>" "")
38 ;("<longhookdownarrow>" "")
40 ;; No "open-headed arrow from bar"
41 ;("<mapstotriangle>" "")
42 ;("<longmapstotriangle>" "")
44 ;; What is Varupsilon?
45 ;("<b-Varupsilon>" "")
47 ;;; Symbols for internal use with a combining character equivalent
49 ;; No hook character (may use combining char?)
50 ;("<lefthook>" "")
51 ;("<righthook>" "")
53 ;; Negation
54 ;("<negate>" "")
55 ;("<arrownot>" "")
56 ;("<Arrownot>" "")
58 ;("<boxempty>" "")
60 ;;; Symbols for internal use with no Unicode equivalent
62 ;; No component for horizontal curly brackets
63 ;("<braceld>" "")
64 ;("<bracerd>" "")
65 ;("<bracelu>" "")
66 ;("<braceru>" "")
68 ;; No dotless j
69 ;("<jmath>" "") -> ȷ
70 ;("<j*>" "")
72 ; <vartimes>
73 ; maybe glyph variant of times
74 ; or saltyre (U+2613)
75 ; or n-ary times operator (U+2A09)
77 ;;; Symbols which are _maybe_ synonymous for other symbols
78 ;("<vernal>" "#2648") ; see <aries>
81 ;;; Big operators and delimiters
83 ;; Most big symbols have no natural translation in Unicode.
84 ;;
85 ;; Also, they should not be used in normal document (instead, they are
86 ;; used internally by the BIG, LEFT, RIGHT primitives).
87 ;;
88 ;; So, they should probably be treated specially (maybe using private
89 ;; use characters during the conversion).
91 ;; Large symbols may be converted to unicode
92 ;("<large-/-0>" "#29F8") ; big solidus
93 ;("<large-\\-0>" "#29F9") ; big reverse solidus
94 ;("<large-/-0>" "/")
95 ;("<large-\\-0" "#2216") ; see <setminus>
97 ;; Large symbols which have an _approximative_ unicode translation
98 ;("<wilde-tilde>" "#02DC") ; small tilde
99 ;("<wide-hat>" "#02C6") ; modifier letter circumflex accent
102 ;; Other problematic symbols
104 ;; is it a variant of <leftsquigarrow> or the actual "leftwards wave arrow"?
105 ;("<wasyleadsto>" "#219C")
107 ;;; Negated symbols with no aggregated character
108 ("<nsqsubset>" "#228F#0338")
109 ("<nsqsupset>" "#2290#0338")
110 ("<nll>" "#226A#0338")
111 ("<ngg>" "#226B#0338")
112 ("<nlll>" "#22D8#0338")
113 ("<nggg>" "#22D9#0338")
114 ("<nleqslant>" "#2A7D#0338")
115 ("<ngeqslant>" "#2A7E#0338")
116 ("<npreceq>" "#2AAF#0338")
117 ("<nsucceq>" "#2AB0#0338")
118 ("<nleqq>" "#2266#0338")
119 ("<ngeqq>" "#2267#0338")
120 ("<nsubseteqq>" "#2AC5#0338")
121 ("<nsupseteqq>" "#2AC6#0338")
123 ;;; Glyph variants supported by Unicode
124 ("<lvertneqq>" "#2268#FE00") ; variant of <lneqq>
125 ("<gvertneqq>" "#2269#FE00") ; variant of <gneqq>
126 ("<varsubsetneq>" "#228A#FE00") ; variant of <subsetneq>
127 ("<varsupsetneq>" "#228B#FE00") ; variant of <supsetneq>
128 ("<varsubsetneqq>" "#2ACB#FE00") ; variant of <subsetneqq>
129 ("<varsupsetneqq>" "#2ACC#FE00") ; variant of <supsetneqq>
131 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
133 ;;; Control and Basic Latin 0000--007F
135 ("<less>" "#3C") ; overrides corktounicode
136 ("<gtr>" "#3E") ; overrides corktounicode
137 ;("<backslash>" "#5C") ; see symbol-unicode-math.scm
140 ;;; Controls and Latin-1 Supplement 0080--00FF
142 ; 0080--009F are control chars (several of would be useful in texmacs)
143 ; no break space "#A0"
144 ;("<flip-!>" "#A1") ; see symbol-unicode-math.scm
145 ("<cent>" "#A2")
146 ; pound sign "#A3"
147 ("<currency>" "#A4")
148 ("<yen>" "#A5")
149 ("<brokenvert>" "#A6")
150 ;("<paragraph>" "#A7") ; see symbol-unicode-math.scm
151 ;("<ddot>" "#A8") ; see symbol-unicode-math.scm
152 ("<copyright>" "#A9")
153 ; feminine ordinal indicator "#AA"
154 ; left pointing double angle quotation mark "#AB"
155 ("<neg>" "#AC")
156 ; soft hyphen "#AD"
157 ("<circledR>" "#AE") ; for MathML compatility. Maybe U+24C7 more correct.
158 ;("<bar>" "#AF") ; see symbol-unicode-math.scm
159 ; degree sign "#B0"
160 ("<pm>" "#B1")
161 ; superscript two "#B2"
162 ; superscript three "#B3"
163 ;("<acute>" "#B4") ; see symbol-unicode-math.scm
164 ; micro sign "#B5"
165 ("<endofline>" "#B6")
166 ("<centerdot>" "#B7")
167 ;("<cedille>" "#B8") ; see symbol-unicode-math.scm
168 ; superscript one "#B9"
169 ; masculine ordinal indicator "#BA"
170 ; right pointing double angle quotation mark "#BB"
171 ; vulgar fraction one quarter "#BC"
172 ; vulgar fraction one half "#BD"
173 ; vulgar fraction three quarters "#BE"
174 ;("<flip-?>" "#BF") ; see symbol-unicode-math.scm
175 ;("<AA>" "#C5") ; see symbol-unicode-math.scm
176 ;("<AE>" "#C6") ; see symbol-unicode-math.scm
177 ;("<Thorn>" "#DE") ; see symbol-unicode-math.scm
178 ("<times>" "#D7")
179 ;("<O/>" "#D8") ; see symbol-unicode-math.scm
180 ;("<sz>" "#DF") ; see symbol-unicode-math.scm
181 ;("<aa>" "#E5") ; see symbol-unicode-math.scm
182 ;("<ae>" "#E6") ; see symbol-unicode-math.scm
183 ;("<dh>" "#F0") ; see symbol-unicode-math.scm
184 ("<div>" "#F7")
185 ;("<thorn>" "#FE") ; see symbol-unicode-math.scm
188 ;;; Latin Extended-A 0100--017F
190 ; h with stroke "#0127" ; not <hbar> (plank constant)
191 ;("<OE>" "#0152") ; see symbol-unicode-math.scm
192 ;("<oe>" "#0153") ; see symbol-unicode-math.scm
195 ;;; Spacing modifier letters 02B0--02FF
197 ;("<breve>" "#02D8") ; see symbol-unicode-math.scm
198 ;("<dot>" "#02D9") ; see symbol-unicode-math.scm
199 ;("<abovering>" "#02DA") ; see symbol-unicode-math.scm
202 ;;; General Punctuation 2000--206F
204 ;; Dashes
205 ;("<-->" "#0213") ; see symbol-unicode-math.scm
206 ;("<--->" "#0214") ; see symbol-unicode-math.scm
208 ;; General punctuation
209 ("<||>" "#2016")
210 ;("<``>" "#201C") ; see symbol-unicode-math.scm
211 ("<dagger>" "#2020")
212 ("<ddagger>" "#2021")
213 ("<bullet>" "#2022")
215 ;; General punctuation
216 ;("<permil>" "#2030") ; see symbol-unicode-math.scm
217 ("<prime>" "#2032")
218 ("<backprime>" "#2035")
219 ("<ldots>" "#2026")
222 ;;; Letterlike Symbols 2100--214F
224 ;; Letterlike symbols
225 ; account of "#2100"
226 ; addressed to the subject "#2101"
227 ("<bbb-C>" "#2102")
228 ; degree celsius "#2103"
229 ; centre line symbol "#2104"
230 ; care of "#2105"
231 ; cada una "#2106"
232 ; euler constant "#2107"
233 ; scruple "#2108"
234 ; degree fahrenheit "#2109"
235 ; <cal-g> "#210A"
236 ("<cal-H>" "#210B")
237 ("<frak-H>" "#210C")
238 ("<bbb-H>" "#210D")
239 ; planck constant "#210E"
240 ("<hslash>" "#210F")
241 ("<cal-I>" "#2110")
242 ("<frak-I>" "#2111")
243 ("<cal-L>" "#2112")
244 ("<ell>" "#2113")
245 ; l b bar symbol "#2114"
246 ("<bbb-N>" "#2115")
247 ; numero sign "#2116"
248 ; sound recording copyright "#2117"
249 ("<wp>" "#2118")
250 ("<bbb-P>" "#2119")
251 ("<bbb-Q>" "#211A")
252 ("<cal-R>" "#211B")
253 ("<frak-R>" "#211C")
254 ("<bbb-R>" "#211D")
255 ; prescription take "#211E"
256 ; response "#211F"
257 ; service mark "#2120"
258 ; telephone sign "#2121"
259 ("<trademark>" "#2122")
260 ; versicle "#2123"
261 ("<bbb-Z>" "#2124")
262 ; ounce sign "#2125"
263 ; ohm sign "#2126" ; preferred: #03A9
264 ("<Mho>" "#2127")
265 ("<frak-Z>" "#2128")
266 ; turned greek small letter iota "#2129"
267 ; kelvin sign "#212A"
268 ; Angstrom sign "#212B" ; preferred: #00C5
269 ("<cal-B>" "#212C")
270 ("<frak-C>" "#212D")
271 ; estimated symbol "#212E"
272 ; <cal-e> "#212F"
273 ("<cal-E>" "#2130")
274 ("<cal-F>" "#2131")
275 ; turned capital f "#2132"
276 ("<cal-M>" "#2133")
277 ; <cal-o> "#2134"
279 ;; Hebrew letterlike math symbols
280 ("<aleph>" "#2135")
281 ("<beth>" "#2136")
282 ("<gimel>" "#2137")
283 ("<daleth>" "#2138")
285 ;; Additional letterlike symbols
286 ; information source "#2139"
287 ; rotated capital q "#213A"
288 ; facsimile sign "#213B"
289 ; (reserved) "#213C"
290 ; double-struck small gamma "#213D"
291 ; double-struck capital gamma "#213E"
292 ; double-struck capital pi "#213F"
294 ;; Double-struck large operator
295 ; double-struck n-ary summation "#2140"
297 ;; Additional letterlike symbols
298 ("<Game>" "#2141") ; example glyph is turned 180°, not flipped
299 ; turned sans-serif capital l "#2142"
300 ; reversed sans-serif capital l "#2143"
301 ("<Yup>" "#2144")
303 ;; Double-struck italic mathematical symbols
304 ;; NOTE: TeXmacs represent those as "straigh" (aka. roman) symbols
305 ("<mathD>" "#2145")
306 ("<mathd>" "#2146")
307 ("<mathe>" "#2147")
308 ("<mathi>" "#2148")
309 ; <mathj> "#2149"
311 ;; Additional letterlike symbols
312 ; property line "#214A"
313 ("<bindnasrepma>" "#214B")
316 ;;; Arrows 2190--21FF
318 ("<leftarrow>" "#2190")
319 ("<uparrow>" "#2191")
320 ("<rightarrow>" "#2192")
321 ("<downarrow>" "#2193")
322 ("<leftrightarrow>" "#2194")
323 ("<updownarrow>" "#2195")
324 ("<nwarrow>" "#2196")
325 ("<nearrow>" "#2197")
326 ("<searrow>" "#2198")
327 ("<swarrow>" "#2199")
328 ("<nleftarrow>" "#219A")
329 ("<nrightarrow>" "#219B")
330 ("<leftsquigarrow>" "#219C") ; nominally "leftwards wave arrow"
331 ("<rightsquigarrow>" "#219D") ; nominally "rightwards wave arrow"
332 ("<twoheadleftarrow>" "#219E")
333 ; <twoheaduparrow> "#219F"
334 ("<twoheadrightarrow>" "#21A0")
335 ; <twoheaddownarrow> "#21A1"
336 ("<leftarrowtail>" "#21A2")
337 ("<rightarrowtail>" "#21A3")
338 ("<mapsfrom>" "#21A4")
339 ; upwards arrow from bar "#21A5"
340 ("<mapsto>" "#21A6")
341 ; downwards arrow from bar "#21A7"
342 ("<hookleftarrow>" "#21A9")
343 ("<hookrightarrow>" "#21AA")
344 ("<looparrowleft>" "#21AB")
345 ("<looparrowright>" "#21AC")
346 ("<leftrightsquigarrow>" "#21AD") ; nominally "left right wave arrow"
347 ("<nleftrightarrow>" "#21AE")
348 ("<lightning>" "#21AF")
349 ("<Lsh>" "#21B0")
350 ("<Rsh>" "#21B1")
351 ; downwards arrow with tip leftwards "#21B2"
352 ; downwards arrow with tip rightwards "#21B3"
353 ; rightwards arrow with corner downwards "#21B4"
354 ; downwards arrow with corner leftwards "#21B5"
355 ("<curvearrowleft>" "#21B6")
356 ("<curvearrowright>" "#21B7")
357 ; north west arrow to long bar "#21B8"
358 ; leftwards arrow to bar over rightwards arrow to bar "#21B9"
359 ("<circlearrowleft>" "#21BA")
360 ("<circlearrowright>" "#21BB")
361 ("<leftharpoonup>" "#21BC")
362 ("<leftharpoondown>" "#21BD")
363 ("<upharpoonright>" "#21BE")
364 ("<upharpoonleft>" "#21BF")
365 ("<rightharpoonup>" "#21C0")
366 ("<rightharpoondown>" "#21C1")
367 ("<downharpoonright>" "#21C2")
368 ("<downharpoonleft>" "#21C3")
369 ("<rightleftarrows>" "#21C4")
370 ; <updownarrows> "#21C5"
371 ("<leftrightarrows>" "#21C6")
372 ("<leftleftarrows>" "#21C7")
373 ("<upuparrows>" "#21C8")
374 ("<rightrightarrows>" "#21C9")
375 ("<downdownarrows>" "#21CA")
376 ("<leftrightharpoons>" "#21CB")
377 ("<rightleftharpoons>" "#21CC")
378 ("<nLeftarrow>" "#21CD")
379 ("<nLeftrightarrow>" "#21CE")
380 ("<nRightarrow>" "#21CF")
381 ("<Leftarrow>" "#21D0")
382 ("<Uparrow>" "#21D1")
383 ("<Rightarrow>" "#21D2")
384 ("<Downarrow>" "#21D3")
385 ("<Leftrightarrow>" "#21D4")
386 ("<Updownarrow>" "#21D5")
387 ; <Nwarrow> "#21D6"
388 ; <Nearrow> "#21D7"
389 ; <Searrow> "#21D8"
390 ; <Swarrow> "#21D9"
391 ("<Lleftarrow>" "#21DA")
392 ("<Rrightarrow>" "#21DB")
393 ; leftwards squiggle arrow "#21DC" ; maybe <leftsquigarrow>
394 ; rigthwards squiggle arrow "#21DD" ; maybe <rightsquigarrow>
396 ("<leftarrowtriangle>" "#21FD")
397 ("<rightarrowtriangle>" "#21FE")
398 ("<leftrightarrowtriangle>" "#21FF")
400 ;;; Supplemental Arrows-A 27F0--27FF
402 ;; Arrows
403 ; upwards quadruple arrow "#27F0"
404 ; downwards quadruple arrow "#27F1"
405 ; anticlockwise gapped circle arrow "#27F2"
406 ; clockwise gapped circle arrow "#27F3"
407 ; right arrow with circled plus "#27F4"
409 ;; Long arrows
410 ;; According to Unicode: "The long arrows are used for mapping whereas
411 ;; the short forms would be used in limits.
412 ("<longleftarrow>" "#27F5")
413 ("<longrightarrow>" "#27F6")
414 ("<longleftrightarrow>" "#27F7")
415 ("<Longleftarrow>" "#27F8")
416 ("<Longrightarrow>" "#27F9")
417 ("<Longleftrightarrow>" "#27FA")
418 ("<longmapsfrom>" "#27FB")
419 ("<longmapsto>" "#27FC")
420 ; long leftwards double arrow from bar "#27FD"
421 ; long rightwards double arrow from bar "#27FE"
422 ; long rightwards squiggle arrow "#27FF"
425 ;;; Mathematical Operators 2200--22FF
427 ("<forall>" "#2200")
428 ("<complement>" "#2201")
429 ("<partial>" "#2202")
430 ("<exists>" "#2203")
431 ("<nexists>" "#2204")
432 ("<emptyset>" "#2205")
433 ; increment "#2206"
434 ("<nabla>" "#2207")
435 ("<in>" "#2208")
436 ("<nin>" "#2209")
437 ; small element of "#220A"
438 ("<ni>" "#220B")
439 ("<nni>" "#220C")
440 ; small contains as member "#220D"
441 ; end of proof "#220E"
442 ("<prod>" "#220F")
443 ; n-ary coproduct
444 ("<sum>" "#2211")
445 ("<minus>" "#2212")
446 ("<mp>" "#2213")
447 ("<dotplus>" "#2214")
448 ; division slash "#2215"
449 ("<setminus>" "#2216")
450 ("<ast>" "#2217")
451 ("<circ>" "#2218")
452 ; bullet operator "#2219" ; not <bullet> punctuation
453 ("<sqrt>" "#221A") ; FIXME: wrong baseline
454 ; cube root "#221B"
455 ; fourth root "#221C"
456 ("<propto>" "#221D")
457 ("<infty>" "#221E")
458 ; right angle "#221F"
459 ("<angle>" "#2220")
460 ("<measuredangle>" "#2221")
461 ("<sphericalangle>" "#2222")
462 ("<mid>" "#2223")
463 ("<nmid>" "#2224")
464 ("<parallel>" "#2225")
465 ("<nparallel>" "#2226")
466 ("<wedge>" "#2227")
467 ("<vee>" "#2228")
468 ("<cap>" "#2229")
469 ("<cup>" "#222A")
470 ("<int>" "#222B")
471 ; double integral "#222E"
472 ; triple integral "#222D"
473 ; <oint> "#222E"
474 ; surface integral "#222F"
475 ; volume integral "#2230"
476 ; clockwise integral "#2231"
477 ; clockwise contour integral "#2232"
478 ; anticlockwise contour integral "#2233"
479 ("<therefore>" "#2234")
480 ("<because>" "#2235")
481 ; ratio "#2236"
482 ; proportion "#2237"
483 ; dot minus "#2238"
484 ; excess "#2239"
485 ; geometric proportion "#223A"
486 ; homothetic "#223B"
487 ("<sim>" "#223C")
488 ("<backsim>" "#223D")
489 ; inverted lazy s "#223E"
490 ; sine wave "#223F"
491 ("<wr>" "#2240")
492 ("<nsim>" "#2241")
493 ("<eqsim>" "#2242")
494 ("<simeq>" "#2243")
495 ("<nsimeq>" "#2244")
496 ("<cong>" "#2245")
497 ; approximately but not actually equal to "#2246"
498 ("<ncong>" "#2247")
499 ("<approx>" "#2248")
500 ("<napprox>" "#2249")
501 ("<approxeq>" "#224A")
502 ; triple tilde "#225B"
503 ; all equal to "#225C"
504 ("<asymp>" "#224D")
505 ("<Bumpeq>" "#224E")
506 ("<bumpeq>" "#224F")
507 ; <doteq> "#2250"
508 ("<doteqdot>" "#2251")
509 ("<fallingdoteq>" "#2252")
510 ("<risingdoteq>" "#2253")
511 ("<assign>" "#2254")
512 ; equals colon "#2255"
513 ("<eqcirc>" "#2256")
514 ("<circeq>" "#2257")
515 ; corresponds to "#2258"
516 ; estimates "#2259"
517 ; equiangular to "#225A"
518 ; star equals "#225B"
519 ("<triangleq>" "#225C")
520 ; equal to by definition "#225D"
521 ; measured by "#225E"
522 ; questioned equal to "#225F"
523 ("<neq>" "#2260")
524 ("<equiv>" "#2261")
525 ("<nequiv>" "#2262")
526 ; strictly equivalent to "#2263"
527 ("<leq>" "#2264")
528 ("<geq>" "#2265")
529 ("<leqq>" "#2266")
530 ("<geqq>" "#2267")
531 ("<lneqq>" "#2268")
532 ("<gneqq>" "#2269")
533 ("<ll>" "#226A")
534 ("<gg>" "#226B")
535 ("<between>" "#226C")
536 ("<nasymp>" "#226D")
537 ("<nless>" "#226E")
538 ("<ngtr>" "#226F")
539 ("<nleq>" "#2270")
540 ("<ngeq>" "#2271")
541 ("<lesssim>" "#2272")
542 ("<gtrsim>" "#2273")
543 ; <nlesssim> "#2274"
544 ; <ngtrsim> "#2275"
545 ("<lessgtr>" "#2276")
546 ("<gtrless>" "#2277")
547 ; <nlessgtr> "#2278"
548 ; <ngtrless> "#2279"
549 ("<prec>" "#227A")
550 ("<succ>" "#227B")
551 ("<preccurlyeq>" "#227C")
552 ("<succcurlyeq>" "#227D")
553 ("<precsim>" "#227E")
554 ("<succsim>" "#227F")
555 ("<nprec>" "#2280")
556 ("<nsucc>" "#2281")
557 ("<subset>" "#2282")
558 ("<supset>" "#2283")
559 ("<nsubset>" "#2284")
560 ("<nsupset>" "#2285")
561 ("<subseteq>" "#2286")
562 ("<supseteq>" "#2287")
563 ("<nsubseteq>" "#2288")
564 ("<nsupseteq>" "#2289")
565 ("<subsetneq>" "#228A")
566 ("<supsetneq>" "#228B")
567 ; multiset (<uleftarrow>) "#228C"
568 ; MULTISET MULTIPLICATION (<udot> "#228D"
569 ("<uplus>" "#228E")
570 ("<sqsubset>" "#228F")
571 ("<sqsupset>" "#2290")
572 ("<sqsubseteq>" "#2291")
573 ("<sqsupseteq>" "#2292")
574 ("<sqcap>" "#2293")
575 ("<sqcup>" "#2294")
576 ; FIXME: o* symbols have a too thin circle line, varo* symbols are correct
577 ("<varoplus>" "#2295") ; FIXME: swap oplus and varoplus
578 ("<varominus>" "#2296") ; FIXME: swap ominus and varominus
579 ("<varotimes>" "#2297") ; FIXME: swap otimes and varotimes
580 ("<varoslash>" "#2298") ; FIXME: swap oslash and varoslash
581 ("<varodot>" "#2299") ; FIXME: swap odot and varodot
582 ; FIXME: rename circledcirc to varocircle
583 ("<varocircle>" "#229A") ; FIXME: rename varocircle to ocircle
584 ; FIXME: rename circledast to varoast
585 ("<varoast>" "#229B") ; FIXME: rename varoast to oast
586 ; circled equals "#229C"
587 ; FIXME: define symbol odash with correct circle line width
588 ("<circleddash>" "#229D") ; FIXME: use odash instead
589 ("<boxplus>" "#229E")
590 ("<boxminus>" "#229F")
591 ("<boxtimes>" "#22A0")
592 ("<boxdot>" "#22A1")
594 ;; <vdash>-like symbols are a bit problematic
595 ;; These mappings provide a better visual match, but do map some
596 ;; "simple" symbols like <dashv> or <vDash> and would cause more
597 ;; problems since there are no <nlong*> symbols.
598 ;("<longvdash>" "#22A2") ; RIGHT TACK as long as TRUE (proves)
599 ;("<longdashv>" "#22A3") ; LEFT TACK as long as TRUE (yields)
600 ;("<top>" "#22A4")
601 ;("<bot>" "#22A5") ; TODO: <perp> -> #22A5
602 ;("<vdash>" "#22A6") ; ASSERTION should be as long as MODELS
603 ;("<models>" "#22A7") ; vDash, shorter than TRUE
604 ;("<longvDash> "#22A8") ; TRUE
605 ;("<Vdash>" "#22A9") ; FORCES
606 ;("<Vvdash>" "#22AA")
607 ;; <VDash> "#22AB" ; maybe longVDash (as long as TRUE)
609 ;; These mappings do not define ASSERTION and make MODELS use the same
610 ;; glyph as TRUE, but cause fewer problems otherwise and use (mostly)
611 ;; the same mappings as Omega.
612 ("<vdash>" "#22A2") ; RIGHT TACK as long as TRUE (proves)
613 ("<dashv>" "#22A3") ; LEFT TACK as long as TRUE (yields)
614 ("<top>" "#22A4")
615 ("<bot>" "#22A5")
616 ; assertion "#22A6" ; ASSERTION should be as long as MODELS
617 ("<models>" "#22A7") ; MODELS should be shorter than TRUE
618 ("<vDash>" "#22A8") ; TRUE should be longer than MODELS
619 ("<Vdash>" "#22A9") ; FORCES
620 ("<Vvdash>" "#22AA")
621 ; <VDash> "#22AB"
623 ("<nvdash>" "#22AC") ; DOES NOT PROVE
624 ("<nvDash>" "#22AD") ; NOT TRUE
625 ("<nVdash>" "#22AE") ; DOES NOT FORCE
626 ("<nVDash>" "#22AF")
627 ; precedes under relation "#22B0"
628 ; succeeds under relation "#22B1"
629 ("<vartriangleleft>" "#22B2")
630 ("<vartriangleright>" "#22B3")
631 ("<trianglelefteq>" "#22B4")
632 ("<trianglerighteq>" "#22B5")
633 ; original of "#22B6"
634 ; image of "#22B7"
635 ("<multimap>" "#22B8")
636 ; hermitian conjugate matrix "#22B9"
637 ("<intercal>" "#22BA")
638 ("<veebar>" "#22BB")
639 ; nand "#22BC") ; see <barwedge>
640 ; <barvee> "#22BD"
641 ; right angle with arc "#22BE"
642 ; right triangle "#22BF"
643 ; <big-wedge> "#22C0" ; does not render
644 ; <big-vee> "#22C1" ; does not render
645 ; <big-cap> "#22C2" ; does not render
646 ; <bigcup>" "#22C3" ; does not render
647 ("<diamond>" "#22C4") ; TODO: define as arithmetic-times
648 ("<cdot>" "#22C5") ; not MIDDLE DOT
649 ("<star>" "#22C6")
650 ("<divideontimes>" "#22C7")
651 ("<join>" "#22C8")
652 ("<ltimes>" "#22C9")
653 ("<rtimes>" "#22CA")
654 ("<leftthreetimes>" "#22CB")
655 ("<rightthreetimes>" "#22CC")
656 ("<backsimeq>" "#22CD")
657 ("<curlyvee>" "#22CE")
658 ("<curlywedge>" "#22CF")
659 ("<Subset>" "#22D0")
660 ("<Supset>" "#22D1")
661 ("<Cap>" "#22D2")
662 ("<Cup>" "#22D3")
663 ("<pitchfork>" "#22D4")
664 ; equal and parallel to "#22D5"
665 ("<lessdot>" "#22D6")
666 ("<gtrdot>" "#22D7")
667 ("<lll>" "#22D8")
668 ("<ggg>" "#22D9")
669 ("<lesseqgtr>" "#22DA")
670 ("<gtreqless>" "#22DB")
671 ; <eqless> "#22DC"
672 ; <eqgtr> "#22DD"
673 ("<curlyeqprec>" "#22DE")
674 ("<curlyeqsucc>" "#22DF")
675 ("<npreccurlyeq>" "#22E0")
676 ("<nsucccurlyeq>" "#22E1")
677 ("<nsqsubseteq>" "#22E2")
678 ("<nsqsupseteq>" "#22E3")
679 ; <sqsubsetneq> "#22E4"
680 ; <sqsupsetneq> "#22E5"
681 ("<lnsim>" "#22E6")
682 ("<gnsim>" "#22E7")
683 ("<precnsim>" "#22E8")
684 ("<succnsim>" "#22E9")
685 ("<ntriangleleft>" "#22EA")
686 ("<ntriangleright>" "#22EB")
687 ("<ntrianglelefteq>" "#22EC")
688 ("<ntrianglerighteq>" "#22ED")
689 ("<vdots>" "#22EE")
690 ("<cdots>" "#22EF")
691 ("<udots>" "#22F0")
692 ("<ddots>" "#22F1")
693 ; element of with long horizontal stroke "#22F2"
694 ; element of with vertical bar at end of horizontal stroke "#22F3"
695 ; small element of with vertical bar at end of horizontal stroke "#22F4"
696 ; <dotin> "#22F5"
697 ; <eqin> "#22F6"
698 ; small element of with overbar "#22F7"
699 ; <ineq> "#22F8"
700 ; element of with two horizontal strokes "#22F9"
701 ; contains with long horizontal stroke "#22FA"
702 ; contains with vertical bar at end of horizontal stroke "#22FB"
703 ; small contains with vertical bar at end of horizontal stroke "#22FC"
704 ; <eqni> "#22FD"
705 ; small contains with overbar "#22FE"
706 ; Z notation bag membership "#22FF"
708 ;;; Miscellaneous Technical 2300--23FF
710 ;; Miscellaneous Technical
711 ("<diameter>" "#2300")
712 ; electric arrow "#2301"
713 ; house "#2302"
714 ; up arrowhead "#2303"
715 ; down arrowhead "#2304"
716 ("<barwedge>" "#2305")
717 ("<doublebarwedge>" "#2306") ; perspective
718 ; vawy line "#2307"
720 ;; Corner brackets
721 ("<lceil>" "#2308")
722 ("<rceil>" "#2309")
723 ("<lfloor>" "#230A")
724 ("<rfloor>" "#230B")
726 ;; Miscellaneous technical
727 ("<invneg>" "#2310")
728 ; square lozenge "#2311"
729 ; arc "#2312"
730 ; segment "#2313"
731 ; sector "#2314"
732 ("<recorder>" "#2315")
733 ; position indicator "#2316"
734 ; viewdata square "#2317"
735 ; place of interest sign "#2318"
736 ; turned not sign "#2319"
738 ;; GUI icons
739 ; watch "#231A"
740 ; hourglass "#231B"
742 ;; Quine corners
743 ("<ulcorner>" "#231C")
744 ("<urcorner>" "#231D")
745 ("<llcorner>" "#231E")
746 ("<lrcorner>" "#231F")
748 ;; Frown and smile
749 ("<frown>" "#2322")
750 ("<smile>" "#2323")
752 ;; Angle brackets
753 ;; These are discouraged for mathematical use because of their
754 ;; canonical equivalence to CJK punctuation.
755 ; left-pointing angle bracket "#2329" ; see <langle>
756 ; right-pointing angle blacket "#232A" ; see <rangle>
758 ;; APL
759 ; apl functional symbol i-beam "#2337"
760 ("<talloblong>" "#2338")
761 ; apl functional symbol quad equal "#2339"
762 ; apl functional symbol quad equal "#2338"
763 ; apl functional symbol quad divide "#2339"
764 ; apl functional symbol quad diamond "#233A"
765 ; apl functional symbol quad jot "#233B"
766 ; apl functional symbol quad circle "#233C"
767 ; apl functional symbol circle stile "#233D"
768 ; apl functional symbol circle jot "#233E"
769 ; apl functional symbol slash bar "#233F"
770 ; apl functional symbol backslash bar "#2340"
771 ; apl functional symbol quad slash "#2341"
772 ; apl functional symbol quad backslash "#2342"
773 ; apl functional symbol quad less-than "#2343"
774 ; apl functional symbol quad greater-than "#2344"
775 ; apl functional symbol leftwards vane "#2345"
776 ; apl functional symbol rightwards vane "#2346"
777 ("<APLleftarrowbox>" "#2347")
778 ("<APLrightarrowbox>" "#2348")
779 ; apl functional symbol circle backslash "#2349"
780 ; apl functional symbol down tack underbar "#234A"
781 ; apl functional symbol delta stile "#234B"
782 ; apl functional symbol quad down caret "#234C"
783 ; apl functional symbol quad delta "#234D"
784 ; apl functional symbol down tack jot "#234E"
785 ; apl functional symbol upwards vane "#234F"
786 ("<APLuparrowbox>" "#2350")
787 ; apl functional symbol up tack overbar "#2351"
788 ; apl functional symbol del stile "#2352"
789 ; apl functional symbol quad up caret "#2353"
790 ; apl functional symbol quad del "#2354"
791 ; apl functional symbol up tack jot "#2355"
792 ; apl functional symbol downwards vane "#2356"
793 ("<APLdownarrowbox>" "#2357")
794 ; apl functional symbol quote underbar "#2358"
795 ; apl functional symbol delta underbar "#2359"
796 ; apl functional symbol diamond underbar "#235A"
797 ; apl functional symbol jot underbar "#235B"
798 ; apl functional symbol circle underbar "#235C"
799 ; apl functional symbol up shoe jot "#235D"
800 ("<APLinput>" "#235E")
801 ; apl functional symbol circle star "#235F"
802 ; apl functional symbol quad colon "#2360"
803 ; apl functional symbol up tack diaeresis "#2361"
804 ; apl functional symbol del diaeresis "#2362"
805 ; apl functional symbol star diaeresis "#2363"
806 ; apl functional symbol jot diaeresis "#2364"
807 ; apl functional symbol circle diaeresis "#2365"
808 ; apl functional symbol down shoe stile "#2366"
809 ; apl functional symbol left shoe stile "#2367"
810 ; apl functional symbol tilde diaeresis "#2368"
811 ; apl functional symbol greater-than diaeresis "#2369"
812 ; apl functional symbol comma bar "#236A"
813 ; apl functional symbol del tilde "#236B"
814 ; apl functional symbol zilde "#236C"
815 ; apl functional symbol stile tilde "#236D"
816 ; apl functional symbol semicolon underbar "#236E"
817 ; apl functional symbol quad not equal "#236F"
818 ; apl functional symbol quad question "#2370"
819 ; apl functional symbol down caret tilde "#2371"
820 ; apl functional symbol up caret tilde "#2372"
821 ; apl functional symbol iota "#2373"
822 ; apl functional symbol rho "#2374"
823 ; apl functional symbol omega "#2375"
824 ; apl functional symbol alpha underbar "#2376"
825 ; apl functional symbol epsilon underbar "#2377"
826 ; apl functional symbol iota underbar "#2378"
827 ; apl functional symbol omega underbar "#2379"
828 ; apl functional symbol alpha "#237A"
830 ;; APL
831 ("<APLbox>" "#2395")
834 ;;; Enclosed Alphanumerics 2460--24FF
836 ("<circledS>" "#24C8")
839 ;;; Geometric Shapes 25A0--25FF
841 ;; Geometric Shapes
842 ("<blacksquare>" "#25A0")
843 ("<Square>" "#25A1")
844 ; white square with rounded corners "#25A2"
845 ; white square containing black small square "#25A3"
846 ; square with horizontal fill "#25A4"
847 ; square with vertical fill "#25A5"
848 ; square with orthogonal crosshatch fill "#25A6"
849 ; square with upper left to lower right fill "#25A7"
850 ; square with upper right to lower left fill "#25A8"
851 ; square with diagonal crosshatch fill "#25A9"
852 ; black small square "#25AA"
853 ; white small square "#25AB"
854 ; black rectangle "#25AC"
855 ; white rectangle "#25AD"
856 ; black vertical rectangle "#25AE"
857 ("<oblong>" "#25AF")
858 ; black parallelogram "#25B0"
859 ; white parallelogram "#25B1"
860 ; black up-pointing triangle "#25B2"
861 ("<bigtriangleup>" "#25B3")
862 ("<blacktriangle>" "#25B4")
863 ("<vartriangle>" "#25B5")
864 ; black right-pointing triangle "#25B6"
865 ; white right-pointing triangle "#25B7"
866 ("<blacktriangleright>" "#25B8")
867 ("<triangleright>" "#25B9")
868 ; black right-pointing pointer "#25BA"
869 ; white right-pointing pointer "#25BB"
870 ; black down-pointing triangle "#25BC"
871 ("<bigtriangledown>" "#25BD")
872 ("<blacktriangledown>" "#25BE")
873 ("<triangledown>" "#25BF")
874 ; black left-pointing triangle "#25C0"
875 ; white left-pointing triangle "#25C1"
876 ("<blacktriangleleft>" "#25C2")
877 ("<triangleleft>" "#25C3")
878 ; black left-pointing pointer "#25C4"
879 ; white left-pointing pointer "#25C5"
880 ; black diamond "#25C6"
881 ("<wasyDiamond>" "#25C7")
882 ; white diamond containing black small diamond "#25C8"
883 ; fisheye "#25C9"
884 ("<lozenge>" "#25CA")
885 ("<Circle>" "#25CB")
886 ; dotted circle "#25CC"
887 ; circle with vertical fill "#25CD"
888 ; bullseye "#25CE"
889 ("<CIRCLE>" "#25CF")
890 ("<LEFTcircle>" "#25D0")
891 ("<RIGHTcircle>" "#25D1")
892 ; circle with lower half black "#25D2"
893 ; circle with upper half black "#25D3"
894 ; circle with upper right quadrant black "#25D4"
895 ; circle with all but upper left quadrant black "#25D5"
896 ("<LEFTCIRCLE>" "#25D6")
897 ("<RIGHTCIRCLE>" "#25D7")
898 ; inverse bullet "#25D8"
899 ; inverse white circle "#25D9"
900 ; upper half inverse white circle "#25DA"
901 ; lower half inverse white circle "#25DB"
902 ; upper left quadrant circular arc "#25DC"
903 ; upper right quadrant circular arc "#25DD"
904 ; lower right quadrant circular arc "#25DE"
905 ; lower left quadrant circular arc "#25DF"
906 ; upper half circle "#25E0"
907 ; lower half circle "#25E1"
908 ; black lower right triangle "#25E2"
909 ; black lower left triangle "#25E3"
910 ; black upper left triangle "#25E4"
911 ; black upper right triangle "#25E5"
912 ; white bullet "#25E6"
913 ; square with left half black "#25E7"
914 ; square with right half black "#25E8"
915 ; square with upper left diagonal half black "#25E9"
916 ; square with lower right diagonal half black "#25EA"
917 ; white square with vertical bisecting line "#25EB"
918 ; white up-pointing triangle with dot "#25EC"
919 ; up-pointing triangle with left half black "#25ED"
920 ; up-pointing triangle with right half black "#25EE"
921 ("<varbigcirc>" "#25EF")
923 ;; Geometric shapes
924 ; upper left triangle "#25F8"
925 ; upper right triangle "#25F9"
926 ; lower left triangle "#25FA"
927 ; white medium square "#25FB"
928 ; black medium square "#25FC"
929 ("<square>" "#25FD") ; smaller than <Square>
930 ; black medium small square "#25FE"
931 ; lower right triangle "#25FF"
934 ;;; Miscellaneous Symbols 2600--26FF
936 ;; Weather and astrological symbols
937 ; black sun with rays "#2600"
938 ; cloud "#2601"
939 ; umbrella "#2602"
940 ; snowman "#2603"
941 ; comet "#2604"
942 ("<bigstar>" "#2605")
943 ; white star "#2606"
944 ; lightning "#2607"
945 ; thunderstorm "#2608"
946 ("<astrosun>" "#2609")
947 ("<ascnode>" "#260A")
948 ("<descnode>" "#260B")
949 ("<conjunction>" "#260C")
950 ("<opposition>" "#260D")
952 ;; Miscellaneous symbols
953 ("<phone>" "#260E")
954 ; white telephone "#260F"
955 ("<wasyBox>" "#2610")
956 ("<XBox>" "#2611")
957 ("<CheckedBox>" "#2612")
958 ; saltire "#2613"
960 ;; Miscellaneous symbols
961 ; wheel of dharma "#2638"
962 ("<frownie>" "#2639")
963 ("<smiley>" "#263A")
964 ("<blacksmiley>" "#263B")
965 ("<sun>" "#263C")
967 ;; Astrological symbols
968 ("<rightmoon>" "#263D")
969 ("<leftmoon>" "#263E")
970 ("<mercury>" "#263F")
971 ("<female>" "#2640")
972 ("<earth>" "#2641")
973 ("<male>" "#2642")
974 ("<jupiter>" "#2643")
975 ("<saturn>" "#2644")
976 ("<uranus>" "#2645")
977 ("<neptune>" "#2646")
978 ("<pluto>" "#2647")
979 ("<aries>" "#2648")
980 ("<taurus>" "#2649")
981 ("<gemini>" "#264A")
982 ("<cancer>" "#264B")
983 ("<leo>" "#264C")
984 ("<virgo>" "#264D")
985 ("<libra>" "#264E")
986 ("<scorpio>" "#264F")
987 ("<sagittarius>" "#2650")
988 ("<capricornus>" "#2651")
989 ("<aquarius>" "#2652")
990 ("<pisces>" "#2653")
992 ;; Playing card symbols
993 ("<spadesuit>" "#2660")
994 ; white heart suit "#2661"
995 ; white diamond suit "#2662"
996 ("<clubsuit>" "#2663")
997 ; white spade suit "#2664"
998 ("<heartsuit>" "#2665")
999 ("<diamondsuit>" "#2666")
1001 ;; Musical symbols
1002 ("<quarternote>" "#2669")
1003 ("<eighthnote>" "#266A")
1004 ("<twonotes>" "#266B")
1005 ; beamed sixteenth notes "#266C"
1006 ("<flat>" "#266D")
1007 ("<natural>" "#266E")
1008 ("<sharp>" "#266F")
1011 ;;; Dingbats 2710--27BF
1013 ("<checkmark>" "#2713")
1014 ("<maltese>" "#2720")
1017 ;;; Supplemental Arrows-B
1019 ("<leftturn>" "#2940") ; not closed, but correct arrowhead position
1020 ("<rightturn>" "#2941") ; not closed, but correct arrowhead position
1023 ;;; Miscellaneous Mathematical Symbols-A 27C0--21FF
1025 ;; Mathematical brackets
1026 ("<llbracket>" "#27E6")
1027 ("<rrbracket>" "#27E7")
1028 ("<langle>" "#27E8")
1029 ("<rangle>" "#27E9")
1030 ("<llangle>" "#27EA")
1031 ("<rrangle>" "#27EB")
1034 ;;; Miscellaneous Mathematical Symbols-B 2980--29FF
1036 ;; Miscellaneous mathematical symbols
1037 ; triple vertical bar delimiter "#2980"
1038 ; z notation spot "#2981"
1039 ; z notation type colon "#2982"
1041 ;; Brackets
1042 ; left white curly bracket "#2983"
1043 ; right white curly bracket "#2984"
1044 ; left white parenthesis "#2985"
1045 ; right white parenthesis "#2986"
1046 ("<llparenthesis>" "#2987")
1047 ("<rrparenthesis>" "#2988")
1048 ; z notation left binding bracket "#2989"
1049 ; z notation right binding bracket "#298A"
1050 ; left square bracket with underbar "#298B"
1051 ; right square bracket with underbar "#298C"
1052 ; left square bracket with tick in top corner "#298D"
1053 ; right square bracket with tick in bottom corner "#298E"
1054 ; left square bracket with tick in bottom corner "#298F"
1055 ; right square bracket with tick in top corner "#2990"
1056 ; left angle bracket with dot "#2991"
1057 ; right angle bracket with dot "#2992"
1058 ; left arc less-than bracket "#2993"
1059 ; right arc greater-than bracket "#2994"
1060 ; double left arc greater-than bracket "#2995"
1061 ; double right arc less-than bracket "#2996"
1062 ; left black tortoise shell bracket "#2997"
1063 ; right black tortoise shell bracket "#2998"
1065 ;; Circle symbols
1066 ("<minuso>" "#29B5")
1067 ("<varobar>" "#29B6")
1068 ; circled parallel "#29B7"
1069 ("<varobslash>" "#29B8")
1070 ; circled perpendicular "#29B9"
1071 ; circle divided by horizontal bar and top half divided by vertical bar "#29BA"
1072 ; circle with superimposed x "#29BB"
1073 ; circled anticlockwise-rotated division sign "#29BC"
1074 ; up arrow through circle "#29BD"
1075 ; circled white bullet "#29BE"
1076 ; circled bullet "#29BF"
1077 ; circled less-than "#29C0"
1078 ; circled greater-than "#29C1"
1079 ; circle with small circle to the right "#29C2"
1080 ; circle with two horizontal strokes to the right "#29C3"
1082 ;; Square symbols
1083 ("<boxslash>" "#29C4")
1084 ("<boxbslash>" "#29C5")
1085 ("<boxast>" "#29C6")
1086 ("<boxcircle>" "#29C7")
1087 ("<boxbox>" "#29C8")
1088 ; two joined squares "#29C9"
1092 ("<blacklozenge>" "#29EB")
1094 ;;; Supplemental Mathematical Operators 2A00--2AFF
1096 ("<merge>" "#2A07")
1097 ("<Bowtie>" "#2A1D")
1098 ("<amalg>" "#2A3F")
1099 ("<leqslant>" "#2A7D")
1100 ("<geqslant>" "#2A7E")
1101 ("<lessapprox>" "#2A85")
1102 ("<gtrapprox>" "#2A86")
1103 ("<lneq>" "#2A87")
1104 ("<gneq>" "#2A88")
1105 ("<lnapprox>" "#2A89")
1106 ("<gnapprox>" "#2A8A")
1107 ("<lesseqqgtr>" "#2A8B")
1108 ("<gtreqqless>" "#2A8C")
1109 ("<eqslantless>" "#2A95")
1110 ("<eqslantgtr>" "#2A96")
1111 ("<leftslice>" "#2AA6")
1112 ("<rightslice>" "#2AA7")
1113 ("<preceq>" "#2AAF")
1114 ("<succeq>" "#2AB0")
1115 ("<precneqq>" "#2AB5")
1116 ("<succneqq>" "#2AB6")
1117 ("<precapprox>" "#2AB7")
1118 ("<succapprox>" "#2AB8")
1119 ("<precnapprox>" "#2AB9")
1120 ("<succnapprox>" "#2ABA")
1121 ("<subseteqq>" "#2AC5")
1122 ("<supseteqq>" "#2AC6")
1123 ("<subsetneqq>" "#2ACB")
1124 ("<supsetneqq>" "#2ACC")
1125 ("<interleave>" "#2AF4")
1128 ;;; Greek and Coptic 0370--03FF
1130 ;; Uppercase Greek
1131 ("<Alpha>" "#0391")
1132 ("<Beta>" "#0392")
1133 ("<Gamma>" "#0393")
1134 ("<Delta>" "#0394")
1135 ("<Epsilon>" "#0395")
1136 ("<Zeta>" "#0396")
1137 ("<Eta>" "#0397")
1138 ("<Theta>" "#0398")
1139 ("<Iota>" "#0399")
1140 ("<Kappa>" "#039A")
1141 ("<Lambda>" "#039B")
1142 ("<Mu>" "#039C")
1143 ("<Nu>" "#039D")
1144 ("<Xi>" "#039E")
1145 ("<Omicron>" "#039F")
1146 ("<Pi>" "#03A0")
1147 ("<Rho>" "#03A1")
1148 ("<Sigma>" "#03A3")
1149 ("<Tau>" "#03A4")
1150 ("<Upsilon>" "#03A5")
1151 ("<Phi>" "#03A6")
1152 ("<Chi>" "#03A7")
1153 ("<Psi>" "#03A8")
1154 ("<Omega>" "#03A9")
1156 ;; Lowercase Greek
1157 ("<alpha>" "#03B1")
1158 ("<beta>" "#03B2")
1159 ("<gamma>" "#03B3")
1160 ("<delta>" "#03B4")
1161 ("<varepsilon>" "#03B5")
1162 ("<zeta>" "#03B6")
1163 ("<eta>" "#03B7")
1164 ("<theta>" "#03B8")
1165 ("<iota>" "#03B9")
1166 ("<kappa>" "#03BA")
1167 ("<lambda>" "#03BB")
1168 ("<mu>" "#03BC")
1169 ("<nu>" "#03BD")
1170 ("<xi>" "#03BE")
1171 ("<omicron>" "#03BF")
1172 ("<pi>" "#03C0")
1173 ("<rho>" "#03C1")
1174 ("<varsigma>" "#03C2")
1175 ("<sigma>" "#03C3")
1176 ("<tau>" "#03C4")
1177 ("<upsilon>" "#03C5")
1178 ("<varphi>" "#03C6")
1179 ("<chi>" "#03C7")
1180 ("<psi>" "#03C8")
1181 ("<omega>" "#03C9")
1183 ;; Variant letterforms
1184 ("<vartheta>" "#03D1")
1185 ("<phi>" "#03D5")
1186 ("<varpi>" "#03D6")
1187 ("<digamma>" "#03DD")
1188 ("<varkappa>" "#03F0")
1189 ("<varrho>" "#03F1")
1190 ("<epsilon>" "#03F5")
1191 ("<backepsilon>" "#03F6")
1193 ;;; Halfwidth and Fullwidth Forms FF00--FFEF
1195 ("<longminus>" "#FF0D")
1196 ("<longequal>" "#FF1D")
1198 ;;; Mathematical Alphanumeric Symbols 1D400--1D7FF
1200 ;; Bold symbols
1201 ("<b-A>" "#1D468")
1202 ("<b-B>" "#1D469")
1203 ("<b-C>" "#1D46A")
1204 ("<b-D>" "#1D46B")
1205 ("<b-E>" "#1D46C")
1206 ("<b-F>" "#1D46D")
1207 ("<b-G>" "#1D46E")
1208 ("<b-H>" "#1D46F")
1209 ("<b-I>" "#1D470")
1210 ("<b-J>" "#1D471")
1211 ("<b-K>" "#1D472")
1212 ("<b-L>" "#1D473")
1213 ("<b-M>" "#1D474")
1214 ("<b-N>" "#1D475")
1215 ("<b-O>" "#1D476")
1216 ("<b-P>" "#1D477")
1217 ("<b-Q>" "#1D478")
1218 ("<b-R>" "#1D479")
1219 ("<b-S>" "#1D47A")
1220 ("<b-T>" "#1D47B")
1221 ("<b-U>" "#1D47C")
1222 ("<b-V>" "#1D47D")
1223 ("<b-W>" "#1D47E")
1224 ("<b-X>" "#1D47F")
1225 ("<b-Y>" "#1D480")
1226 ("<b-Z>" "#1D481")
1227 ("<b-a>" "#1D482")
1228 ("<b-b>" "#1D483")
1229 ("<b-c>" "#1D484")
1230 ("<b-d>" "#1D485")
1231 ("<b-e>" "#1D486")
1232 ("<b-f>" "#1D487")
1233 ("<b-g>" "#1D488")
1234 ("<b-h>" "#1D489")
1235 ("<b-i>" "#1D48A")
1236 ("<b-j>" "#1D48B")
1237 ("<b-k>" "#1D48C")
1238 ("<b-l>" "#1D48D")
1239 ("<b-m>" "#1D48E")
1240 ("<b-n>" "#1D48F")
1241 ("<b-o>" "#1D490")
1242 ("<b-p>" "#1D491")
1243 ("<b-q>" "#1D492")
1244 ("<b-r>" "#1D493")
1245 ("<b-s>" "#1D494")
1246 ("<b-t>" "#1D495")
1247 ("<b-u>" "#1D496")
1248 ("<b-v>" "#1D497")
1249 ("<b-w>" "#1D498")
1250 ("<b-x>" "#1D499")
1251 ("<b-y>" "#1D49A")
1252 ("<b-z>" "#1D49B")
1254 ;; Script symbols
1255 ("<cal-A>" "#1D49C")
1256 ;("<cal-B>" "#212C")
1257 ("<cal-C>" "#1D49E")
1258 ("<cal-D>" "#1D49F")
1259 ;("<cal-E>" "#2130")
1260 ;("<cal-F>" "#2131")
1261 ("<cal-G>" "#1D4A2")
1262 ;("<cal-H>" "#210B")
1263 ;("<cal-I>" "#2110")
1264 ("<cal-J>" "#1D4A5")
1265 ("<cal-K>" "#1D4A6")
1266 ;("<cal-L>" "#2112")
1267 ;("<cal-M>" "#2133")
1268 ("<cal-N>" "#1D4A9")
1269 ("<cal-O>" "#1D4AA")
1270 ("<cal-P>" "#1D4AB")
1271 ("<cal-Q>" "#1D4AC")
1272 ;("<cal-R>" "#211B")
1273 ("<cal-S>" "#1D4AE")
1274 ("<cal-T>" "#1D4AF")
1275 ("<cal-U>" "#1D4B0")
1276 ("<cal-V>" "#1D4B1")
1277 ("<cal-W>" "#1D4B2")
1278 ("<cal-X>" "#1D4B3")
1279 ("<cal-Y>" "#1D4B4")
1280 ("<cal-Z>" "#1D4B5")
1282 ;; TeXmacs has no lowercase script symbol
1283 ;("<cal-a>" "#1D4B6")
1284 ;("<cal-b>" "#1D4B7")
1285 ;("<cal-c>" "#1D4B8")
1286 ;("<cal-d>" "#1D4B9")
1287 ;;("<cal-e>" "#212F")
1288 ;("<cal-f>" "#1D4BB")
1289 ;;("<cal-g>" "#210A")
1290 ;("<cal-h>" "#1D4BD")
1291 ;("<cal-i>" "#1D4BE")
1292 ;("<cal-j>" "#1D4BF")
1293 ;("<cal-k>" "#1D4C0")
1294 ;("<cal-l>" "#1D4C1")
1295 ;("<cal-m>" "#1D4C2")
1296 ;("<cal-n>" "#1D4C3")
1297 ;;("<cal-o>" "#2134")
1298 ;("<cal-p>" "#1D4C5")
1299 ;("<cal-q>" "#1D4C6")
1300 ;("<cal-r>" "#1D4C7")
1301 ;("<cal-s>" "#1D4C8")
1302 ;("<cal-t>" "#1D4C9")
1303 ;("<cal-u>" "#1D4CA")
1304 ;("<cal-v>" "#1D4CB")
1305 ;("<cal-w>" "#1D4CC")
1306 ;("<cal-x>" "#1D4CD")
1307 ;("<cal-y>" "#1D4CE")
1308 ;("<cal-z>" "#1D4CF")
1310 ;; Bold script symbols
1311 ("<b-cal-A>" "#1D4D0")
1312 ("<b-cal-B>" "#1D4D1")
1313 ("<b-cal-C>" "#1D4D2")
1314 ("<b-cal-D>" "#1D4D3")
1315 ("<b-cal-E>" "#1D4D4")
1316 ("<b-cal-F>" "#1D4D5")
1317 ("<b-cal-G>" "#1D4D6")
1318 ("<b-cal-H>" "#1D4D7")
1319 ("<b-cal-I>" "#1D4D8")
1320 ("<b-cal-J>" "#1D4D9")
1321 ("<b-cal-K>" "#1D4DA")
1322 ("<b-cal-L>" "#1D4DB")
1323 ("<b-cal-M>" "#1D4DC")
1324 ("<b-cal-N>" "#1D4DD")
1325 ("<b-cal-O>" "#1D4DE")
1326 ("<b-cal-P>" "#1D4DF")
1327 ("<b-cal-Q>" "#1D4E0")
1328 ("<b-cal-R>" "#1D4E1")
1329 ("<b-cal-S>" "#1D4E2")
1330 ("<b-cal-T>" "#1D4E3")
1331 ("<b-cal-U>" "#1D4E4")
1332 ("<b-cal-V>" "#1D4E5")
1333 ("<b-cal-W>" "#1D4E6")
1334 ("<b-cal-X>" "#1D4E7")
1335 ("<b-cal-Y>" "#1D4E8")
1336 ("<b-cal-Z>" "#1D4E9")
1338 ;; TeXmacs has no lowercase script symbol
1339 ;("<b-cal-a>" "#1D4EA")
1340 ;("<b-cal-b>" "#1D4EB")
1341 ;("<b-cal-c>" "#1D4EC")
1342 ;("<b-cal-d>" "#1D4ED")
1343 ;("<b-cal-e>" "#1D4EE")
1344 ;("<b-cal-f>" "#1D4EF")
1345 ;("<b-cal-g>" "#1D4F0")
1346 ;("<b-cal-h>" "#1D4F1")
1347 ;("<b-cal-i>" "#1D4F2")
1348 ;("<b-cal-j>" "#1D4F3")
1349 ;("<b-cal-k>" "#1D4F4")
1350 ;("<b-cal-l>" "#1D4F5")
1351 ;("<b-cal-m>" "#1D4F6")
1352 ;("<b-cal-n>" "#1D4F7")
1353 ;("<b-cal-o>" "#1D4F8")
1354 ;("<b-cal-p>" "#1D4F9")
1355 ;("<b-cal-q>" "#1D4FA")
1356 ;("<b-cal-r>" "#1D4FB")
1357 ;("<b-cal-s>" "#1D4FC")
1358 ;("<b-cal-t>" "#1D4FD")
1359 ;("<b-cal-u>" "#1D4FE")
1360 ;("<b-cal-v>" "#1D4FF")
1361 ;("<b-cal-w>" "#1D500")
1362 ;("<b-cal-x>" "#1D501")
1363 ;("<b-cal-y>" "#1D502")
1364 ;("<b-cal-z>" "#1D503")
1366 ;; Fraktur symbols
1367 ("<frak-A>" "#1D504")
1368 ("<frak-B>" "#1D505")
1369 ;("<frak-C>" "#212D")
1370 ("<frak-D>" "#1D507")
1371 ("<frak-E>" "#1D508")
1372 ("<frak-F>" "#1D509")
1373 ("<frak-G>" "#1D50A")
1374 ;("<frak-H>" "#210C")
1375 ;("<frak-I>" "#2111")
1376 ("<frak-J>" "#1D50D")
1377 ("<frak-K>" "#1D50E")
1378 ("<frak-L>" "#1D50F")
1379 ("<frak-M>" "#1D510")
1380 ("<frak-N>" "#1D511")
1381 ("<frak-O>" "#1D512")
1382 ("<frak-P>" "#1D513")
1383 ("<frak-Q>" "#1D514")
1384 ;("<frak-R>" "#211C")
1385 ("<frak-S>" "#1D516")
1386 ("<frak-T>" "#1D517")
1387 ("<frak-U>" "#1D518")
1388 ("<frak-V>" "#1D519")
1389 ("<frak-W>" "#1D51A")
1390 ("<frak-X>" "#1D51B")
1391 ("<frak-Y>" "#1D51C")
1392 ;("<frak-Z>" "#2128")
1393 ("<frak-a>" "#1D51E")
1394 ("<frak-b>" "#1D51F")
1395 ("<frak-c>" "#1D520")
1396 ("<frak-d>" "#1D521")
1397 ("<frak-e>" "#1D522")
1398 ("<frak-f>" "#1D523")
1399 ("<frak-g>" "#1D524")
1400 ("<frak-h>" "#1D525")
1401 ("<frak-i>" "#1D526")
1402 ("<frak-j>" "#1D527")
1403 ("<frak-k>" "#1D528")
1404 ("<frak-l>" "#1D529")
1405 ("<frak-m>" "#1D52A")
1406 ("<frak-n>" "#1D52B")
1407 ("<frak-o>" "#1D52C")
1408 ("<frak-p>" "#1D52D")
1409 ("<frak-q>" "#1D52E")
1410 ("<frak-r>" "#1D52F")
1411 ("<frak-s>" "#1D530")
1412 ("<frak-t>" "#1D531")
1413 ("<frak-u>" "#1D532")
1414 ("<frak-v>" "#1D533")
1415 ("<frak-w>" "#1D534")
1416 ("<frak-x>" "#1D535")
1417 ("<frak-y>" "#1D536")
1418 ("<frak-z>" "#1D537")
1420 ;; Double-struck symbols
1421 ("<bbb-A>" "#1D538")
1422 ("<bbb-B>" "#1D539")
1423 ;("<bbb-C>" "#2102")
1424 ("<bbb-D>" "#1D53B")
1425 ("<bbb-E>" "#1D53C")
1426 ("<bbb-F>" "#1D53D")
1427 ("<bbb-G>" "#1D53E")
1428 ;("<bbb-H>" "#210D")
1429 ("<bbb-I>" "#1D540")
1430 ("<bbb-J>" "#1D541")
1431 ("<bbb-K>" "#1D542")
1432 ("<bbb-L>" "#1D543")
1433 ("<bbb-M>" "#1D544")
1434 ;("<bbb-N>" "#2115")
1435 ("<bbb-O>" "#1D546")
1436 ;("<bbb-P>" "#2119")
1437 ;("<bbb-Q>" "#211A")
1438 ;("<bbb-R>" "#211D")
1439 ("<bbb-S>" "#1D54A")
1440 ("<bbb-T>" "#1D54B")
1441 ("<bbb-U>" "#1D54C")
1442 ("<bbb-V>" "#1D54D")
1443 ("<bbb-W>" "#1D54E")
1444 ("<bbb-X>" "#1D54F")
1445 ("<bbb-Y>" "#1D550")
1446 ;("<bbb-Z>" "#2124")
1447 ("<bbb-a>" "#1D552")
1448 ("<bbb-b>" "#1D553")
1449 ("<bbb-c>" "#1D554")
1450 ("<bbb-d>" "#1D555")
1451 ("<bbb-e>" "#1D556")
1452 ("<bbb-f>" "#1D557")
1453 ("<bbb-g>" "#1D558")
1454 ("<bbb-h>" "#1D559")
1455 ("<bbb-i>" "#1D55A")
1456 ("<bbb-j>" "#1D55B")
1457 ("<bbb-k>" "#1D55C")
1458 ("<bbb-l>" "#1D55D")
1459 ("<bbb-m>" "#1D55E")
1460 ("<bbb-n>" "#1D55F")
1461 ("<bbb-o>" "#1D560")
1462 ("<bbb-p>" "#1D561")
1463 ("<bbb-q>" "#1D562")
1464 ("<bbb-r>" "#1D563")
1465 ("<bbb-s>" "#1D564")
1466 ("<bbb-t>" "#1D565")
1467 ("<bbb-u>" "#1D566")
1468 ("<bbb-v>" "#1D567")
1469 ("<bbb-w>" "#1D568")
1470 ("<bbb-x>" "#1D569")
1471 ("<bbb-y>" "#1D56A")
1472 ("<bbb-z>" "#1D56B")
1474 ;; Bold Greek uppercase symbols
1475 ("<b-Alpha>" "#1D6A8")
1476 ("<b-Beta>" "#1D6A9")
1477 ("<b-Gamma>" "#1D6AA")
1478 ("<b-Delta>" "#1D6AB")
1479 ("<b-Epsilon>" "#1D6AC")
1480 ("<b-Zeta>" "#1D6AD")
1481 ("<b-Eta>" "#1D6AE")
1482 ("<b-Theta>" "#1D6AF")
1483 ("<b-Iota>" "#1D6B0")
1484 ("<b-Kappa>" "#1D6B1")
1485 ("<b-Lambda>" "#1D6B2")
1486 ("<b-Mu>" "#1D6B3")
1487 ("<b-Nu>" "#1D6B4")
1488 ("<b-Xi>" "#1D6B5")
1489 ("<b-Omicron>" "#1D6B6")
1490 ("<b-Pi>" "#1D6B7")
1491 ("<b-Rho>" "#1D6B8")
1492 ("<b-Sigma>" "#1D6BA")
1493 ("<b-Tau>" "#1D6BB")
1494 ("<b-Upsilon>" "#1D6BC")
1495 ("<b-Phi>" "#1D6BD")
1496 ("<b-Chi>" "#1D6BE")
1497 ("<b-Psi>" "#1D6BF")
1498 ("<b-Omega>" "#1D6C0")
1500 ;; Bold Greek lowercase symbols
1501 ("<b-alpha>" "#1D6C2")
1502 ("<b-beta>" "#1D6C3")
1503 ("<b-gamma>" "#1D6C4")
1504 ("<b-delta>" "#1D6C5")
1505 ("<b-varepsilon>" "#1D6C6")
1506 ("<b-zeta>" "#1D6C7")
1507 ("<b-eta>" "#1D6C8")
1508 ("<b-theta>" "#1D6C9")
1509 ("<b-iota>" "#1D6CA")
1510 ("<b-kappa>" "#1D6CB")
1511 ("<b-lambda>" "#1D6CC")
1512 ("<b-mu>" "#1D6CD")
1513 ("<b-nu>" "#1D6CE")
1514 ("<b-xi>" "#1D6CF")
1515 ("<b-omicron>" "#1D6D0")
1516 ("<b-pi>" "#1D6D1")
1517 ("<b-rho>" "#1D6D2")
1518 ("<b-varsigma>" "#1D6D3")
1519 ("<b-sigma>" "#1D6D4")
1520 ("<b-tau>" "#1D6D5")
1521 ("<b-upsilon>" "#1D6D6")
1522 ("<b-varphi>" "#1D6D7")
1523 ("<b-chi>" "#1D6D8")
1524 ("<b-psi>" "#1D6D9")
1525 ("<b-omega>" "#1D6DA")
1527 ;; Additional bold Greek symbols
1528 ("<b-epsilon>" "#1D6DC")
1529 ("<b-vartheta>" "#1D6DD")
1530 ("<b-varkappa>" "#1D6DE")
1531 ("<b-phi>" "#1D6DF")
1532 ("<b-varrho>" "#1D6E0")
1533 ("<b-varpi>" "#1D6E1")
1535 ;; Bold digits
1536 ("<b-0>" "#1D7CE")
1537 ("<b-1>" "#1D7CF")
1538 ("<b-2>" "#1D7D0")
1539 ("<b-3>" "#1D7D1")
1540 ("<b-4>" "#1D7D2")
1541 ("<b-5>" "#1D7D3")
1542 ("<b-6>" "#1D7D4")
1543 ("<b-7>" "#1D7D5")
1544 ("<b-8>" "#1D7D6")
1545 ("<b-9>" "#1D7D7")
1547 ;;; Musical Symbols 1D100--1D1FF
1548 ("<fullnote>" "#1D15D")
1549 ("<halfnote>" "#1D15E")