summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/latex-web-companion/latex2xml/isoamsne.dtd
blob: 2994a67477e57b9b76a3734d3a06a77a46095556 (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
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

<!--
    ISOAMSN Characters alphabetically 
    Added Math Symbols: Negated Relations Extended by MathML with aliases

    Converted from HTML table at
          http://www.w3.org/TR/REC-MathML-19980407/chap6/ISOAMSNe1.html

    Copyright 1998 Nag Ltd, The OpenMath Consortium. Esprit Project 24.969.
-->

<!ENTITY gnap                "&#58385;"><!-- u+E411  greater, not approximate                   ISOAMSN   -->
<!ENTITY gnapprox            "&#58385;"><!-- u+E411  greater, not approximate                   MMALIAS   gnap-->
<!ENTITY gnE                 "&#8809;"><!-- u+2269  greater, not double equals                 ISOAMSN   -->
<!ENTITY gne                 "&#8809;"><!-- u+2269  greater, not equals                        ISOAMSN   -->
<!ENTITY gneq                "&#8809;"><!-- u+2269  greater, not equals                        MMALIAS   gne-->
<!ENTITY gneqq               "&#8809;"><!-- u+2269  greater, not double equals                 MMALIAS   gnE-->
<!ENTITY gnsim               "&#8935;"><!-- u+22E7  greater, not similar                       ISOAMSN   -->
<!ENTITY gvertneqq           "&#58017;"><!-- u+E2A1  gt, vert, not double equals                MMALIAS   gvnE-->
<!ENTITY gvnE                "&#58017;"><!-- u+E2A1  gt, vert, not double equals                ISOAMSN   -->
<!ENTITY lnap                "&#58018;"><!-- u+E2A2  less, not approximate                      ISOAMSN   -->
<!ENTITY lnapprox            "&#58018;"><!-- u+E2A2  less, not approximate                      MMALIAS   lnap-->
<!ENTITY lnE                 "&#8808;"><!-- u+2268  less, not double equals                    ISOAMSN   -->
<!ENTITY lne                 "&#8808;"><!-- u+2268  less, not equals                           ISOAMSN   -->
<!ENTITY lneq                "&#8808;"><!-- u+2268  less, not equals                           MMALIAS   lne-->
<!ENTITY lneqq               "&#8808;"><!-- u+2268  less, not double equals                    MMALIAS   lnE-->
<!ENTITY lnsim               "&#8934;"><!-- u+22E6  less, not similar                          ISOAMSN   -->
<!ENTITY lvertneqq           "&#58020;"><!-- u+E2A4  less, vert, not double equals              MMALIAS   lvnE-->
<!ENTITY lvnE                "&#58020;"><!-- u+E2A4  less, vert, not double equals              ISOAMSN   -->
<!ENTITY nap                 "&#8777;"><!-- u+2249  not approximate                            ISOAMSN   -->
<!ENTITY napE                "&#58055;"><!-- u+E2C7  not approximately equal or equal to        ISOAMSN   -->
<!ENTITY napid               "&#58044;"><!-- u+E2BC  not approximately identical to             ISOAMSN   -->
<!ENTITY napprox             "&#8777;"><!-- u+2249  not approximate                            MMALIAS   nap-->
<!ENTITY ncong               "&#8775;"><!-- u+2247  not congruent with                         ISOAMSN   -->
<!ENTITY ncongdot            "&#58053;"><!-- u+E2C5  not congruent, dot                         ISOAMSN   -->
<!ENTITY nequiv              "&#8802;"><!-- u+2262  not identical with                         ISOAMSN   -->
<!ENTITY ngE                 "&#8817;"><!-- u+2271  not greater, double equals                 ISOAMSN   -->
<!ENTITY nge                 "&#58022;"><!-- u+E2A6  not greater-than-or-equal                  ISOAMSN   -->
<!ENTITY ngeq                "&#58022;"><!-- u+E2A6  not greater-than-or-equal                  MMALIAS   nge-->
<!ENTITY ngeqq               "&#8817;"><!-- u+2271  not greater, double equals                 MMALIAS   ngE-->
<!ENTITY ngeqslant           "&#8817;"><!-- u+2271  not gt-or-equals, slanted                  MMALIAS   nges-->
<!ENTITY nges                "&#8817;"><!-- u+2271  not gt-or-equals, slanted                  ISOAMSN   -->
<!ENTITY nGg                 "&#58062;"><!-- u+E2CE  not triple greater than                    ISOAMSN   -->
<!ENTITY ngsim               "&#8821;"><!-- u+2275  not greater, similar                       ISOAMSN   -->
<!ENTITY nGt                 "&#58058;"><!-- u+E2CA  not, vert, much greater than               ISOAMSN   -->
<!ENTITY ngt                 "&#8815;"><!-- u+226F  not greater-than                           ISOAMSN   -->
<!ENTITY ngtr                "&#8815;"><!-- u+226F  not greater-than                           MMALIAS   ngt-->
<!ENTITY nGtv                "&#58060;"><!-- u+E2CC  not much greater than, variant             ISOAMSN   -->
<!ENTITY nlE                 "&#8816;"><!-- u+2270  not less, double equals                    ISOAMSN   -->
<!ENTITY nle                 "&#58023;"><!-- u+E2A7  not less-than-or-equal                     ISOAMSN   -->
<!ENTITY nleq                "&#58023;"><!-- u+E2A7  not less-than-or-equal                     MMALIAS   nle-->
<!ENTITY nleqq               "&#8816;"><!-- u+2270  not less, double equals                    MMALIAS   nlE-->
<!ENTITY nleqslant           "&#8816;"><!-- u+2270  not less-or-equals, slant                  MMALIAS   nles-->
<!ENTITY nles                "&#8816;"><!-- u+2270  not less-or-equals, slant                  ISOAMSN   -->
<!ENTITY nless               "&#8814;"><!-- u+226E  not less-than                              MMALIAS   nlt-->
<!ENTITY nLl                 "&#58061;"><!-- u+E2CD  not triple less than                       ISOAMSN   -->
<!ENTITY nlsim               "&#8820;"><!-- u+2274  not less, similar                          ISOAMSN   -->
<!ENTITY nLt                 "&#58057;"><!-- u+E2C9  not, vert, much less than                  ISOAMSN   -->
<!ENTITY nlt                 "&#8814;"><!-- u+226E  not less-than                              ISOAMSN   -->
<!ENTITY nltri               "&#8938;"><!-- u+22EA  not left triangle                          ISOAMSN   -->
<!ENTITY nltrie              "&#8940;"><!-- u+22EC  not left triangle, equals                  ISOAMSN   -->
<!ENTITY nLtv                "&#58059;"><!-- u+E2CB  not much less than, variant                ISOAMSN   -->
<!ENTITY nmid                "&#8740;"><!-- u+2224  negated mid                                ISOAMSN   -->
<!ENTITY NotCongruent        "&#8802;"><!-- u+2262  not identical with                         MMALIAS   nequiv-->
<!ENTITY NotDoubleVerticalBar "&#8742;"><!-- u+2226  not parallel                               MMALIAS   npar-->
<!ENTITY NotGreater          "&#8815;"><!-- u+226F  not greater-than                           MMALIAS   ngt-->
<!ENTITY NotGreaterEqual     "&#58022;"><!-- u+E2A6  not greater-than-or-equal                  MMALIAS   nge-->
<!ENTITY NotGreaterFullEqual "&#8817;"><!-- u+2271  not greater, double equals                 MMALIAS   ngE-->
<!ENTITY NotGreaterGreater   "&#58060;"><!-- u+E2CC  not much greater than, variant             MMALIAS   nGtv-->
<!ENTITY NotGreaterLess      "&#8825;"><!-- u+2279  not, vert, greater, less                   MMALIAS   ntvgl-->
<!ENTITY NotGreaterSlantEqual "&#8817;"><!-- u+2271  not gt-or-equals, slanted                  MMALIAS   nges-->
<!ENTITY NotGreaterTilde     "&#8821;"><!-- u+2275  not greater, similar                       MMALIAS   ngsim-->
<!ENTITY NotLeftTriangle     "&#8938;"><!-- u+22EA  not left triangle                          MMALIAS   nltri-->
<!ENTITY NotLeftTriangleEqual "&#8940;"><!-- u+22EC  not left triangle, equals                  MMALIAS   nltrie-->
<!ENTITY NotLess             "&#8814;"><!-- u+226E  not less-than                              MMALIAS   nlt-->
<!ENTITY NotLessEqual        "&#58023;"><!-- u+E2A7  not less-than-or-equal                     MMALIAS   nle-->
<!ENTITY NotLessFullEqual    "&#8816;"><!-- u+2270  not less, double equals                    MMALIAS   nlE-->
<!ENTITY NotLessGreater      "&#8824;"><!-- u+2278  not, vert, less, greater                   MMALIAS   ntvlg-->
<!ENTITY NotLessLess         "&#58059;"><!-- u+E2CB  not much less than, variant                MMALIAS   nLtv-->
<!ENTITY NotLessSlantEqual   "&#8816;"><!-- u+2270  not less-or-equals, slant                  MMALIAS   nles-->
<!ENTITY NotLessTilde        "&#8820;"><!-- u+2274  not less, similar                          MMALIAS   nlsim-->
<!ENTITY NotPrecedes         "&#8832;"><!-- u+2280  not precedes                               MMALIAS   npr-->
<!ENTITY NotPrecedesEqual    "&#58386;"><!-- u+E412  not precedes, equals                       MMALIAS   npre-->
<!ENTITY NotPrecedesSlantEqual "&#8928;"><!-- u+22E0  not curly precedes, equals                 MMALIAS   nprcue-->
<!ENTITY NotRightTriangle    "&#8939;"><!-- u+22EB  not right triangle                         MMALIAS   nrtri-->
<!ENTITY NotRightTriangleEqual "&#8941;"><!-- u+22ED  not right triangle, equals                 MMALIAS   nrtrie-->
<!ENTITY NotSquareSubsetEqual "&#8930;"><!-- u+22E2  not, square subset, equals                 MMALIAS   nsqsube-->
<!ENTITY NotSquareSupersetEqual "&#8931;"><!-- u+22E3  not, square superset, equals               MMALIAS   nsqsupe-->
<!ENTITY NotSubset           "&#8836;"><!-- u+2284  not subset, variant                        MMALIAS   vnsub-->
<!ENTITY NotSucceeds         "&#8833;"><!-- u+2281  not succeeds                               MMALIAS   nsc-->
<!ENTITY NotSucceedsEqual    "&#58387;"><!-- u+E413  not succeeds, equals                       MMALIAS   nsce-->
<!ENTITY NotSucceedsSlantEqual "&#8929;"><!-- u+22E1  not succeeds, curly equals                 MMALIAS   nsccue-->
<!ENTITY NotSuperset         "&#8837;"><!-- u+2285  not superset, variant                      MMALIAS   vnsup-->
<!ENTITY NotTilde            "&#8769;"><!-- u+2241  not similar                                MMALIAS   nsim-->
<!ENTITY NotTildeEqual       "&#8772;"><!-- u+2244  not similar, equals                        MMALIAS   nsime-->
<!ENTITY NotTildeFullEqual   "&#8775;"><!-- u+2247  not congruent with                         MMALIAS   ncong-->
<!ENTITY NotTildeTilde       "&#8777;"><!-- u+2249  not approximate                            MMALIAS   nap-->
<!ENTITY NotVerticalBar      "&#8740;"><!-- u+2224  negated mid                                MMALIAS   nmid-->
<!ENTITY npar                "&#8742;"><!-- u+2226  not parallel                               ISOAMSN   -->
<!ENTITY nparallel           "&#8742;"><!-- u+2226  not parallel                               MMALIAS   npar-->
<!ENTITY npr                 "&#8832;"><!-- u+2280  not precedes                               ISOAMSN   -->
<!ENTITY nprcue              "&#8928;"><!-- u+22E0  not curly precedes, equals                 ISOAMSN   -->
<!ENTITY npre                "&#58386;"><!-- u+E412  not precedes, equals                       ISOAMSN   -->
<!ENTITY nprec               "&#8832;"><!-- u+2280  not precedes                               MMALIAS   npr-->
<!ENTITY npreceq             "&#58386;"><!-- u+E412  not precedes, equals                       MMALIAS   npre-->
<!ENTITY nrtri               "&#8939;"><!-- u+22EB  not right triangle                         ISOAMSN   -->
<!ENTITY nrtrie              "&#8941;"><!-- u+22ED  not right triangle, equals                 ISOAMSN   -->
<!ENTITY nsc                 "&#8833;"><!-- u+2281  not succeeds                               ISOAMSN   -->
<!ENTITY nsccue              "&#8929;"><!-- u+22E1  not succeeds, curly equals                 ISOAMSN   -->
<!ENTITY nsce                "&#58387;"><!-- u+E413  not succeeds, equals                       ISOAMSN   -->
<!ENTITY nshortmid           "&#58026;"><!-- u+E2AA  negated short mid                          MMALIAS   nsmid-->
<!ENTITY nshortparallel      "&#58027;"><!-- u+E2AB  not short par                              MMALIAS   nspar-->
<!ENTITY nsim                "&#8769;"><!-- u+2241  not similar                                ISOAMSN   -->
<!ENTITY nsime               "&#8772;"><!-- u+2244  not similar, equals                        ISOAMSN   -->
<!ENTITY nsimeq              "&#8772;"><!-- u+2244  not similar, equals                        MMALIAS   nsime-->
<!ENTITY nsmid               "&#58026;"><!-- u+E2AA  negated short mid                          ISOAMSN   -->
<!ENTITY nspar               "&#58027;"><!-- u+E2AB  not short par                              ISOAMSN   -->
<!ENTITY nsqsube             "&#8930;"><!-- u+22E2  not, square subset, equals                 ISOAMSN   -->
<!ENTITY nsqsupe             "&#8931;"><!-- u+22E3  not, square superset, equals               ISOAMSN   -->
<!ENTITY nsub                "&#8836;"><!-- u+2284  not subset                                 ISOAMSN   -->
<!ENTITY nsubE               "&#8840;"><!-- u+2288  not subset, double equals                  ISOAMSN   -->
<!ENTITY nsube               "&#8840;"><!-- u+2288  not subset, equals                         ISOAMSN   -->
<!ENTITY nsubset             "&#8836;"><!-- u+2284  not subset, variant                        MMALIAS   vnsub-->
<!ENTITY nsubseteq           "&#8840;"><!-- u+2288  not subset, equals                         MMALIAS   nsube-->
<!ENTITY nsubseteqq          "&#8840;"><!-- u+2288  not subset, double equals                  MMALIAS   nsubE-->
<!ENTITY nsucc               "&#8833;"><!-- u+2281  not succeeds                               MMALIAS   nsc-->
<!ENTITY nsucceq             "&#58387;"><!-- u+E413  not succeeds, equals                       MMALIAS   nsce-->
<!ENTITY nsup                "&#8837;"><!-- u+2285  not superset                               ISOAMSN   -->
<!ENTITY nsupE               "&#8841;"><!-- u+2289  not superset, double equals                ISOAMSN   -->
<!ENTITY nsupe               "&#8841;"><!-- u+2289  not superset, equals                       ISOAMSN   -->
<!ENTITY nsupset             "&#8837;"><!-- u+2285  not superset, variant                      MMALIAS   vnsup-->
<!ENTITY nsupseteq           "&#8841;"><!-- u+2289  not superset, equals                       MMALIAS   nsupe-->
<!ENTITY nsupseteqq          "&#8841;"><!-- u+2289  not superset, double equals                MMALIAS   nsupE-->
<!ENTITY ntgl                "&#8825;"><!-- u+2279  not greater, less                          ISOAMSN   -->
<!ENTITY ntlg                "&#8824;"><!-- u+2278  not less, greater                          ISOAMSN   -->
<!ENTITY ntriangleleft       "&#8938;"><!-- u+22EA  not left triangle                          MMALIAS   nltri-->
<!ENTITY ntrianglelefteq     "&#8940;"><!-- u+22EC  not left triangle, equals                  MMALIAS   nltrie-->
<!ENTITY ntriangleright      "&#8939;"><!-- u+22EB  not right triangle                         MMALIAS   nrtri-->
<!ENTITY ntrianglerighteq    "&#8941;"><!-- u+22ED  not right triangle, equals                 MMALIAS   nrtrie-->
<!ENTITY ntvgl               "&#8825;"><!-- u+2279  not, vert, greater, less                   ISOAMSN   -->
<!ENTITY ntvlg               "&#8824;"><!-- u+2278  not, vert, less, greater                   ISOAMSN   -->
<!ENTITY nvap                "&#58054;"><!-- u+E2C6  not, vert, approximate                     ISOAMSN   -->
<!ENTITY nVDash              "&#8879;"><!-- u+22AF  not double vert, double dash               ISOAMSN   -->
<!ENTITY nVdash              "&#8878;"><!-- u+22AE  not double vertical, dash                  ISOAMSN   -->
<!ENTITY nvDash              "&#8877;"><!-- u+22AD  not vertical, double dash                  ISOAMSN   -->
<!ENTITY nvdash              "&#8876;"><!-- u+22AC  not vertical, dash                         ISOAMSN   -->
<!ENTITY nvge                "&#8817;"><!-- u+2271  not, vert, greater-than-or-equal           ISOAMSN   -->
<!ENTITY nvgt                "&#8815;"><!-- u+226F  not, vert, greater-than                    ISOAMSN   -->
<!ENTITY nvle                "&#8816;"><!-- u+2270  not, vert, less-than-or-equal              ISOAMSN   -->
<!ENTITY nvlt                "&#8814;"><!-- u+226E  not, vert, less-than                       ISOAMSN   -->
<!ENTITY nvltrie             "&#58064;"><!-- u+E2D0  not, vert, left triangle, equals           ISOAMSN   -->
<!ENTITY nvrtrie             "&#58063;"><!-- u+E2CF  not, vert, right triangle, equals          ISOAMSN   -->
<!ENTITY nvsim               "&#58389;"><!-- u+E415  not, vert, similar                         ISOAMSN   -->
<!ENTITY parsim              "&#58056;"><!-- u+E2C8  parallel, similar                          ISOAMSN   -->
<!ENTITY precnapprox         "&#8936;"><!-- u+22E8  precedes, not approx                       MMALIAS   prnap-->
<!ENTITY precneqq            "&#58035;"><!-- u+E2B3  precedes, not double equals                MMALIAS   prnE-->
<!ENTITY precnsim            "&#8936;"><!-- u+22E8  precedes, not similar                      MMALIAS   prnsim-->
<!ENTITY prnap               "&#8936;"><!-- u+22E8  precedes, not approx                       ISOAMSN   -->
<!ENTITY prnE                "&#58035;"><!-- u+E2B3  precedes, not double equals                ISOAMSN   -->
<!ENTITY prnsim              "&#8936;"><!-- u+22E8  precedes, not similar                      ISOAMSN   -->
<!ENTITY rnmid               "&#58065;"><!-- u+E2D1  reverse nmid                               ISOAMSN   -->
<!ENTITY scnap               "&#8937;"><!-- u+22E9  succeeds, not approx                       ISOAMSN   -->
<!ENTITY scnE                "&#58037;"><!-- u+E2B5  succeeds, not double equals                ISOAMSN   -->
<!ENTITY scnsim              "&#8937;"><!-- u+22E9  succeeds, not similar                      ISOAMSN   -->
<!ENTITY simne               "&#8774;"><!-- u+2246  similar, not equals                        ISOAMSN   -->
<!ENTITY solbar              "&#58390;"><!-- u+E416  solidus, bar through                       ISOAMSN   -->
<!ENTITY subnE               "&#8842;"><!-- u+228A  subset, not double equals                  ISOAMSN   -->
<!ENTITY subne               "&#8842;"><!-- u+228A  subset, not equals                         ISOAMSN   -->
<!ENTITY subsetneq           "&#8842;"><!-- u+228A  subset, not equals                         MMALIAS   subne-->
<!ENTITY subsetneqq          "&#8842;"><!-- u+228A  subset, not double equals                  MMALIAS   subnE-->
<!ENTITY succnapprox         "&#8937;"><!-- u+22E9  succeeds, not approx                       MMALIAS   scnap-->
<!ENTITY succneqq            "&#58037;"><!-- u+E2B5  succeeds, not double equals                MMALIAS   scnE-->
<!ENTITY succnsim            "&#8937;"><!-- u+22E9  succeeds, not similar                      MMALIAS   scnsim-->
<!ENTITY supnE               "&#8843;"><!-- u+228B  superset, not double equals                ISOAMSN   -->
<!ENTITY supne               "&#8843;"><!-- u+228B  superset, not equals                       ISOAMSN   -->
<!ENTITY supsetneq           "&#8843;"><!-- u+228B  superset, not equals                       MMALIAS   supne-->
<!ENTITY supsetneqq          "&#8843;"><!-- u+228B  superset, not double equals                MMALIAS   supnE-->
<!ENTITY varsubsetneq        "&#58041;"><!-- u+E2B9  subset, not equals, variant                MMALIAS   vsubne-->
<!ENTITY varsubsetneqq       "&#58040;"><!-- u+E2B8  subset not double equals, variant          MMALIAS   vsubnE-->
<!ENTITY varsupsetneq        "&#58042;"><!-- u+E2BA  superset, not equals, variant              MMALIAS   vsupne-->
<!ENTITY varsupsetneqq       "&#58043;"><!-- u+E2BB  super not double equals, variant           MMALIAS   vsupnE-->
<!ENTITY vnsub               "&#8836;"><!-- u+2284  not subset, variant                        ISOAMSN   -->
<!ENTITY vnsup               "&#8837;"><!-- u+2285  not superset, variant                      ISOAMSN   -->
<!ENTITY vsubnE              "&#58040;"><!-- u+E2B8  subset not double equals, variant          ISOAMSN   -->
<!ENTITY vsubne              "&#58041;"><!-- u+E2B9  subset, not equals, variant                ISOAMSN   -->
<!ENTITY vsupnE              "&#58043;"><!-- u+E2BB  super not double equals, variant           ISOAMSN   -->
<!ENTITY vsupne              "&#58042;"><!-- u+E2BA  superset, not equals, variant              ISOAMSN   -->