diff options
Diffstat (limited to 'htdocs/sgml-lib/WD-MathML3-20090924/isoamsr.ent')
| -rw-r--r-- | htdocs/sgml-lib/WD-MathML3-20090924/isoamsr.ent | 229 |
1 files changed, 229 insertions, 0 deletions
diff --git a/htdocs/sgml-lib/WD-MathML3-20090924/isoamsr.ent b/htdocs/sgml-lib/WD-MathML3-20090924/isoamsr.ent new file mode 100644 index 0000000..38a843c --- /dev/null +++ b/htdocs/sgml-lib/WD-MathML3-20090924/isoamsr.ent @@ -0,0 +1,229 @@ + +<!-- + File isoamsr.ent produced by the XSL script entities.xsl + from input data in unicode.xml. + + Copyright 1998 - 2009 W3C. + + Use and distribution of this code are permitted under the terms of the + W3C Software Notice and License. + http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231.html + + 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 5.x. + + 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. + +--> + + +<!-- + + Public identifier: -//W3C//ENTITIES Added Math Symbols: Relations//EN//XML + System identifier: http://www.w3.org/2003/entities/2007/isoamsr.ent + + The public identifier should always be used verbatim. + The system identifier may be changed to suit local requirements. + + Typical invocation: + + <!ENTITY % isoamsr PUBLIC + "-//W3C//ENTITIES Added Math Symbols: Relations//EN//XML" + "http://www.w3.org/2003/entities/2007/isoamsr.ent" + > + %isoamsr; + +--> + +<!ENTITY ape "≊" ><!--ALMOST EQUAL OR EQUAL TO --> +<!ENTITY apE "⩰" ><!--APPROXIMATELY EQUAL OR EQUAL TO --> +<!ENTITY apid "≋" ><!--TRIPLE TILDE --> +<!ENTITY asymp "≈" ><!--ALMOST EQUAL TO --> +<!ENTITY Barv "⫧" ><!--SHORT DOWN TACK WITH OVERBAR --> +<!ENTITY bcong "≌" ><!--ALL EQUAL TO --> +<!ENTITY bepsi "϶" ><!--GREEK REVERSED LUNATE EPSILON SYMBOL --> +<!ENTITY bowtie "⋈" ><!--BOWTIE --> +<!ENTITY bsim "∽" ><!--REVERSED TILDE --> +<!ENTITY bsime "⋍" ><!--REVERSED TILDE EQUALS --> +<!ENTITY bsolhsub "⟈" ><!--REVERSE SOLIDUS PRECEDING SUBSET --> +<!ENTITY bump "≎" ><!--GEOMETRICALLY EQUIVALENT TO --> +<!ENTITY bumpe "≏" ><!--DIFFERENCE BETWEEN --> +<!ENTITY bumpE "⪮" ><!--EQUALS SIGN WITH BUMPY ABOVE --> +<!ENTITY cire "≗" ><!--RING EQUAL TO --> +<!ENTITY Colon "∷" ><!--PROPORTION --> +<!ENTITY colone "≔" ><!--COLON EQUALS --> +<!ENTITY Colone "⩴" ><!--DOUBLE COLON EQUAL --> +<!ENTITY congdot "⩭" ><!--CONGRUENT WITH DOT ABOVE --> +<!ENTITY csub "⫏" ><!--CLOSED SUBSET --> +<!ENTITY csube "⫑" ><!--CLOSED SUBSET OR EQUAL TO --> +<!ENTITY csup "⫐" ><!--CLOSED SUPERSET --> +<!ENTITY csupe "⫒" ><!--CLOSED SUPERSET OR EQUAL TO --> +<!ENTITY cuepr "⋞" ><!--EQUAL TO OR PRECEDES --> +<!ENTITY cuesc "⋟" ><!--EQUAL TO OR SUCCEEDS --> +<!ENTITY dashv "⊣" ><!--LEFT TACK --> +<!ENTITY Dashv "⫤" ><!--VERTICAL BAR DOUBLE LEFT TURNSTILE --> +<!ENTITY easter "⩮" ><!--EQUALS WITH ASTERISK --> +<!ENTITY ecir "≖" ><!--RING IN EQUAL TO --> +<!ENTITY ecolon "≕" ><!--EQUALS COLON --> +<!ENTITY eDDot "⩷" ><!--EQUALS SIGN WITH TWO DOTS ABOVE AND TWO DOTS BELOW --> +<!ENTITY eDot "≑" ><!--GEOMETRICALLY EQUAL TO --> +<!ENTITY efDot "≒" ><!--APPROXIMATELY EQUAL TO OR THE IMAGE OF --> +<!ENTITY eg "⪚" ><!--DOUBLE-LINE EQUAL TO OR GREATER-THAN --> +<!ENTITY egs "⪖" ><!--SLANTED EQUAL TO OR GREATER-THAN --> +<!ENTITY egsdot "⪘" ><!--SLANTED EQUAL TO OR GREATER-THAN WITH DOT INSIDE --> +<!ENTITY el "⪙" ><!--DOUBLE-LINE EQUAL TO OR LESS-THAN --> +<!ENTITY els "⪕" ><!--SLANTED EQUAL TO OR LESS-THAN --> +<!ENTITY elsdot "⪗" ><!--SLANTED EQUAL TO OR LESS-THAN WITH DOT INSIDE --> +<!ENTITY equest "≟" ><!--QUESTIONED EQUAL TO --> +<!ENTITY equivDD "⩸" ><!--EQUIVALENT WITH FOUR DOTS ABOVE --> +<!ENTITY erDot "≓" ><!--IMAGE OF OR APPROXIMATELY EQUAL TO --> +<!ENTITY esdot "≐" ><!--APPROACHES THE LIMIT --> +<!ENTITY esim "≂" ><!--MINUS TILDE --> +<!ENTITY Esim "⩳" ><!--EQUALS SIGN ABOVE TILDE OPERATOR --> +<!ENTITY fork "⋔" ><!--PITCHFORK --> +<!ENTITY forkv "⫙" ><!--ELEMENT OF OPENING DOWNWARDS --> +<!ENTITY frown "⌢" ><!--FROWN --> +<!ENTITY gap "⪆" ><!--GREATER-THAN OR APPROXIMATE --> +<!ENTITY gE "≧" ><!--GREATER-THAN OVER EQUAL TO --> +<!ENTITY gel "⋛" ><!--GREATER-THAN EQUAL TO OR LESS-THAN --> +<!ENTITY gEl "⪌" ><!--GREATER-THAN ABOVE DOUBLE-LINE EQUAL ABOVE LESS-THAN --> +<!ENTITY ges "⩾" ><!--GREATER-THAN OR SLANTED EQUAL TO --> +<!ENTITY gescc "⪩" ><!--GREATER-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL --> +<!ENTITY gesdot "⪀" ><!--GREATER-THAN OR SLANTED EQUAL TO WITH DOT INSIDE --> +<!ENTITY gesdoto "⪂" ><!--GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE --> +<!ENTITY gesdotol "⪄" ><!--GREATER-THAN OR SLANTED EQUAL TO WITH DOT ABOVE LEFT --> +<!ENTITY gesl "⋛︀" ><!--GREATER-THAN slanted EQUAL TO OR LESS-THAN --> +<!ENTITY gesles "⪔" ><!--GREATER-THAN ABOVE SLANTED EQUAL ABOVE LESS-THAN ABOVE SLANTED EQUAL --> +<!ENTITY Gg "⋙" ><!--VERY MUCH GREATER-THAN --> +<!ENTITY gl "≷" ><!--GREATER-THAN OR LESS-THAN --> +<!ENTITY gla "⪥" ><!--GREATER-THAN BESIDE LESS-THAN --> +<!ENTITY glE "⪒" ><!--GREATER-THAN ABOVE LESS-THAN ABOVE DOUBLE-LINE EQUAL --> +<!ENTITY glj "⪤" ><!--GREATER-THAN OVERLAPPING LESS-THAN --> +<!ENTITY gsim "≳" ><!--GREATER-THAN OR EQUIVALENT TO --> +<!ENTITY gsime "⪎" ><!--GREATER-THAN ABOVE SIMILAR OR EQUAL --> +<!ENTITY gsiml "⪐" ><!--GREATER-THAN ABOVE SIMILAR ABOVE LESS-THAN --> +<!ENTITY Gt "≫" ><!--MUCH GREATER-THAN --> +<!ENTITY gtcc "⪧" ><!--GREATER-THAN CLOSED BY CURVE --> +<!ENTITY gtcir "⩺" ><!--GREATER-THAN WITH CIRCLE INSIDE --> +<!ENTITY gtdot "⋗" ><!--GREATER-THAN WITH DOT --> +<!ENTITY gtquest "⩼" ><!--GREATER-THAN WITH QUESTION MARK ABOVE --> +<!ENTITY gtrarr "⥸" ><!--GREATER-THAN ABOVE RIGHTWARDS ARROW --> +<!ENTITY homtht "∻" ><!--HOMOTHETIC --> +<!ENTITY lap "⪅" ><!--LESS-THAN OR APPROXIMATE --> +<!ENTITY lat "⪫" ><!--LARGER THAN --> +<!ENTITY late "⪭" ><!--LARGER THAN OR EQUAL TO --> +<!ENTITY lates "⪭︀" ><!--LARGER THAN OR slanted EQUAL --> +<!ENTITY lE "≦" ><!--LESS-THAN OVER EQUAL TO --> +<!ENTITY leg "⋚" ><!--LESS-THAN EQUAL TO OR GREATER-THAN --> +<!ENTITY lEg "⪋" ><!--LESS-THAN ABOVE DOUBLE-LINE EQUAL ABOVE GREATER-THAN --> +<!ENTITY les "⩽" ><!--LESS-THAN OR SLANTED EQUAL TO --> +<!ENTITY lescc "⪨" ><!--LESS-THAN CLOSED BY CURVE ABOVE SLANTED EQUAL --> +<!ENTITY lesdot "⩿" ><!--LESS-THAN OR SLANTED EQUAL TO WITH DOT INSIDE --> +<!ENTITY lesdoto "⪁" ><!--LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE --> +<!ENTITY lesdotor "⪃" ><!--LESS-THAN OR SLANTED EQUAL TO WITH DOT ABOVE RIGHT --> +<!ENTITY lesg "⋚︀" ><!--LESS-THAN slanted EQUAL TO OR GREATER-THAN --> +<!ENTITY lesges "⪓" ><!--LESS-THAN ABOVE SLANTED EQUAL ABOVE GREATER-THAN ABOVE SLANTED EQUAL --> +<!ENTITY lg "≶" ><!--LESS-THAN OR GREATER-THAN --> +<!ENTITY lgE "⪑" ><!--LESS-THAN ABOVE GREATER-THAN ABOVE DOUBLE-LINE EQUAL --> +<!ENTITY Ll "⋘" ><!--VERY MUCH LESS-THAN --> +<!ENTITY lsim "≲" ><!--LESS-THAN OR EQUIVALENT TO --> +<!ENTITY lsime "⪍" ><!--LESS-THAN ABOVE SIMILAR OR EQUAL --> +<!ENTITY lsimg "⪏" ><!--LESS-THAN ABOVE SIMILAR ABOVE GREATER-THAN --> +<!ENTITY Lt "≪" ><!--MUCH LESS-THAN --> +<!ENTITY ltcc "⪦" ><!--LESS-THAN CLOSED BY CURVE --> +<!ENTITY ltcir "⩹" ><!--LESS-THAN WITH CIRCLE INSIDE --> +<!ENTITY ltdot "⋖" ><!--LESS-THAN WITH DOT --> +<!ENTITY ltlarr "⥶" ><!--LESS-THAN ABOVE LEFTWARDS ARROW --> +<!ENTITY ltquest "⩻" ><!--LESS-THAN WITH QUESTION MARK ABOVE --> +<!ENTITY ltrie "⊴" ><!--NORMAL SUBGROUP OF OR EQUAL TO --> +<!ENTITY mcomma "⨩" ><!--MINUS SIGN WITH COMMA ABOVE --> +<!ENTITY mDDot "∺" ><!--GEOMETRIC PROPORTION --> +<!ENTITY mid "∣" ><!--DIVIDES --> +<!ENTITY mlcp "⫛" ><!--TRANSVERSAL INTERSECTION --> +<!ENTITY models "⊧" ><!--MODELS --> +<!ENTITY mstpos "∾" ><!--INVERTED LAZY S --> +<!ENTITY pr "≺" ><!--PRECEDES --> +<!ENTITY Pr "⪻" ><!--DOUBLE PRECEDES --> +<!ENTITY prap "⪷" ><!--PRECEDES ABOVE ALMOST EQUAL TO --> +<!ENTITY prcue "≼" ><!--PRECEDES OR EQUAL TO --> +<!ENTITY pre "⪯" ><!--PRECEDES ABOVE SINGLE-LINE EQUALS SIGN --> +<!ENTITY prE "⪳" ><!--PRECEDES ABOVE EQUALS SIGN --> +<!ENTITY prsim "≾" ><!--PRECEDES OR EQUIVALENT TO --> +<!ENTITY prurel "⊰" ><!--PRECEDES UNDER RELATION --> +<!ENTITY ratio "∶" ><!--RATIO --> +<!ENTITY rtrie "⊵" ><!--CONTAINS AS NORMAL SUBGROUP OR EQUAL TO --> +<!ENTITY rtriltri "⧎" ><!--RIGHT TRIANGLE ABOVE LEFT TRIANGLE --> +<!ENTITY sc "≻" ><!--SUCCEEDS --> +<!ENTITY Sc "⪼" ><!--DOUBLE SUCCEEDS --> +<!ENTITY scap "⪸" ><!--SUCCEEDS ABOVE ALMOST EQUAL TO --> +<!ENTITY sccue "≽" ><!--SUCCEEDS OR EQUAL TO --> +<!ENTITY sce "⪰" ><!--SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN --> +<!ENTITY scE "⪴" ><!--SUCCEEDS ABOVE EQUALS SIGN --> +<!ENTITY scsim "≿" ><!--SUCCEEDS OR EQUIVALENT TO --> +<!ENTITY sdote "⩦" ><!--EQUALS SIGN WITH DOT BELOW --> +<!ENTITY sfrown "⌢" ><!--FROWN --> +<!ENTITY simg "⪞" ><!--SIMILAR OR GREATER-THAN --> +<!ENTITY simgE "⪠" ><!--SIMILAR ABOVE GREATER-THAN ABOVE EQUALS SIGN --> +<!ENTITY siml "⪝" ><!--SIMILAR OR LESS-THAN --> +<!ENTITY simlE "⪟" ><!--SIMILAR ABOVE LESS-THAN ABOVE EQUALS SIGN --> +<!ENTITY smid "∣" ><!--DIVIDES --> +<!ENTITY smile "⌣" ><!--SMILE --> +<!ENTITY smt "⪪" ><!--SMALLER THAN --> +<!ENTITY smte "⪬" ><!--SMALLER THAN OR EQUAL TO --> +<!ENTITY smtes "⪬︀" ><!--SMALLER THAN OR slanted EQUAL --> +<!ENTITY spar "∥" ><!--PARALLEL TO --> +<!ENTITY sqsub "⊏" ><!--SQUARE IMAGE OF --> +<!ENTITY sqsube "⊑" ><!--SQUARE IMAGE OF OR EQUAL TO --> +<!ENTITY sqsup "⊐" ><!--SQUARE ORIGINAL OF --> +<!ENTITY sqsupe "⊒" ><!--SQUARE ORIGINAL OF OR EQUAL TO --> +<!ENTITY ssmile "⌣" ><!--SMILE --> +<!ENTITY Sub "⋐" ><!--DOUBLE SUBSET --> +<!ENTITY subE "⫅" ><!--SUBSET OF ABOVE EQUALS SIGN --> +<!ENTITY subedot "⫃" ><!--SUBSET OF OR EQUAL TO WITH DOT ABOVE --> +<!ENTITY submult "⫁" ><!--SUBSET WITH MULTIPLICATION SIGN BELOW --> +<!ENTITY subplus "⪿" ><!--SUBSET WITH PLUS SIGN BELOW --> +<!ENTITY subrarr "⥹" ><!--SUBSET ABOVE RIGHTWARDS ARROW --> +<!ENTITY subsim "⫇" ><!--SUBSET OF ABOVE TILDE OPERATOR --> +<!ENTITY subsub "⫕" ><!--SUBSET ABOVE SUBSET --> +<!ENTITY subsup "⫓" ><!--SUBSET ABOVE SUPERSET --> +<!ENTITY Sup "⋑" ><!--DOUBLE SUPERSET --> +<!ENTITY supdsub "⫘" ><!--SUPERSET BESIDE AND JOINED BY DASH WITH SUBSET --> +<!ENTITY supE "⫆" ><!--SUPERSET OF ABOVE EQUALS SIGN --> +<!ENTITY supedot "⫄" ><!--SUPERSET OF OR EQUAL TO WITH DOT ABOVE --> +<!ENTITY suphsol "⟉" ><!--SUPERSET PRECEDING SOLIDUS --> +<!ENTITY suphsub "⫗" ><!--SUPERSET BESIDE SUBSET --> +<!ENTITY suplarr "⥻" ><!--SUPERSET ABOVE LEFTWARDS ARROW --> +<!ENTITY supmult "⫂" ><!--SUPERSET WITH MULTIPLICATION SIGN BELOW --> +<!ENTITY supplus "⫀" ><!--SUPERSET WITH PLUS SIGN BELOW --> +<!ENTITY supsim "⫈" ><!--SUPERSET OF ABOVE TILDE OPERATOR --> +<!ENTITY supsub "⫔" ><!--SUPERSET ABOVE SUBSET --> +<!ENTITY supsup "⫖" ><!--SUPERSET ABOVE SUPERSET --> +<!ENTITY thkap "≈" ><!--ALMOST EQUAL TO --> +<!ENTITY thksim "∼" ><!--TILDE OPERATOR --> +<!ENTITY topfork "⫚" ><!--PITCHFORK WITH TEE TOP --> +<!ENTITY trie "≜" ><!--DELTA EQUAL TO --> +<!ENTITY twixt "≬" ><!--BETWEEN --> +<!ENTITY vBar "⫨" ><!--SHORT UP TACK WITH UNDERBAR --> +<!ENTITY Vbar "⫫" ><!--DOUBLE UP TACK --> +<!ENTITY vBarv "⫩" ><!--SHORT UP TACK ABOVE SHORT DOWN TACK --> +<!ENTITY vdash "⊢" ><!--RIGHT TACK --> +<!ENTITY vDash "⊨" ><!--TRUE --> +<!ENTITY Vdash "⊩" ><!--FORCES --> +<!ENTITY VDash "⊫" ><!--DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE --> +<!ENTITY Vdashl "⫦" ><!--LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICAL --> +<!ENTITY vltri "⊲" ><!--NORMAL SUBGROUP OF --> +<!ENTITY vprop "∝" ><!--PROPORTIONAL TO --> +<!ENTITY vrtri "⊳" ><!--CONTAINS AS NORMAL SUBGROUP --> +<!ENTITY Vvdash "⊪" ><!--TRIPLE VERTICAL BAR RIGHT TURNSTILE --> |