diff options
Diffstat (limited to 'htdocs/sgml-lib/REC-xml-entity-names-20100401/isoamsb.ent')
| -rw-r--r-- | htdocs/sgml-lib/REC-xml-entity-names-20100401/isoamsb.ent | 168 |
1 files changed, 168 insertions, 0 deletions
diff --git a/htdocs/sgml-lib/REC-xml-entity-names-20100401/isoamsb.ent b/htdocs/sgml-lib/REC-xml-entity-names-20100401/isoamsb.ent new file mode 100644 index 0000000..e225952 --- /dev/null +++ b/htdocs/sgml-lib/REC-xml-entity-names-20100401/isoamsb.ent @@ -0,0 +1,168 @@ + +<!-- + File isoamsb.ent produced by the XSL script entities.xsl + from input data in unicode.xml. + + Copyright 1998 - 2010 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: Binary Operators//EN//XML + System identifier: http://www.w3.org/2003/entities/2007/isoamsb.ent + + The public identifier should always be used verbatim. + The system identifier may be changed to suit local requirements. + + Typical invocation: + + <!ENTITY % isoamsb PUBLIC + "-//W3C//ENTITIES Added Math Symbols: Binary Operators//EN//XML" + "http://www.w3.org/2003/entities/2007/isoamsb.ent" + > + %isoamsb; + +--> + +<!ENTITY ac "∾" ><!--INVERTED LAZY S --> +<!ENTITY acE "∾̳" ><!--INVERTED LAZY S with double underline --> +<!ENTITY amalg "⨿" ><!--AMALGAMATION OR COPRODUCT --> +<!ENTITY barvee "⊽" ><!--NOR --> +<!ENTITY barwed "⌅" ><!--PROJECTIVE --> +<!ENTITY Barwed "⌆" ><!--PERSPECTIVE --> +<!ENTITY bsolb "⧅" ><!--SQUARED FALLING DIAGONAL SLASH --> +<!ENTITY Cap "⋒" ><!--DOUBLE INTERSECTION --> +<!ENTITY capand "⩄" ><!--INTERSECTION WITH LOGICAL AND --> +<!ENTITY capbrcup "⩉" ><!--INTERSECTION ABOVE BAR ABOVE UNION --> +<!ENTITY capcap "⩋" ><!--INTERSECTION BESIDE AND JOINED WITH INTERSECTION --> +<!ENTITY capcup "⩇" ><!--INTERSECTION ABOVE UNION --> +<!ENTITY capdot "⩀" ><!--INTERSECTION WITH DOT --> +<!ENTITY caps "∩︀" ><!--INTERSECTION with serifs --> +<!ENTITY ccaps "⩍" ><!--CLOSED INTERSECTION WITH SERIFS --> +<!ENTITY ccups "⩌" ><!--CLOSED UNION WITH SERIFS --> +<!ENTITY ccupssm "⩐" ><!--CLOSED UNION WITH SERIFS AND SMASH PRODUCT --> +<!ENTITY coprod "∐" ><!--N-ARY COPRODUCT --> +<!ENTITY Cup "⋓" ><!--DOUBLE UNION --> +<!ENTITY cupbrcap "⩈" ><!--UNION ABOVE BAR ABOVE INTERSECTION --> +<!ENTITY cupcap "⩆" ><!--UNION ABOVE INTERSECTION --> +<!ENTITY cupcup "⩊" ><!--UNION BESIDE AND JOINED WITH UNION --> +<!ENTITY cupdot "⊍" ><!--MULTISET MULTIPLICATION --> +<!ENTITY cupor "⩅" ><!--UNION WITH LOGICAL OR --> +<!ENTITY cups "∪︀" ><!--UNION with serifs --> +<!ENTITY cuvee "⋎" ><!--CURLY LOGICAL OR --> +<!ENTITY cuwed "⋏" ><!--CURLY LOGICAL AND --> +<!ENTITY dagger "†" ><!--DAGGER --> +<!ENTITY Dagger "‡" ><!--DOUBLE DAGGER --> +<!ENTITY diam "⋄" ><!--DIAMOND OPERATOR --> +<!ENTITY divonx "⋇" ><!--DIVISION TIMES --> +<!ENTITY eplus "⩱" ><!--EQUALS SIGN ABOVE PLUS SIGN --> +<!ENTITY hercon "⊹" ><!--HERMITIAN CONJUGATE MATRIX --> +<!ENTITY intcal "⊺" ><!--INTERCALATE --> +<!ENTITY iprod "⨼" ><!--INTERIOR PRODUCT --> +<!ENTITY loplus "⨭" ><!--PLUS SIGN IN LEFT HALF CIRCLE --> +<!ENTITY lotimes "⨴" ><!--MULTIPLICATION SIGN IN LEFT HALF CIRCLE --> +<!ENTITY lthree "⋋" ><!--LEFT SEMIDIRECT PRODUCT --> +<!ENTITY ltimes "⋉" ><!--LEFT NORMAL FACTOR SEMIDIRECT PRODUCT --> +<!ENTITY midast "*" ><!--ASTERISK --> +<!ENTITY minusb "⊟" ><!--SQUARED MINUS --> +<!ENTITY minusd "∸" ><!--DOT MINUS --> +<!ENTITY minusdu "⨪" ><!--MINUS SIGN WITH DOT BELOW --> +<!ENTITY ncap "⩃" ><!--INTERSECTION WITH OVERBAR --> +<!ENTITY ncup "⩂" ><!--UNION WITH OVERBAR --> +<!ENTITY oast "⊛" ><!--CIRCLED ASTERISK OPERATOR --> +<!ENTITY ocir "⊚" ><!--CIRCLED RING OPERATOR --> +<!ENTITY odash "⊝" ><!--CIRCLED DASH --> +<!ENTITY odiv "⨸" ><!--CIRCLED DIVISION SIGN --> +<!ENTITY odot "⊙" ><!--CIRCLED DOT OPERATOR --> +<!ENTITY odsold "⦼" ><!--CIRCLED ANTICLOCKWISE-ROTATED DIVISION SIGN --> +<!ENTITY ofcir "⦿" ><!--CIRCLED BULLET --> +<!ENTITY ogt "⧁" ><!--CIRCLED GREATER-THAN --> +<!ENTITY ohbar "⦵" ><!--CIRCLE WITH HORIZONTAL BAR --> +<!ENTITY olcir "⦾" ><!--CIRCLED WHITE BULLET --> +<!ENTITY olt "⧀" ><!--CIRCLED LESS-THAN --> +<!ENTITY omid "⦶" ><!--CIRCLED VERTICAL BAR --> +<!ENTITY ominus "⊖" ><!--CIRCLED MINUS --> +<!ENTITY opar "⦷" ><!--CIRCLED PARALLEL --> +<!ENTITY operp "⦹" ><!--CIRCLED PERPENDICULAR --> +<!ENTITY oplus "⊕" ><!--CIRCLED PLUS --> +<!ENTITY osol "⊘" ><!--CIRCLED DIVISION SLASH --> +<!ENTITY otimes "⊗" ><!--CIRCLED TIMES --> +<!ENTITY Otimes "⨷" ><!--MULTIPLICATION SIGN IN DOUBLE CIRCLE --> +<!ENTITY otimesas "⨶" ><!--CIRCLED MULTIPLICATION SIGN WITH CIRCUMFLEX ACCENT --> +<!ENTITY ovbar "⌽" ><!--APL FUNCTIONAL SYMBOL CIRCLE STILE --> +<!ENTITY plusacir "⨣" ><!--PLUS SIGN WITH CIRCUMFLEX ACCENT ABOVE --> +<!ENTITY plusb "⊞" ><!--SQUARED PLUS --> +<!ENTITY pluscir "⨢" ><!--PLUS SIGN WITH SMALL CIRCLE ABOVE --> +<!ENTITY plusdo "∔" ><!--DOT PLUS --> +<!ENTITY plusdu "⨥" ><!--PLUS SIGN WITH DOT BELOW --> +<!ENTITY pluse "⩲" ><!--PLUS SIGN ABOVE EQUALS SIGN --> +<!ENTITY plussim "⨦" ><!--PLUS SIGN WITH TILDE BELOW --> +<!ENTITY plustwo "⨧" ><!--PLUS SIGN WITH SUBSCRIPT TWO --> +<!ENTITY prod "∏" ><!--N-ARY PRODUCT --> +<!ENTITY race "∽̱" ><!--REVERSED TILDE with underline --> +<!ENTITY roplus "⨮" ><!--PLUS SIGN IN RIGHT HALF CIRCLE --> +<!ENTITY rotimes "⨵" ><!--MULTIPLICATION SIGN IN RIGHT HALF CIRCLE --> +<!ENTITY rthree "⋌" ><!--RIGHT SEMIDIRECT PRODUCT --> +<!ENTITY rtimes "⋊" ><!--RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT --> +<!ENTITY sdot "⋅" ><!--DOT OPERATOR --> +<!ENTITY sdotb "⊡" ><!--SQUARED DOT OPERATOR --> +<!ENTITY setmn "∖" ><!--SET MINUS --> +<!ENTITY simplus "⨤" ><!--PLUS SIGN WITH TILDE ABOVE --> +<!ENTITY smashp "⨳" ><!--SMASH PRODUCT --> +<!ENTITY solb "⧄" ><!--SQUARED RISING DIAGONAL SLASH --> +<!ENTITY sqcap "⊓" ><!--SQUARE CAP --> +<!ENTITY sqcaps "⊓︀" ><!--SQUARE CAP with serifs --> +<!ENTITY sqcup "⊔" ><!--SQUARE CUP --> +<!ENTITY sqcups "⊔︀" ><!--SQUARE CUP with serifs --> +<!ENTITY ssetmn "∖" ><!--SET MINUS --> +<!ENTITY sstarf "⋆" ><!--STAR OPERATOR --> +<!ENTITY subdot "⪽" ><!--SUBSET WITH DOT --> +<!ENTITY sum "∑" ><!--N-ARY SUMMATION --> +<!ENTITY supdot "⪾" ><!--SUPERSET WITH DOT --> +<!ENTITY timesb "⊠" ><!--SQUARED TIMES --> +<!ENTITY timesbar "⨱" ><!--MULTIPLICATION SIGN WITH UNDERBAR --> +<!ENTITY timesd "⨰" ><!--MULTIPLICATION SIGN WITH DOT ABOVE --> +<!ENTITY tridot "◬" ><!--WHITE UP-POINTING TRIANGLE WITH DOT --> +<!ENTITY triminus "⨺" ><!--MINUS SIGN IN TRIANGLE --> +<!ENTITY triplus "⨹" ><!--PLUS SIGN IN TRIANGLE --> +<!ENTITY trisb "⧍" ><!--TRIANGLE WITH SERIFS AT BOTTOM --> +<!ENTITY tritime "⨻" ><!--MULTIPLICATION SIGN IN TRIANGLE --> +<!ENTITY uplus "⊎" ><!--MULTISET UNION --> +<!ENTITY veebar "⊻" ><!--XOR --> +<!ENTITY wedbar "⩟" ><!--LOGICAL AND WITH UNDERBAR --> +<!ENTITY wreath "≀" ><!--WREATH PRODUCT --> +<!ENTITY xcap "⋂" ><!--N-ARY INTERSECTION --> +<!ENTITY xcirc "◯" ><!--LARGE CIRCLE --> +<!ENTITY xcup "⋃" ><!--N-ARY UNION --> +<!ENTITY xdtri "▽" ><!--WHITE DOWN-POINTING TRIANGLE --> +<!ENTITY xodot "⨀" ><!--N-ARY CIRCLED DOT OPERATOR --> +<!ENTITY xoplus "⨁" ><!--N-ARY CIRCLED PLUS OPERATOR --> +<!ENTITY xotime "⨂" ><!--N-ARY CIRCLED TIMES OPERATOR --> +<!ENTITY xsqcup "⨆" ><!--N-ARY SQUARE UNION OPERATOR --> +<!ENTITY xuplus "⨄" ><!--N-ARY UNION OPERATOR WITH PLUS --> +<!ENTITY xutri "△" ><!--WHITE UP-POINTING TRIANGLE --> +<!ENTITY xvee "⋁" ><!--N-ARY LOGICAL OR --> +<!ENTITY xwedge "⋀" ><!--N-ARY LOGICAL AND --> |