84 lines
3.9 KiB
Plaintext
84 lines
3.9 KiB
Plaintext
|
|
<!--
|
|
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 -->
|