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