4.3-xml/ent/iso-amsb.ent

   1 <!-- iso-amsb.ent (initially distributed with DocBook XML DTD V4.1.1beta1) -->
   2
   3 <!-- Derived from the corresponding ISO 8879 standard entity set
   4      and the Unicode character mappings provided by Sebastian Rahtz.
   5      With additional derivations from
   6      ftp://ftp.unicode.org/Public/MAPPINGS/VENDORS/MISC/SGML.TXT -->
   7
   8 <!ENTITY amalg  "&#x2210;"> <!-- N-ARY COPRODUCT -->
   9 <!ENTITY Barwed "&#x2306;"> <!-- PERSPECTIVE -->
  10 <!ENTITY barwed "&#x22BC;"> <!-- NAND -->
  11 <!ENTITY Cap    "&#x22D2;"> <!-- DOUBLE INTERSECTION -->
  12 <!ENTITY Cup    "&#x22D3;"> <!-- DOUBLE UNION -->
  13 <!ENTITY cuvee  "&#x22CE;"> <!-- CURLY LOGICAL OR -->
  14 <!ENTITY cuwed  "&#x22CF;"> <!-- CURLY LOGICAL AND -->
  15 <!ENTITY diam   "&#x22C4;"> <!-- DIAMOND OPERATOR -->
  16 <!ENTITY divonx "&#x22C7;"> <!-- DIVISION TIMES -->
  17 <!ENTITY intcal "&#x22BA;"> <!-- INTERCALATE -->
  18 <!ENTITY lthree "&#x22CB;"> <!-- LEFT SEMIDIRECT PRODUCT -->
  19 <!ENTITY ltimes "&#x22C9;"> <!-- LEFT NORMAL FACTOR SEMIDIRECT PRODUCT -->
  20 <!ENTITY minusb "&#x229F;"> <!-- SQUARED MINUS -->
  21 <!ENTITY oast   "&#x229B;"> <!-- CIRCLED ASTERISK OPERATOR -->
  22 <!ENTITY ocir   "&#x229A;"> <!-- CIRCLED RING OPERATOR -->
  23 <!ENTITY odash  "&#x229D;"> <!-- CIRCLED DASH -->
  24 <!ENTITY odot   "&#x2299;"> <!-- CIRCLED DOT OPERATOR -->
  25 <!ENTITY ominus "&#x2296;"> <!-- CIRCLED MINUS -->
  26 <!ENTITY oplus  "&#x2295;"> <!-- CIRCLED PLUS -->
  27 <!ENTITY osol   "&#x2298;"> <!-- CIRCLED DIVISION SLASH -->
  28 <!ENTITY otimes "&#x2297;"> <!-- CIRCLED TIMES -->
  29 <!ENTITY plusb  "&#x229E;"> <!-- SQUARED PLUS -->
  30 <!ENTITY plusdo "&#x2214;"> <!-- DOT PLUS -->
  31 <!ENTITY rthree "&#x22CC;"> <!-- RIGHT SEMIDIRECT PRODUCT -->
  32 <!ENTITY rtimes "&#x22CA;"> <!-- RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT -->
  33 <!ENTITY sdot   "&#x22C5;"> <!-- DOT OPERATOR -->
  34 <!ENTITY sdotb  "&#x22A1;"> <!-- SQUARED DOT OPERATOR -->
  35 <!ENTITY setmn  "&#x2216;"> <!-- SET MINUS -->
  36 <!ENTITY sqcap  "&#x2293;"> <!-- SQUARE CAP -->
  37 <!ENTITY sqcup  "&#x2294;"> <!-- SQUARE CUP -->
  38 <!ENTITY ssetmn "&#x2216;"> <!-- SET MINUS -->
  39 <!ENTITY sstarf "&#x22C6;"> <!-- STAR OPERATOR -->
  40 <!ENTITY timesb "&#x22A0;"> <!-- SQUARED TIMES -->
  41 <!ENTITY top    "&#x22A4;"> <!-- DOWN TACK -->
  42 <!ENTITY uplus  "&#x228E;"> <!-- MULTISET UNION -->
  43 <!ENTITY wreath "&#x2240;"> <!-- WREATH PRODUCT -->
  44 <!ENTITY xcirc  "&#x25CB;"> <!-- WHITE CIRCLE -->
  45 <!ENTITY xdtri  "&#x25BD;"> <!-- WHITE DOWN-POINTING TRIANGLE -->
  46 <!ENTITY xutri  "&#x25B3;"> <!-- WHITE UP-POINTING TRIANGLE -->
  47 <!ENTITY coprod "&#x2210;"> <!-- N-ARY COPRODUCT -->
  48 <!ENTITY prod   "&#x220F;"> <!-- N-ARY PRODUCT -->
  49 <!ENTITY sum    "&#x2211;"> <!-- N-ARY SUMMATION -->