Project

Profile

Help

How to connect?
Download (14.6 KB) Statistics
| Branch: | Tag: | Revision:

he / latest10 / hej / net / sf / saxon / data / w3c / mathml / mathml3 / isoamsr.ent @ 02f8308b

1

    
2
<!--
3
     File isoamsr.ent produced by the XSL script entities.xsl
4
     from input data in unicode.xml.
5

    
6
     Copyright 1998 - 2009 W3C.
7

    
8
     Use and distribution of this code are permitted under the terms of the
9
     W3C Software Notice and License.
10
     http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231.html
11

    
12
     Please report any errors to David Carlisle
13
     via the public W3C list www-math@w3.org.
14

    
15
     The numeric character values assigned to each entity
16
     (should) match the Unicode assignments in Unicode 5.x.
17

    
18
     References to the VARIANT SELECTOR 1 character (&#x0FE00;)
19
     should match the uses listed in Unicode Technical Report 25.
20

    
21
     Entity names in this file are derived from files carrying the
22
     following notice:
23

    
24
     (C) International Organization for Standardization 1991
25
     Permission to copy in any form is granted for use with
26
     conforming SGML systems and applications as defined in
27
     ISO 8879, provided this notice is included in all copies.
28

    
29
-->
30

    
31

    
32
<!-- 
33

    
34
       Public identifier: -//W3C//ENTITIES Added Math Symbols: Relations//EN//XML
35
       System identifier: http://www.w3.org/2003/entities/2007/isoamsr.ent
36

    
37
     The public identifier should always be used verbatim.
38
     The system identifier may be changed to suit local requirements.
39

    
40
     Typical invocation:
41

    
42
       <!ENTITY % isoamsr PUBLIC
43
         "-//W3C//ENTITIES Added Math Symbols: Relations//EN//XML"
44
         "http://www.w3.org/2003/entities/2007/isoamsr.ent"
45
       >
46
       %isoamsr;
47

    
48
-->
49

    
50
<!ENTITY ape              "&#x0224A;" ><!--ALMOST EQUAL OR EQUAL TO -->
51
<!ENTITY apE              "&#x02A70;" ><!--APPROXIMATELY EQUAL OR EQUAL TO -->
52
<!ENTITY apid             "&#x0224B;" ><!--TRIPLE TILDE -->
53
<!ENTITY asymp            "&#x02248;" ><!--ALMOST EQUAL TO -->
54
<!ENTITY Barv             "&#x02AE7;" ><!--SHORT DOWN TACK WITH OVERBAR -->
55
<!ENTITY bcong            "&#x0224C;" ><!--ALL EQUAL TO -->
56
<!ENTITY bepsi            "&#x003F6;" ><!--GREEK REVERSED LUNATE EPSILON SYMBOL -->
57
<!ENTITY bowtie           "&#x022C8;" ><!--BOWTIE -->
58
<!ENTITY bsim             "&#x0223D;" ><!--REVERSED TILDE -->
59
<!ENTITY bsime            "&#x022CD;" ><!--REVERSED TILDE EQUALS -->
60
<!ENTITY bsolhsub         "&#x027C8;" ><!--REVERSE SOLIDUS PRECEDING SUBSET -->
61
<!ENTITY bump             "&#x0224E;" ><!--GEOMETRICALLY EQUIVALENT TO -->
62
<!ENTITY bumpe            "&#x0224F;" ><!--DIFFERENCE BETWEEN -->
63
<!ENTITY bumpE            "&#x02AAE;" ><!--EQUALS SIGN WITH BUMPY ABOVE -->
64
<!ENTITY cire             "&#x02257;" ><!--RING EQUAL TO -->
65
<!ENTITY Colon            "&#x02237;" ><!--PROPORTION -->
66
<!ENTITY colone           "&#x02254;" ><!--COLON EQUALS -->
67
<!ENTITY Colone           "&#x02A74;" ><!--DOUBLE COLON EQUAL -->
68
<!ENTITY congdot          "&#x02A6D;" ><!--CONGRUENT WITH DOT ABOVE -->
69
<!ENTITY csub             "&#x02ACF;" ><!--CLOSED SUBSET -->
70
<!ENTITY csube            "&#x02AD1;" ><!--CLOSED SUBSET OR EQUAL TO -->
71
<!ENTITY csup             "&#x02AD0;" ><!--CLOSED SUPERSET -->
72
<!ENTITY csupe            "&#x02AD2;" ><!--CLOSED SUPERSET OR EQUAL TO -->
73
<!ENTITY cuepr            "&#x022DE;" ><!--EQUAL TO OR PRECEDES -->
74
<!ENTITY cuesc            "&#x022DF;" ><!--EQUAL TO OR SUCCEEDS -->
75
<!ENTITY dashv            "&#x022A3;" ><!--LEFT TACK -->
76
<!ENTITY Dashv            "&#x02AE4;" ><!--VERTICAL BAR DOUBLE LEFT TURNSTILE -->
77
<!ENTITY easter           "&#x02A6E;" ><!--EQUALS WITH ASTERISK -->
78
<!ENTITY ecir             "&#x02256;" ><!--RING IN EQUAL TO -->
79
<!ENTITY ecolon           "&#x02255;" ><!--EQUALS COLON -->
80
<!ENTITY eDDot            "&#x02A77;" ><!--EQUALS SIGN WITH TWO DOTS ABOVE AND TWO DOTS BELOW -->
81
<!ENTITY eDot             "&#x02251;" ><!--GEOMETRICALLY EQUAL TO -->
82
<!ENTITY efDot            "&#x02252;" ><!--APPROXIMATELY EQUAL TO OR THE IMAGE OF -->
83
<!ENTITY eg               "&#x02A9A;" ><!--DOUBLE-LINE EQUAL TO OR GREATER-THAN -->
84
<!ENTITY egs              "&#x02A96;" ><!--SLANTED EQUAL TO OR GREATER-THAN -->
85
<!ENTITY egsdot           "&#x02A98;" ><!--SLANTED EQUAL TO OR GREATER-THAN WITH DOT INSIDE -->
86
<!ENTITY el               "&#x02A99;" ><!--DOUBLE-LINE EQUAL TO OR LESS-THAN -->
87
<!ENTITY els              "&#x02A95;" ><!--SLANTED EQUAL TO OR LESS-THAN -->
88
<!ENTITY elsdot           "&#x02A97;" ><!--SLANTED EQUAL TO OR LESS-THAN WITH DOT INSIDE -->
89
<!ENTITY equest           "&#x0225F;" ><!--QUESTIONED EQUAL TO -->
90
<!ENTITY equivDD          "&#x02A78;" ><!--EQUIVALENT WITH FOUR DOTS ABOVE -->
91
<!ENTITY erDot            "&#x02253;" ><!--IMAGE OF OR APPROXIMATELY EQUAL TO -->
92
<!ENTITY esdot            "&#x02250;" ><!--APPROACHES THE LIMIT -->
93
<!ENTITY esim             "&#x02242;" ><!--MINUS TILDE -->
94
<!ENTITY Esim             "&#x02A73;" ><!--EQUALS SIGN ABOVE TILDE OPERATOR -->
95
<!ENTITY fork             "&#x022D4;" ><!--PITCHFORK -->
96
<!ENTITY forkv            "&#x02AD9;" ><!--ELEMENT OF OPENING DOWNWARDS -->
97
<!ENTITY frown            "&#x02322;" ><!--FROWN -->
98
<!ENTITY gap              "&#x02A86;" ><!--GREATER-THAN OR APPROXIMATE -->
99
<!ENTITY gE               "&#x02267;" ><!--GREATER-THAN OVER EQUAL TO -->
100
<!ENTITY gel              "&#x022DB;" ><!--GREATER-THAN EQUAL TO OR LESS-THAN -->
101
<!ENTITY gEl              "&#x02A8C;" ><!--GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN -->
102
<!ENTITY ges              "&#x02A7E;" ><!--GREATER-THAN OR SLANTED EQUAL TO -->
103
<!ENTITY gescc            "&#x02AA9;" ><!--GREATER-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL -->
104
<!ENTITY gesdot           "&#x02A80;" ><!--GREATER-THAN OR SLANTED EQUAL TO WITH DOT INSIDE -->
105
<!ENTITY gesdoto          "&#x02A82;" ><!--GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE -->
106
<!ENTITY gesdotol         "&#x02A84;" ><!--GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE LEFT -->
107
<!ENTITY gesl             "&#x022DB;&#x0FE00;" ><!--GREATER-THAN slanted EQUAL TO OR LESS-THAN -->
108
<!ENTITY gesles           "&#x02A94;" ><!--GREATER-THAN ABOVE SLANTED EQUAL ABOVE LESS-THAN ABOVE SLANTED EQUAL -->
109
<!ENTITY Gg               "&#x022D9;" ><!--VERY MUCH GREATER-THAN -->
110
<!ENTITY gl               "&#x02277;" ><!--GREATER-THAN OR LESS-THAN -->
111
<!ENTITY gla              "&#x02AA5;" ><!--GREATER-THAN BESIDE LESS-THAN -->
112
<!ENTITY glE              "&#x02A92;" ><!--GREATER-THAN ABOVE LESS-THAN ABOVE DOUBLE-LINE EQUAL -->
113
<!ENTITY glj              "&#x02AA4;" ><!--GREATER-THAN OVERLAPPING LESS-THAN -->
114
<!ENTITY gsim             "&#x02273;" ><!--GREATER-THAN OR EQUIVALENT TO -->
115
<!ENTITY gsime            "&#x02A8E;" ><!--GREATER-THAN ABOVE SIMILAR OR EQUAL -->
116
<!ENTITY gsiml            "&#x02A90;" ><!--GREATER-THAN ABOVE SIMILAR ABOVE LESS-THAN -->
117
<!ENTITY Gt               "&#x0226B;" ><!--MUCH GREATER-THAN -->
118
<!ENTITY gtcc             "&#x02AA7;" ><!--GREATER-THAN CLOSED BY CURVE -->
119
<!ENTITY gtcir            "&#x02A7A;" ><!--GREATER-THAN WITH CIRCLE INSIDE -->
120
<!ENTITY gtdot            "&#x022D7;" ><!--GREATER-THAN WITH DOT -->
121
<!ENTITY gtquest          "&#x02A7C;" ><!--GREATER-THAN WITH QUESTION MARK ABOVE -->
122
<!ENTITY gtrarr           "&#x02978;" ><!--GREATER-THAN ABOVE RIGHTWARDS ARROW -->
123
<!ENTITY homtht           "&#x0223B;" ><!--HOMOTHETIC -->
124
<!ENTITY lap              "&#x02A85;" ><!--LESS-THAN OR APPROXIMATE -->
125
<!ENTITY lat              "&#x02AAB;" ><!--LARGER THAN -->
126
<!ENTITY late             "&#x02AAD;" ><!--LARGER THAN OR EQUAL TO -->
127
<!ENTITY lates            "&#x02AAD;&#x0FE00;" ><!--LARGER THAN OR slanted EQUAL -->
128
<!ENTITY lE               "&#x02266;" ><!--LESS-THAN OVER EQUAL TO -->
129
<!ENTITY leg              "&#x022DA;" ><!--LESS-THAN EQUAL TO OR GREATER-THAN -->
130
<!ENTITY lEg              "&#x02A8B;" ><!--LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN -->
131
<!ENTITY les              "&#x02A7D;" ><!--LESS-THAN OR SLANTED EQUAL TO -->
132
<!ENTITY lescc            "&#x02AA8;" ><!--LESS-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL -->
133
<!ENTITY lesdot           "&#x02A7F;" ><!--LESS-THAN OR SLANTED EQUAL TO WITH DOT INSIDE -->
134
<!ENTITY lesdoto          "&#x02A81;" ><!--LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE -->
135
<!ENTITY lesdotor         "&#x02A83;" ><!--LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE RIGHT -->
136
<!ENTITY lesg             "&#x022DA;&#x0FE00;" ><!--LESS-THAN slanted EQUAL TO OR GREATER-THAN -->
137
<!ENTITY lesges           "&#x02A93;" ><!--LESS-THAN ABOVE SLANTED EQUAL ABOVE GREATER-THAN ABOVE SLANTED EQUAL -->
138
<!ENTITY lg               "&#x02276;" ><!--LESS-THAN OR GREATER-THAN -->
139
<!ENTITY lgE              "&#x02A91;" ><!--LESS-THAN ABOVE GREATER-THAN ABOVE DOUBLE-LINE EQUAL -->
140
<!ENTITY Ll               "&#x022D8;" ><!--VERY MUCH LESS-THAN -->
141
<!ENTITY lsim             "&#x02272;" ><!--LESS-THAN OR EQUIVALENT TO -->
142
<!ENTITY lsime            "&#x02A8D;" ><!--LESS-THAN ABOVE SIMILAR OR EQUAL -->
143
<!ENTITY lsimg            "&#x02A8F;" ><!--LESS-THAN ABOVE SIMILAR ABOVE GREATER-THAN -->
144
<!ENTITY Lt               "&#x0226A;" ><!--MUCH LESS-THAN -->
145
<!ENTITY ltcc             "&#x02AA6;" ><!--LESS-THAN CLOSED BY CURVE -->
146
<!ENTITY ltcir            "&#x02A79;" ><!--LESS-THAN WITH CIRCLE INSIDE -->
147
<!ENTITY ltdot            "&#x022D6;" ><!--LESS-THAN WITH DOT -->
148
<!ENTITY ltlarr           "&#x02976;" ><!--LESS-THAN ABOVE LEFTWARDS ARROW -->
149
<!ENTITY ltquest          "&#x02A7B;" ><!--LESS-THAN WITH QUESTION MARK ABOVE -->
150
<!ENTITY ltrie            "&#x022B4;" ><!--NORMAL SUBGROUP OF OR EQUAL TO -->
151
<!ENTITY mcomma           "&#x02A29;" ><!--MINUS SIGN WITH COMMA ABOVE -->
152
<!ENTITY mDDot            "&#x0223A;" ><!--GEOMETRIC PROPORTION -->
153
<!ENTITY mid              "&#x02223;" ><!--DIVIDES -->
154
<!ENTITY mlcp             "&#x02ADB;" ><!--TRANSVERSAL INTERSECTION -->
155
<!ENTITY models           "&#x022A7;" ><!--MODELS -->
156
<!ENTITY mstpos           "&#x0223E;" ><!--INVERTED LAZY S -->
157
<!ENTITY pr               "&#x0227A;" ><!--PRECEDES -->
158
<!ENTITY Pr               "&#x02ABB;" ><!--DOUBLE PRECEDES -->
159
<!ENTITY prap             "&#x02AB7;" ><!--PRECEDES ABOVE ALMOST EQUAL TO -->
160
<!ENTITY prcue            "&#x0227C;" ><!--PRECEDES OR EQUAL TO -->
161
<!ENTITY pre              "&#x02AAF;" ><!--PRECEDES ABOVE SINGLE-LINE EQUALS SIGN -->
162
<!ENTITY prE              "&#x02AB3;" ><!--PRECEDES ABOVE EQUALS SIGN -->
163
<!ENTITY prsim            "&#x0227E;" ><!--PRECEDES OR EQUIVALENT TO -->
164
<!ENTITY prurel           "&#x022B0;" ><!--PRECEDES UNDER RELATION -->
165
<!ENTITY ratio            "&#x02236;" ><!--RATIO -->
166
<!ENTITY rtrie            "&#x022B5;" ><!--CONTAINS AS NORMAL SUBGROUP OR EQUAL TO -->
167
<!ENTITY rtriltri         "&#x029CE;" ><!--RIGHT TRIANGLE ABOVE LEFT TRIANGLE -->
168
<!ENTITY sc               "&#x0227B;" ><!--SUCCEEDS -->
169
<!ENTITY Sc               "&#x02ABC;" ><!--DOUBLE SUCCEEDS -->
170
<!ENTITY scap             "&#x02AB8;" ><!--SUCCEEDS ABOVE ALMOST EQUAL TO -->
171
<!ENTITY sccue            "&#x0227D;" ><!--SUCCEEDS OR EQUAL TO -->
172
<!ENTITY sce              "&#x02AB0;" ><!--SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN -->
173
<!ENTITY scE              "&#x02AB4;" ><!--SUCCEEDS ABOVE EQUALS SIGN -->
174
<!ENTITY scsim            "&#x0227F;" ><!--SUCCEEDS OR EQUIVALENT TO -->
175
<!ENTITY sdote            "&#x02A66;" ><!--EQUALS SIGN WITH DOT BELOW -->
176
<!ENTITY sfrown           "&#x02322;" ><!--FROWN -->
177
<!ENTITY simg             "&#x02A9E;" ><!--SIMILAR OR GREATER-THAN -->
178
<!ENTITY simgE            "&#x02AA0;" ><!--SIMILAR ABOVE GREATER-THAN ABOVE EQUALS SIGN -->
179
<!ENTITY siml             "&#x02A9D;" ><!--SIMILAR OR LESS-THAN -->
180
<!ENTITY simlE            "&#x02A9F;" ><!--SIMILAR ABOVE LESS-THAN ABOVE EQUALS SIGN -->
181
<!ENTITY smid             "&#x02223;" ><!--DIVIDES -->
182
<!ENTITY smile            "&#x02323;" ><!--SMILE -->
183
<!ENTITY smt              "&#x02AAA;" ><!--SMALLER THAN -->
184
<!ENTITY smte             "&#x02AAC;" ><!--SMALLER THAN OR EQUAL TO -->
185
<!ENTITY smtes            "&#x02AAC;&#x0FE00;" ><!--SMALLER THAN OR slanted EQUAL -->
186
<!ENTITY spar             "&#x02225;" ><!--PARALLEL TO -->
187
<!ENTITY sqsub            "&#x0228F;" ><!--SQUARE IMAGE OF -->
188
<!ENTITY sqsube           "&#x02291;" ><!--SQUARE IMAGE OF OR EQUAL TO -->
189
<!ENTITY sqsup            "&#x02290;" ><!--SQUARE ORIGINAL OF -->
190
<!ENTITY sqsupe           "&#x02292;" ><!--SQUARE ORIGINAL OF OR EQUAL TO -->
191
<!ENTITY ssmile           "&#x02323;" ><!--SMILE -->
192
<!ENTITY Sub              "&#x022D0;" ><!--DOUBLE SUBSET -->
193
<!ENTITY subE             "&#x02AC5;" ><!--SUBSET OF ABOVE EQUALS SIGN -->
194
<!ENTITY subedot          "&#x02AC3;" ><!--SUBSET OF OR EQUAL TO WITH DOT ABOVE -->
195
<!ENTITY submult          "&#x02AC1;" ><!--SUBSET WITH MULTIPLICATION SIGN BELOW -->
196
<!ENTITY subplus          "&#x02ABF;" ><!--SUBSET WITH PLUS SIGN BELOW -->
197
<!ENTITY subrarr          "&#x02979;" ><!--SUBSET ABOVE RIGHTWARDS ARROW -->
198
<!ENTITY subsim           "&#x02AC7;" ><!--SUBSET OF ABOVE TILDE OPERATOR -->
199
<!ENTITY subsub           "&#x02AD5;" ><!--SUBSET ABOVE SUBSET -->
200
<!ENTITY subsup           "&#x02AD3;" ><!--SUBSET ABOVE SUPERSET -->
201
<!ENTITY Sup              "&#x022D1;" ><!--DOUBLE SUPERSET -->
202
<!ENTITY supdsub          "&#x02AD8;" ><!--SUPERSET BESIDE AND JOINED BY DASH WITH SUBSET -->
203
<!ENTITY supE             "&#x02AC6;" ><!--SUPERSET OF ABOVE EQUALS SIGN -->
204
<!ENTITY supedot          "&#x02AC4;" ><!--SUPERSET OF OR EQUAL TO WITH DOT ABOVE -->
205
<!ENTITY suphsol          "&#x027C9;" ><!--SUPERSET PRECEDING SOLIDUS -->
206
<!ENTITY suphsub          "&#x02AD7;" ><!--SUPERSET BESIDE SUBSET -->
207
<!ENTITY suplarr          "&#x0297B;" ><!--SUPERSET ABOVE LEFTWARDS ARROW -->
208
<!ENTITY supmult          "&#x02AC2;" ><!--SUPERSET WITH MULTIPLICATION SIGN BELOW -->
209
<!ENTITY supplus          "&#x02AC0;" ><!--SUPERSET WITH PLUS SIGN BELOW -->
210
<!ENTITY supsim           "&#x02AC8;" ><!--SUPERSET OF ABOVE TILDE OPERATOR -->
211
<!ENTITY supsub           "&#x02AD4;" ><!--SUPERSET ABOVE SUBSET -->
212
<!ENTITY supsup           "&#x02AD6;" ><!--SUPERSET ABOVE SUPERSET -->
213
<!ENTITY thkap            "&#x02248;" ><!--ALMOST EQUAL TO -->
214
<!ENTITY thksim           "&#x0223C;" ><!--TILDE OPERATOR -->
215
<!ENTITY topfork          "&#x02ADA;" ><!--PITCHFORK WITH TEE TOP -->
216
<!ENTITY trie             "&#x0225C;" ><!--DELTA EQUAL TO -->
217
<!ENTITY twixt            "&#x0226C;" ><!--BETWEEN -->
218
<!ENTITY vBar             "&#x02AE8;" ><!--SHORT UP TACK WITH UNDERBAR -->
219
<!ENTITY Vbar             "&#x02AEB;" ><!--DOUBLE UP TACK -->
220
<!ENTITY vBarv            "&#x02AE9;" ><!--SHORT UP TACK ABOVE SHORT DOWN TACK -->
221
<!ENTITY vdash            "&#x022A2;" ><!--RIGHT TACK -->
222
<!ENTITY vDash            "&#x022A8;" ><!--TRUE -->
223
<!ENTITY Vdash            "&#x022A9;" ><!--FORCES -->
224
<!ENTITY VDash            "&#x022AB;" ><!--DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE -->
225
<!ENTITY Vdashl           "&#x02AE6;" ><!--LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICAL -->
226
<!ENTITY vltri            "&#x022B2;" ><!--NORMAL SUBGROUP OF -->
227
<!ENTITY vprop            "&#x0221D;" ><!--PROPORTIONAL TO -->
228
<!ENTITY vrtri            "&#x022B3;" ><!--CONTAINS AS NORMAL SUBGROUP -->
229
<!ENTITY Vvdash           "&#x022AA;" ><!--TRIPLE VERTICAL BAR RIGHT TURNSTILE -->
(6-6/23)