diff options
Diffstat (limited to '4.5-xml/ent/isoamsb.ent')
| -rw-r--r-- | 4.5-xml/ent/isoamsb.ent | 83 |
1 files changed, 83 insertions, 0 deletions
diff --git a/4.5-xml/ent/isoamsb.ent b/4.5-xml/ent/isoamsb.ent new file mode 100644 index 0000000..4065b66 --- /dev/null +++ b/4.5-xml/ent/isoamsb.ent @@ -0,0 +1,83 @@ + +<!-- + File isoamsb.ent produced by the XSL script entities.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. + + Entity names in this file are derived from files carrying the + following notice: + + (C) International Organization for Standardization 1986 + 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. + +--> + + +<!-- + Version: $Id: isoamsb.ent,v 1.2 2003/12/08 15:14:43 davidc Exp $ + + Public identifier: ISO 8879:1986//ENTITIES Added Math Symbols: Binary Operators//EN//XML + System identifier: http://www.w3.org/2003/entities/iso8879/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 + "ISO 8879:1986//ENTITIES Added Math Symbols: Binary Operators//EN//XML" + "http://www.w3.org/2003/entities/iso8879/isoamsb.ent" + > + %isoamsb; + +--> + +<!ENTITY amalg "⨿" ><!--AMALGAMATION OR COPRODUCT --> +<!ENTITY Barwed "⌆" ><!--PERSPECTIVE --> +<!ENTITY barwed "⌅" ><!--PROJECTIVE --> +<!ENTITY Cap "⋒" ><!--DOUBLE INTERSECTION --> +<!ENTITY coprod "∐" ><!--N-ARY COPRODUCT --> +<!ENTITY Cup "⋓" ><!--DOUBLE UNION --> +<!ENTITY cuvee "⋎" ><!--CURLY LOGICAL OR --> +<!ENTITY cuwed "⋏" ><!--CURLY LOGICAL AND --> +<!ENTITY diam "⋄" ><!--DIAMOND OPERATOR --> +<!ENTITY divonx "⋇" ><!--DIVISION TIMES --> +<!ENTITY intcal "⊺" ><!--INTERCALATE --> +<!ENTITY lthree "⋋" ><!--LEFT SEMIDIRECT PRODUCT --> +<!ENTITY ltimes "⋉" ><!--LEFT NORMAL FACTOR SEMIDIRECT PRODUCT --> +<!ENTITY minusb "⊟" ><!--SQUARED MINUS --> +<!ENTITY oast "⊛" ><!--CIRCLED ASTERISK OPERATOR --> +<!ENTITY ocir "⊚" ><!--CIRCLED RING OPERATOR --> +<!ENTITY odash "⊝" ><!--CIRCLED DASH --> +<!ENTITY odot "⊙" ><!--CIRCLED DOT OPERATOR --> +<!ENTITY ominus "⊖" ><!--CIRCLED MINUS --> +<!ENTITY oplus "⊕" ><!--CIRCLED PLUS --> +<!ENTITY osol "⊘" ><!--CIRCLED DIVISION SLASH --> +<!ENTITY otimes "⊗" ><!--CIRCLED TIMES --> +<!ENTITY plusb "⊞" ><!--SQUARED PLUS --> +<!ENTITY plusdo "∔" ><!--DOT PLUS --> +<!ENTITY prod "∏" ><!--N-ARY PRODUCT --> +<!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 sqcap "⊓" ><!--SQUARE CAP --> +<!ENTITY sqcup "⊔" ><!--SQUARE CUP --> +<!ENTITY ssetmn "∖" ><!--SET MINUS --> +<!ENTITY sstarf "⋆" ><!--STAR OPERATOR --> +<!ENTITY sum "∑" ><!--N-ARY SUMMATION --> +<!ENTITY timesb "⊠" ><!--SQUARED TIMES --> +<!ENTITY top "⊤" ><!--DOWN TACK --> +<!ENTITY uplus "⊎" ><!--MULTISET UNION --> +<!ENTITY wreath "≀" ><!--WREATH PRODUCT --> +<!ENTITY xcirc "◯" ><!--LARGE CIRCLE --> +<!ENTITY xdtri "▽" ><!--WHITE DOWN-POINTING TRIANGLE --> +<!ENTITY xutri "△" ><!--WHITE UP-POINTING TRIANGLE --> |