doc/docbook-xml/ent/isoamsb.ent

   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 2007/03/10 05:14:55 scott 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            "&#x02A3F;" ><!--AMALGAMATION OR COPRODUCT -->
  43 <!ENTITY Barwed           "&#x02306;" ><!--PERSPECTIVE -->
  44 <!ENTITY barwed           "&#x02305;" ><!--PROJECTIVE -->
  45 <!ENTITY Cap              "&#x022D2;" ><!--DOUBLE INTERSECTION -->
  46 <!ENTITY coprod           "&#x02210;" ><!--N-ARY COPRODUCT -->
  47 <!ENTITY Cup              "&#x022D3;" ><!--DOUBLE UNION -->
  48 <!ENTITY cuvee            "&#x022CE;" ><!--CURLY LOGICAL OR -->
  49 <!ENTITY cuwed            "&#x022CF;" ><!--CURLY LOGICAL AND -->
  50 <!ENTITY diam             "&#x022C4;" ><!--DIAMOND OPERATOR -->
  51 <!ENTITY divonx           "&#x022C7;" ><!--DIVISION TIMES -->
  52 <!ENTITY intcal           "&#x022BA;" ><!--INTERCALATE -->
  53 <!ENTITY lthree           "&#x022CB;" ><!--LEFT SEMIDIRECT PRODUCT -->
  54 <!ENTITY ltimes           "&#x022C9;" ><!--LEFT NORMAL FACTOR SEMIDIRECT PRODUCT -->
  55 <!ENTITY minusb           "&#x0229F;" ><!--SQUARED MINUS -->
  56 <!ENTITY oast             "&#x0229B;" ><!--CIRCLED ASTERISK OPERATOR -->
  57 <!ENTITY ocir             "&#x0229A;" ><!--CIRCLED RING OPERATOR -->
  58 <!ENTITY odash            "&#x0229D;" ><!--CIRCLED DASH -->
  59 <!ENTITY odot             "&#x02299;" ><!--CIRCLED DOT OPERATOR -->
  60 <!ENTITY ominus           "&#x02296;" ><!--CIRCLED MINUS -->
  61 <!ENTITY oplus            "&#x02295;" ><!--CIRCLED PLUS -->
  62 <!ENTITY osol             "&#x02298;" ><!--CIRCLED DIVISION SLASH -->
  63 <!ENTITY otimes           "&#x02297;" ><!--CIRCLED TIMES -->
  64 <!ENTITY plusb            "&#x0229E;" ><!--SQUARED PLUS -->
  65 <!ENTITY plusdo           "&#x02214;" ><!--DOT PLUS -->
  66 <!ENTITY prod             "&#x0220F;" ><!--N-ARY PRODUCT -->
  67 <!ENTITY rthree           "&#x022CC;" ><!--RIGHT SEMIDIRECT PRODUCT -->
  68 <!ENTITY rtimes           "&#x022CA;" ><!--RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT -->
  69 <!ENTITY sdot             "&#x022C5;" ><!--DOT OPERATOR -->
  70 <!ENTITY sdotb            "&#x022A1;" ><!--SQUARED DOT OPERATOR -->
  71 <!ENTITY setmn            "&#x02216;" ><!--SET MINUS -->
  72 <!ENTITY sqcap            "&#x02293;" ><!--SQUARE CAP -->
  73 <!ENTITY sqcup            "&#x02294;" ><!--SQUARE CUP -->
  74 <!ENTITY ssetmn           "&#x02216;" ><!--SET MINUS -->
  75 <!ENTITY sstarf           "&#x022C6;" ><!--STAR OPERATOR -->
  76 <!ENTITY sum              "&#x02211;" ><!--N-ARY SUMMATION -->
  77 <!ENTITY timesb           "&#x022A0;" ><!--SQUARED TIMES -->
  78 <!ENTITY top              "&#x022A4;" ><!--DOWN TACK -->
  79 <!ENTITY uplus            "&#x0228E;" ><!--MULTISET UNION -->
  80 <!ENTITY wreath           "&#x02240;" ><!--WREATH PRODUCT -->
  81 <!ENTITY xcirc            "&#x025EF;" ><!--LARGE CIRCLE -->
  82 <!ENTITY xdtri            "&#x025BD;" ><!--WHITE DOWN-POINTING TRIANGLE -->
  83 <!ENTITY xutri            "&#x025B3;" ><!--WHITE UP-POINTING TRIANGLE -->