Commit | Line | Data |
---|---|---|
8a2fad8d GM |
1 | (nxml-define-char-name-set 'miscellaneous-mathematical-symbols-b |
2 | '(("TRIPLE VERTICAL BAR DELIMITER" #x2980) | |
3 | ("Z NOTATION SPOT" #x2981) | |
4 | ("Z NOTATION TYPE COLON" #x2982) | |
5 | ("LEFT WHITE CURLY BRACKET" #x2983) | |
6 | ("RIGHT WHITE CURLY BRACKET" #x2984) | |
7 | ("LEFT WHITE PARENTHESIS" #x2985) | |
8 | ("RIGHT WHITE PARENTHESIS" #x2986) | |
9 | ("Z NOTATION LEFT IMAGE BRACKET" #x2987) | |
10 | ("Z NOTATION RIGHT IMAGE BRACKET" #x2988) | |
11 | ("Z NOTATION LEFT BINDING BRACKET" #x2989) | |
12 | ("Z NOTATION RIGHT BINDING BRACKET" #x298A) | |
13 | ("LEFT SQUARE BRACKET WITH UNDERBAR" #x298B) | |
14 | ("RIGHT SQUARE BRACKET WITH UNDERBAR" #x298C) | |
15 | ("LEFT SQUARE BRACKET WITH TICK IN TOP CORNER" #x298D) | |
16 | ("RIGHT SQUARE BRACKET WITH TICK IN BOTTOM CORNER" #x298E) | |
17 | ("LEFT SQUARE BRACKET WITH TICK IN BOTTOM CORNER" #x298F) | |
18 | ("RIGHT SQUARE BRACKET WITH TICK IN TOP CORNER" #x2990) | |
19 | ("LEFT ANGLE BRACKET WITH DOT" #x2991) | |
20 | ("RIGHT ANGLE BRACKET WITH DOT" #x2992) | |
21 | ("LEFT ARC LESS-THAN BRACKET" #x2993) | |
22 | ("RIGHT ARC GREATER-THAN BRACKET" #x2994) | |
23 | ("DOUBLE LEFT ARC GREATER-THAN BRACKET" #x2995) | |
24 | ("DOUBLE RIGHT ARC LESS-THAN BRACKET" #x2996) | |
25 | ("LEFT BLACK TORTOISE SHELL BRACKET" #x2997) | |
26 | ("RIGHT BLACK TORTOISE SHELL BRACKET" #x2998) | |
27 | ("DOTTED FENCE" #x2999) | |
28 | ("VERTICAL ZIGZAG LINE" #x299A) | |
29 | ("MEASURED ANGLE OPENING LEFT" #x299B) | |
30 | ("RIGHT ANGLE VARIANT WITH SQUARE" #x299C) | |
31 | ("MEASURED RIGHT ANGLE WITH DOT" #x299D) | |
32 | ("ANGLE WITH S INSIDE" #x299E) | |
33 | ("ACUTE ANGLE" #x299F) | |
34 | ("SPHERICAL ANGLE OPENING LEFT" #x29A0) | |
35 | ("SPHERICAL ANGLE OPENING UP" #x29A1) | |
36 | ("TURNED ANGLE" #x29A2) | |
37 | ("REVERSED ANGLE" #x29A3) | |
38 | ("ANGLE WITH UNDERBAR" #x29A4) | |
39 | ("REVERSED ANGLE WITH UNDERBAR" #x29A5) | |
40 | ("OBLIQUE ANGLE OPENING UP" #x29A6) | |
41 | ("OBLIQUE ANGLE OPENING DOWN" #x29A7) | |
42 | ("MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING UP AND RIGHT" #x29A8) | |
43 | ("MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING UP AND LEFT" #x29A9) | |
44 | ("MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING DOWN AND RIGHT" #x29AA) | |
45 | ("MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING DOWN AND LEFT" #x29AB) | |
46 | ("MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING RIGHT AND UP" #x29AC) | |
47 | ("MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING LEFT AND UP" #x29AD) | |
48 | ("MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING RIGHT AND DOWN" #x29AE) | |
49 | ("MEASURED ANGLE WITH OPEN ARM ENDING IN ARROW POINTING LEFT AND DOWN" #x29AF) | |
50 | ("REVERSED EMPTY SET" #x29B0) | |
51 | ("EMPTY SET WITH OVERBAR" #x29B1) | |
52 | ("EMPTY SET WITH SMALL CIRCLE ABOVE" #x29B2) | |
53 | ("EMPTY SET WITH RIGHT ARROW ABOVE" #x29B3) | |
54 | ("EMPTY SET WITH LEFT ARROW ABOVE" #x29B4) | |
55 | ("CIRCLE WITH HORIZONTAL BAR" #x29B5) | |
56 | ("CIRCLED VERTICAL BAR" #x29B6) | |
57 | ("CIRCLED PARALLEL" #x29B7) | |
58 | ("CIRCLED REVERSE SOLIDUS" #x29B8) | |
59 | ("CIRCLED PERPENDICULAR" #x29B9) | |
60 | ("CIRCLE DIVIDED BY HORIZONTAL BAR AND TOP HALF DIVIDED BY VERTICAL BAR" #x29BA) | |
61 | ("CIRCLE WITH SUPERIMPOSED X" #x29BB) | |
62 | ("CIRCLED ANTICLOCKWISE-ROTATED DIVISION SIGN" #x29BC) | |
63 | ("UP ARROW THROUGH CIRCLE" #x29BD) | |
64 | ("CIRCLED WHITE BULLET" #x29BE) | |
65 | ("CIRCLED BULLET" #x29BF) | |
66 | ("CIRCLED LESS-THAN" #x29C0) | |
67 | ("CIRCLED GREATER-THAN" #x29C1) | |
68 | ("CIRCLE WITH SMALL CIRCLE TO THE RIGHT" #x29C2) | |
69 | ("CIRCLE WITH TWO HORIZONTAL STROKES TO THE RIGHT" #x29C3) | |
70 | ("SQUARED RISING DIAGONAL SLASH" #x29C4) | |
71 | ("SQUARED FALLING DIAGONAL SLASH" #x29C5) | |
72 | ("SQUARED ASTERISK" #x29C6) | |
73 | ("SQUARED SMALL CIRCLE" #x29C7) | |
74 | ("SQUARED SQUARE" #x29C8) | |
75 | ("TWO JOINED SQUARES" #x29C9) | |
76 | ("TRIANGLE WITH DOT ABOVE" #x29CA) | |
77 | ("TRIANGLE WITH UNDERBAR" #x29CB) | |
78 | ("S IN TRIANGLE" #x29CC) | |
79 | ("TRIANGLE WITH SERIFS AT BOTTOM" #x29CD) | |
80 | ("RIGHT TRIANGLE ABOVE LEFT TRIANGLE" #x29CE) | |
81 | ("LEFT TRIANGLE BESIDE VERTICAL BAR" #x29CF) | |
82 | ("VERTICAL BAR BESIDE RIGHT TRIANGLE" #x29D0) | |
83 | ("BOWTIE WITH LEFT HALF BLACK" #x29D1) | |
84 | ("BOWTIE WITH RIGHT HALF BLACK" #x29D2) | |
85 | ("BLACK BOWTIE" #x29D3) | |
86 | ("TIMES WITH LEFT HALF BLACK" #x29D4) | |
87 | ("TIMES WITH RIGHT HALF BLACK" #x29D5) | |
88 | ("WHITE HOURGLASS" #x29D6) | |
89 | ("BLACK HOURGLASS" #x29D7) | |
90 | ("LEFT WIGGLY FENCE" #x29D8) | |
91 | ("RIGHT WIGGLY FENCE" #x29D9) | |
92 | ("LEFT DOUBLE WIGGLY FENCE" #x29DA) | |
93 | ("RIGHT DOUBLE WIGGLY FENCE" #x29DB) | |
94 | ("INCOMPLETE INFINITY" #x29DC) | |
95 | ("TIE OVER INFINITY" #x29DD) | |
96 | ("INFINITY NEGATED WITH VERTICAL BAR" #x29DE) | |
97 | ("DOUBLE-ENDED MULTIMAP" #x29DF) | |
98 | ("SQUARE WITH CONTOURED OUTLINE" #x29E0) | |
99 | ("INCREASES AS" #x29E1) | |
100 | ("SHUFFLE PRODUCT" #x29E2) | |
101 | ("EQUALS SIGN AND SLANTED PARALLEL" #x29E3) | |
102 | ("EQUALS SIGN AND SLANTED PARALLEL WITH TILDE ABOVE" #x29E4) | |
103 | ("IDENTICAL TO AND SLANTED PARALLEL" #x29E5) | |
104 | ("GLEICH STARK" #x29E6) | |
105 | ("THERMODYNAMIC" #x29E7) | |
106 | ("DOWN-POINTING TRIANGLE WITH LEFT HALF BLACK" #x29E8) | |
107 | ("DOWN-POINTING TRIANGLE WITH RIGHT HALF BLACK" #x29E9) | |
108 | ("BLACK DIAMOND WITH DOWN ARROW" #x29EA) | |
109 | ("BLACK LOZENGE" #x29EB) | |
110 | ("WHITE CIRCLE WITH DOWN ARROW" #x29EC) | |
111 | ("BLACK CIRCLE WITH DOWN ARROW" #x29ED) | |
112 | ("ERROR-BARRED WHITE SQUARE" #x29EE) | |
113 | ("ERROR-BARRED BLACK SQUARE" #x29EF) | |
114 | ("ERROR-BARRED WHITE DIAMOND" #x29F0) | |
115 | ("ERROR-BARRED BLACK DIAMOND" #x29F1) | |
116 | ("ERROR-BARRED WHITE CIRCLE" #x29F2) | |
117 | ("ERROR-BARRED BLACK CIRCLE" #x29F3) | |
118 | ("RULE-DELAYED" #x29F4) | |
119 | ("REVERSE SOLIDUS OPERATOR" #x29F5) | |
120 | ("SOLIDUS WITH OVERBAR" #x29F6) | |
121 | ("REVERSE SOLIDUS WITH HORIZONTAL STROKE" #x29F7) | |
122 | ("BIG SOLIDUS" #x29F8) | |
123 | ("BIG REVERSE SOLIDUS" #x29F9) | |
124 | ("DOUBLE PLUS" #x29FA) | |
125 | ("TRIPLE PLUS" #x29FB) | |
126 | ("LEFT-POINTING CURVED ANGLE BRACKET" #x29FC) | |
127 | ("RIGHT-POINTING CURVED ANGLE BRACKET" #x29FD) | |
128 | ("TINY" #x29FE) | |
129 | ("MINY" #x29FF) | |
130 | )) | |
131 |