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
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
|
<!--
File isoamsr.ent produced by the XSL script mmldtd.xsl
from input data in unicode.xml.
Please report any errors to
David Carlisle <davidc@nag.co.uk>.
The numeric character values assigned to each entity
(should) match either official Unicode assignments
or assignments provisionally allocated by the
Unicode Consortium based on the characters in the `STIX'
propsal for mathematics. Note that these assignments
have not been ratified by the corresponding ISO
committee and thus should be considered liable to
change.
Entity names in this file are derived from files carrying the
following notice:
(C) International Organization for Standardization 1991
Permission to copy in any form is granted for use with
conforming SGML systems and applications as defined in
ISO 8879, provided this notice is included in all copies.
-->
<!ENTITY ape "≊" ><!--/approxeq R: approximate, equals -->
<!ENTITY apE "≊" ><!--approximately equal or equal to -->
<!ENTITY apid "≋" ><!--approximately identical to -->
<!ENTITY asymp "≍" ><!--/asymp R: asymptotically equal to -->
<!ENTITY Barv "⫧" ><!--vert, dbl bar (over) -->
<!ENTITY bcong "≌" ><!--/backcong R: reverse congruent -->
<!ENTITY bepsi "ℼ" ><!--/backepsilon R: such that -->
<!ENTITY bowtie "⋈" ><!--/bowtie R: -->
<!ENTITY bsim "∽" ><!--/backsim R: reverse similar -->
<!ENTITY bsime "⋍" ><!--/backsimeq R: reverse similar, eq -->
<!ENTITY bsolhsub "\⊂" ><!--reverse solidus, subset -->
<!ENTITY bump "≎" ><!--/Bumpeq R: bumpy equals -->
<!ENTITY bumpe "≏" ><!--/bumpeq R: bumpy equals, equals -->
<!ENTITY bumpE "⪮" ><!--bump, equals -->
<!ENTITY cire "≗" ><!--/circeq R: circle, equals -->
<!ENTITY Colon "∷" ><!--/Colon, two colons -->
<!ENTITY colone "≔" ><!--/coloneq R: colon, equals -->
<!ENTITY Colone "⩴" ><!--double colon, equals -->
<!ENTITY congdot "⩭" ><!--congruent, dot -->
<!ENTITY csub "⫏" ><!--subset, closed -->
<!ENTITY csube "⫑" ><!--subset, closed, equals -->
<!ENTITY csup "⫐" ><!--superset, closed -->
<!ENTITY csupe "⫒" ><!--superset, closed, equals -->
<!ENTITY cuepr "⋞" ><!--/curlyeqprec R: curly eq, precedes -->
<!ENTITY cuesc "⋟" ><!--/curlyeqsucc R: curly eq, succeeds -->
<!ENTITY dashv "⊣" ><!--/dashv R: dash, vertical -->
<!ENTITY Dashv "⫤" ><!--dbl dash, vertical -->
<!ENTITY easter "≛" ><!--equal, asterisk above -->
<!ENTITY ecir "≖" ><!--/eqcirc R: circle on equals sign -->
<!ENTITY ecolon "≕" ><!--/eqcolon R: equals, colon -->
<!ENTITY eDDot "⩷" ><!--/ddotseq R: equal with four dots -->
<!ENTITY eDot "≑" ><!--/doteqdot /Doteq R: eq, even dots -->
<!ENTITY efDot "≒" ><!--/fallingdotseq R: eq, falling dots -->
<!ENTITY eg "⪚" ><!--equal-or-greater -->
<!ENTITY egs "⋝" ><!--/eqslantgtr R: equal-or-gtr, slanted -->
<!ENTITY egsdot "⪘" ><!--equal-or-greater, slanted, dot inside -->
<!ENTITY el "⪙" ><!--equal-or-less -->
<!ENTITY els "⋜" ><!--/eqslantless R: eq-or-less, slanted -->
<!ENTITY elsdot "⪗" ><!--equal-or-less, slanted, dot inside -->
<!ENTITY equest "≟" ><!--/questeq R: equal with questionmark -->
<!ENTITY equivDD "⩸" ><!--equivalent, four dots above -->
<!ENTITY erDot "≓" ><!--/risingdotseq R: eq, rising dots -->
<!ENTITY esdot "≐" ><!--/doteq R: equals, single dot above -->
<!ENTITY esim "≂" ><!--/esim R: equals, similar -->
<!ENTITY Esim "⩳" ><!--equal, similar -->
<!ENTITY fork "⋔" ><!--/pitchfork R: pitchfork -->
<!ENTITY forkv "⫙" ><!--fork, variant -->
<!ENTITY frown "⌢" ><!--/frown R: down curve -->
<!ENTITY gap "≳" ><!--/gtrapprox R: greater, approximate -->
<!ENTITY gE "≧" ><!--/geqq R: greater, double equals -->
<!ENTITY gel "⋛" ><!--/gtreqless R: greater, equals, less -->
<!ENTITY gEl "⋛" ><!--/gtreqqless R: gt, dbl equals, less -->
<!ENTITY ges "⩾" ><!--/geqslant R: gt-or-equal, slanted -->
<!ENTITY gescc "⪩" ><!--greater than, closed by curve, equal, slanted -->
<!ENTITY gesdot "⪀" ><!--greater-than-or-equal, slanted, dot inside -->
<!ENTITY gesdoto "⪂" ><!--greater-than-or-equal, slanted, dot above -->
<!ENTITY gesdotol "⪄" ><!--greater-than-or-equal, slanted, dot above left -->
<!ENTITY gesl "⋛⁣" ><!--greater, equal, slanted, less -->
<!ENTITY gesles "⪔" ><!--greater, equal, slanted, less, equal, slanted -->
<!ENTITY Gg "⋙" ><!--/ggg /Gg /gggtr R: triple gtr-than -->
<!ENTITY gl "≷" ><!--/gtrless R: greater, less -->
<!ENTITY gla "⪥" ><!--greater, less, apart -->
<!ENTITY glE "⪒" ><!--greater, less, equal -->
<!ENTITY glj "⪤" ><!--greater, less, overlapping -->
<!ENTITY gsim "≳" ><!--/gtrsim R: greater, similar -->
<!ENTITY gsime "⪎" ><!--greater, similar, equal -->
<!ENTITY gsiml "⪐" ><!--greater, similar, less -->
<!ENTITY Gt "≫" ><!--/gg R: dbl greater-than sign -->
<!ENTITY gtcc "⪧" ><!--greater than, closed by curve -->
<!ENTITY gtcir "⩺" ><!--greater than, circle inside -->
<!ENTITY gtdot "⋗" ><!--/gtrdot R: greater than, with dot -->
<!ENTITY gtquest "⩼" ><!--greater than, questionmark above -->
<!ENTITY gtrarr "⥸" ><!--greater than, right arrow -->
<!ENTITY homtht "∻" ><!--homothetic -->
<!ENTITY lap "≲" ><!--/lessapprox R: less, approximate -->
<!ENTITY lat "⪫" ><!--larger than -->
<!ENTITY late "⪭" ><!--larger than or equal -->
<!ENTITY lates "⪭⁣" ><!--larger than or equal, slanted -->
<!ENTITY lE "≦" ><!--/leqq R: less, double equals -->
<!ENTITY leg "⋚" ><!--/lesseqgtr R: less, eq, greater -->
<!ENTITY lEg "⋚" ><!--/lesseqqgtr R: less, dbl eq, greater -->
<!ENTITY les "⩽" ><!--/leqslant R: less-than-or-eq, slant -->
<!ENTITY lescc "⪨" ><!--less than, closed by curve, equal, slanted -->
<!ENTITY lesdot "⩿" ><!--less-than-or-equal, slanted, dot inside -->
<!ENTITY lesdoto "⪁" ><!--less-than-or-equal, slanted, dot above -->
<!ENTITY lesdotor "⪃" ><!--less-than-or-equal, slanted, dot above right -->
<!ENTITY lesg "⋚⁣" ><!--less, equal, slanted, greater -->
<!ENTITY lesges "⪓" ><!--less, equal, slanted, greater, equal, slanted -->
<!ENTITY lg "≶" ><!--/lessgtr R: less, greater -->
<!ENTITY lgE "⪑" ><!--less, greater, equal -->
<!ENTITY Ll "⋘" ><!--/Ll /lll /llless R: triple less-than -->
<!ENTITY lsim "≲" ><!--/lesssim R: less, similar -->
<!ENTITY lsime "⪍" ><!--less, similar, equal -->
<!ENTITY lsimg "⪏" ><!--less, similar, greater -->
<!ENTITY Lt "≪" ><!--/ll R: double less-than sign -->
<!ENTITY ltcc "⪦" ><!--less than, closed by curve -->
<!ENTITY ltcir "⩹" ><!--less than, circle inside -->
<!ENTITY ltdot "⋖" ><!--/lessdot R: less than, with dot -->
<!ENTITY ltlarr "⥶" ><!--less than, left arrow -->
<!ENTITY ltquest "⩻" ><!--less than, questionmark above -->
<!ENTITY ltrie "⊴" ><!--/trianglelefteq R: left triangle, eq -->
<!ENTITY mcomma "⨩" ><!--minus, comma above -->
<!ENTITY mDDot "∺" ><!--minus with four dots, geometric properties -->
<!ENTITY mid "∣" ><!--/mid R: -->
<!ENTITY mlcp "⫛" ><!--/mlcp -->
<!ENTITY models "⊧" ><!--/models R: -->
<!ENTITY mstpos "∾" ><!--most positive -->
<!ENTITY pr "≺" ><!--/prec R: precedes -->
<!ENTITY Pr "⪻" ><!--dbl precedes -->
<!ENTITY prap "≾" ><!--/precapprox R: precedes, approximate -->
<!ENTITY prcue "≼" ><!--/preccurlyeq R: precedes, curly eq -->
<!ENTITY pre "⪯" ><!--/preceq R: precedes, equals -->
<!ENTITY prE "⪯" ><!--precedes, dbl equals -->
<!ENTITY prsim "≾" ><!--/precsim R: precedes, similar -->
<!ENTITY prurel "⊰" ><!--element precedes under relation -->
<!ENTITY ratio "∶" ><!--/ratio -->
<!ENTITY rtrie "⊵" ><!--/trianglerighteq R: right tri, eq -->
<!ENTITY rtriltri "⧎" ><!--right triangle above left triangle -->
<!ENTITY sc "≻" ><!--/succ R: succeeds -->
<!ENTITY Sc "⪼" ><!--dbl succeeds -->
<!ENTITY scap "≿" ><!--/succapprox R: succeeds, approximate -->
<!ENTITY sccue "≽" ><!--/succcurlyeq R: succeeds, curly eq -->
<!ENTITY sce "≽" ><!--/succeq R: succeeds, equals -->
<!ENTITY scE "≾" ><!--succeeds, dbl equals -->
<!ENTITY scsim "≿" ><!--/succsim R: succeeds, similar -->
<!ENTITY sdote "⩦" ><!--equal, dot below -->
<!ENTITY simg "⪞" ><!--similar, greater -->
<!ENTITY simgE "⪠" ><!--similar, greater, equal -->
<!ENTITY siml "⪝" ><!--similar, less -->
<!ENTITY simlE "⪟" ><!--similar, less, equal -->
<!ENTITY smid "∣⁣" ><!--/shortmid R: -->
<!ENTITY smile "⌣" ><!--/smile R: up curve -->
<!ENTITY smt "⪪" ><!--smaller than -->
<!ENTITY smte "⪬" ><!--smaller than or equal -->
<!ENTITY smtes "⪬⁣" ><!--smaller than or equal, slanted -->
<!ENTITY spar "∥⁣" ><!--/shortparallel R: short parallel -->
<!ENTITY sqsub "⊏" ><!--/sqsubset R: square subset -->
<!ENTITY sqsube "⊑" ><!--/sqsubseteq R: square subset, equals -->
<!ENTITY sqsup "⊐" ><!--/sqsupset R: square superset -->
<!ENTITY sqsupe "⊒" ><!--/sqsupseteq R: square superset, eq -->
<!ENTITY Sub "⋐" ><!--/Subset R: double subset -->
<!ENTITY subE "⊆" ><!--/subseteqq R: subset, dbl equals -->
<!ENTITY subedot "⫃" ><!--subset, equals, dot -->
<!ENTITY submult "⫁" ><!--subset, multiply -->
<!ENTITY subplus "⪿" ><!--subset, plus -->
<!ENTITY subrarr "⥹" ><!--subset, right arrow -->
<!ENTITY subsim "⫇" ><!--subset, similar -->
<!ENTITY subsub "⫕" ><!--subset above subset -->
<!ENTITY subsup "⫓" ><!--subset above superset -->
<!ENTITY Sup "⋑" ><!--/Supset R: dbl superset -->
<!ENTITY supdsub "⫘" ><!--superset, subset, dash joining them -->
<!ENTITY supE "⊇" ><!--/supseteqq R: superset, dbl equals -->
<!ENTITY supedot "⫄" ><!--superset, equals, dot -->
<!ENTITY suphsol "⊃/" ><!--superset, solidus -->
<!ENTITY suphsub "⫗" ><!--superset, subset -->
<!ENTITY suplarr "⥻" ><!--superset, left arrow -->
<!ENTITY supmult "⫂" ><!--superset, multiply -->
<!ENTITY supplus "⫀" ><!--superset, plus -->
<!ENTITY supsim "⫈" ><!--superset, similar -->
<!ENTITY supsub "⫔" ><!--superset above subset -->
<!ENTITY supsup "⫖" ><!--superset above superset -->
<!ENTITY thkap "≈⁣" ><!--/thickapprox R: thick approximate -->
<!ENTITY thksim "∼" ><!--/thicksim R: thick similar -->
<!ENTITY topfork "⫚" ><!--fork with top -->
<!ENTITY trie "≜" ><!--/triangleq R: triangle, equals -->
<!ENTITY twixt "≬" ><!--/between R: between -->
<!ENTITY vBar "⫨" ><!--vert, dbl bar (under) -->
<!ENTITY Vbar "⫫" ><!--dbl vert, bar (under) -->
<!ENTITY vBarv "⫩" ><!--dbl bar, vert over and under -->
<!ENTITY vdash "⊢" ><!--/vdash R: vertical, dash -->
<!ENTITY vDash "⊨" ><!--/vDash R: vertical, dbl dash -->
<!ENTITY Vdash "⊩" ><!--/Vdash R: dbl vertical, dash -->
<!ENTITY VDash "⊫" ><!--dbl vert, dbl dash -->
<!ENTITY Vdashl "⫦" ><!--vertical, dash (long) -->
<!ENTITY vltri "⊲" ><!--/vartriangleleft R: l tri, open, var -->
<!ENTITY vprop "∝" ><!--/varpropto R: proportional, variant -->
<!ENTITY vrtri "⊳" ><!--/vartriangleright R: r tri, open, var -->
<!ENTITY Vvdash "⊪" ><!--/Vvdash R: triple vertical, dash -->
|
