| dacarver | 2533f94 | 2008-10-23 23:40:31 +0000 | [diff] [blame] | 1 | |
| 2 | <!-- |
| 3 | File isoamsb.ent produced by the XSL script entities.xsl |
| 4 | from input data in unicode.xml. |
| 5 | |
| 6 | Please report any errors to David Carlisle |
| 7 | via the public W3C list www-math@w3.org. |
| 8 | |
| 9 | The numeric character values assigned to each entity |
| 10 | (should) match the Unicode assignments in Unicode 4.0. |
| 11 | |
| 12 | Entity names in this file are derived from files carrying the |
| 13 | following notice: |
| 14 | |
| 15 | (C) International Organization for Standardization 1986 |
| 16 | Permission to copy in any form is granted for use with |
| 17 | conforming SGML systems and applications as defined in |
| 18 | ISO 8879, provided this notice is included in all copies. |
| 19 | |
| 20 | --> |
| 21 | |
| 22 | |
| 23 | <!-- |
| 24 | Version: $Id: isoamsb.ent,v 1.1 2008/10/23 23:40:31 dacarver Exp $ |
| 25 | |
| 26 | Public identifier: ISO 8879:1986//ENTITIES Added Math Symbols: Binary Operators//EN//XML |
| 27 | System identifier: http://www.w3.org/2003/entities/iso8879/isoamsb.ent |
| 28 | |
| 29 | The public identifier should always be used verbatim. |
| 30 | The system identifier may be changed to suit local requirements. |
| 31 | |
| 32 | Typical invocation: |
| 33 | |
| 34 | <!ENTITY % isoamsb PUBLIC |
| 35 | "ISO 8879:1986//ENTITIES Added Math Symbols: Binary Operators//EN//XML" |
| 36 | "http://www.w3.org/2003/entities/iso8879/isoamsb.ent" |
| 37 | > |
| 38 | %isoamsb; |
| 39 | |
| 40 | --> |
| 41 | |
| 42 | <!ENTITY amalg "⨿" ><!--AMALGAMATION OR COPRODUCT --> |
| 43 | <!ENTITY Barwed "⌆" ><!--PERSPECTIVE --> |
| 44 | <!ENTITY barwed "⌅" ><!--PROJECTIVE --> |
| 45 | <!ENTITY Cap "⋒" ><!--DOUBLE INTERSECTION --> |
| 46 | <!ENTITY coprod "∐" ><!--N-ARY COPRODUCT --> |
| 47 | <!ENTITY Cup "⋓" ><!--DOUBLE UNION --> |
| 48 | <!ENTITY cuvee "⋎" ><!--CURLY LOGICAL OR --> |
| 49 | <!ENTITY cuwed "⋏" ><!--CURLY LOGICAL AND --> |
| 50 | <!ENTITY diam "⋄" ><!--DIAMOND OPERATOR --> |
| 51 | <!ENTITY divonx "⋇" ><!--DIVISION TIMES --> |
| 52 | <!ENTITY intcal "⊺" ><!--INTERCALATE --> |
| 53 | <!ENTITY lthree "⋋" ><!--LEFT SEMIDIRECT PRODUCT --> |
| 54 | <!ENTITY ltimes "⋉" ><!--LEFT NORMAL FACTOR SEMIDIRECT PRODUCT --> |
| 55 | <!ENTITY minusb "⊟" ><!--SQUARED MINUS --> |
| 56 | <!ENTITY oast "⊛" ><!--CIRCLED ASTERISK OPERATOR --> |
| 57 | <!ENTITY ocir "⊚" ><!--CIRCLED RING OPERATOR --> |
| 58 | <!ENTITY odash "⊝" ><!--CIRCLED DASH --> |
| 59 | <!ENTITY odot "⊙" ><!--CIRCLED DOT OPERATOR --> |
| 60 | <!ENTITY ominus "⊖" ><!--CIRCLED MINUS --> |
| 61 | <!ENTITY oplus "⊕" ><!--CIRCLED PLUS --> |
| 62 | <!ENTITY osol "⊘" ><!--CIRCLED DIVISION SLASH --> |
| 63 | <!ENTITY otimes "⊗" ><!--CIRCLED TIMES --> |
| 64 | <!ENTITY plusb "⊞" ><!--SQUARED PLUS --> |
| 65 | <!ENTITY plusdo "∔" ><!--DOT PLUS --> |
| 66 | <!ENTITY prod "∏" ><!--N-ARY PRODUCT --> |
| 67 | <!ENTITY rthree "⋌" ><!--RIGHT SEMIDIRECT PRODUCT --> |
| 68 | <!ENTITY rtimes "⋊" ><!--RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT --> |
| 69 | <!ENTITY sdot "⋅" ><!--DOT OPERATOR --> |
| 70 | <!ENTITY sdotb "⊡" ><!--SQUARED DOT OPERATOR --> |
| 71 | <!ENTITY setmn "∖" ><!--SET MINUS --> |
| 72 | <!ENTITY sqcap "⊓" ><!--SQUARE CAP --> |
| 73 | <!ENTITY sqcup "⊔" ><!--SQUARE CUP --> |
| 74 | <!ENTITY ssetmn "∖" ><!--SET MINUS --> |
| 75 | <!ENTITY sstarf "⋆" ><!--STAR OPERATOR --> |
| 76 | <!ENTITY sum "∑" ><!--N-ARY SUMMATION --> |
| 77 | <!ENTITY timesb "⊠" ><!--SQUARED TIMES --> |
| 78 | <!ENTITY top "⊤" ><!--DOWN TACK --> |
| 79 | <!ENTITY uplus "⊎" ><!--MULTISET UNION --> |
| 80 | <!ENTITY wreath "≀" ><!--WREATH PRODUCT --> |
| 81 | <!ENTITY xcirc "◯" ><!--LARGE CIRCLE --> |
| 82 | <!ENTITY xdtri "▽" ><!--WHITE DOWN-POINTING TRIANGLE --> |
| 83 | <!ENTITY xutri "△" ><!--WHITE UP-POINTING TRIANGLE --> |