| |
| <!-- |
| 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.1 2008/10/23 23:40:31 dacarver 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 --> |