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
|
<!--
File isoamsr.ent produced by the XSL script characters.xsl
from input data in unicode.xml.
Please report any errors to David Carlisle
via the public W3C list www-math@w3.org.
The numeric character values assigned to each entity
(should) match the Unicode assignments in Unicode 4.0.
References to the VARIANT SELECTOR 1 character (︀)
should match the uses listed in Unicode Technical Report 25.
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 "⩰" ><!--approximately equal or equal to -->
<!ENTITY ape "≊" ><!--/approxeq R: approximate, equals -->
<!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 "⪮" ><!--bump, equals -->
<!ENTITY bumpe "≏" ><!--/bumpeq R: bumpy equals, equals -->
<!ENTITY cire "≗" ><!--/circeq R: circle, equals -->
<!ENTITY Colon "∷" ><!--/Colon, two colons -->
<!ENTITY Colone "⩴" ><!--double colon, equals -->
<!ENTITY colone "≔" ><!--/coloneq R: 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 "⫤" ><!--dbl dash, vertical -->
<!ENTITY dashv "⊣" ><!--/dashv R: 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 "⩳" ><!--equal, similar -->
<!ENTITY esim "≂" ><!--/esim R: equals, 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 "⪌" ><!--/gtreqqless R: gt, dbl equals, less -->
<!ENTITY gel "⋛" ><!--/gtreqless R: greater, 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 "⪋" ><!--/lesseqqgtr R: less, dbl eq, greater -->
<!ENTITY leg "⋚" ><!--/lesseqgtr R: less, 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 "⪻" ><!--dbl precedes -->
<!ENTITY pr "≺" ><!--/prec R: precedes -->
<!ENTITY prap "⪷" ><!--/precapprox R: precedes, approximate -->
<!ENTITY prcue "≼" ><!--/preccurlyeq R: precedes, curly eq -->
<!ENTITY prE "⪳" ><!--precedes, dbl equals -->
<!ENTITY pre "⪯" ><!--/preceq R: precedes, 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 "⪼" ><!--dbl succeeds -->
<!ENTITY sc "≻" ><!--/succ R: succeeds -->
<!ENTITY scap "⪸" ><!--/succapprox R: succeeds, approximate -->
<!ENTITY sccue "≽" ><!--/succcurlyeq R: succeeds, curly eq -->
<!ENTITY scE "⪴" ><!--succeeds, dbl equals -->
<!ENTITY sce "⪰" ><!--/succeq R: succeeds, equals -->
<!ENTITY scsim "≿" ><!--/succsim R: succeeds, similar -->
<!ENTITY sdote "⩦" ><!--equal, dot below -->
<!ENTITY sfrown "⌢" ><!--/smallfrown R: small down curve -->
<!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 ssmile "⌣" ><!--/smallsmile R: small up curve -->
<!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 "⫫" ><!--dbl vert, bar (under) -->
<!ENTITY vBar "⫨" ><!--vert, dbl bar (under) -->
<!ENTITY vBarv "⫩" ><!--dbl bar, vert over and under -->
<!ENTITY VDash "⊫" ><!--dbl vert, dbl dash -->
<!ENTITY Vdash "⊩" ><!--/Vdash R: dbl vertical, dash -->
<!ENTITY vDash "⊨" ><!--/vDash R: vertical, dbl dash -->
<!ENTITY vdash "⊢" ><!--/vdash R: vertical, 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 -->
|