+++ /dev/null
-
-<!--
- 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 -->