libjava/classpath/tools/resource/gnu/classpath/tools/gjdoc/dtd/ent/iso-amsb.ent

   1 <!-- ...................................................................... -->
   2 <!-- ISO Added Math Symbols: Binary Operators Entities V0.3 ............... -->
   3 <!-- File iso-amsb.ent .................................................... -->
   4
   5 <!-- Copyright (C) 2001, 2002 Organization for the Advancement of Structured
   6      Information Standards (OASIS).
   7
   8      $Id: iso-amsb.ent,v 1.1 2008/05/27 19:26:06 jsumali Exp $
   9
  10      Permission to use, copy, modify and distribute this entity set
  11      and its accompanying documentation for any purpose and without
  12      fee is hereby granted in perpetuity, provided that the above
  13      copyright notice and this paragraph appear in all copies. The
  14      copyright holders make no representation about the suitability of
  15      the entities for any purpose. It is provided "as is" without
  16      expressed or implied warranty.
  17
  18      Please direct all questions, bug reports, or suggestions for
  19      changes to the docbook@lists.oasis-open.org mailing list. For more
  20      information, see http://www.oasis-open.org/docbook/.
  21
  22      Derived, in part, from:
  23
  24        * iso-amsb.gml
  25
  26            Copyright (C) 1986 International Organization for Standardization
  27            Permission to copy in any form is granted for use with
  28            conforming SGML systems and applications as defined in
  29            ISO 8879, provided this notice is included in all copies.
  30
  31        * http://www.tug.org/applications/jadetex/unicode.xml
  32
  33        * ftp://ftp.unicode.org/Public/MAPPINGS/VENDORS/MISC/SGML.TXT
  34
  35      Please use the following formal public identifier to identify it:
  36
  37        ISO 8879:1986//ENTITIES Added Math Symbols: Binary Operators//EN//XML
  38 -->
  39
  40 <!ENTITY amalg  "&#x2210;"> <!-- N-ARY COPRODUCT -->
  41 <!ENTITY Barwed "&#x2306;"> <!-- PERSPECTIVE -->
  42 <!ENTITY barwed "&#x22BC;"> <!-- NAND -->
  43 <!ENTITY Cap    "&#x22D2;"> <!-- DOUBLE INTERSECTION -->
  44 <!ENTITY Cup    "&#x22D3;"> <!-- DOUBLE UNION -->
  45 <!ENTITY cuvee  "&#x22CE;"> <!-- CURLY LOGICAL OR -->
  46 <!ENTITY cuwed  "&#x22CF;"> <!-- CURLY LOGICAL AND -->
  47 <!ENTITY diam   "&#x22C4;"> <!-- DIAMOND OPERATOR -->
  48 <!ENTITY divonx "&#x22C7;"> <!-- DIVISION TIMES -->
  49 <!ENTITY intcal "&#x22BA;"> <!-- INTERCALATE -->
  50 <!ENTITY lthree "&#x22CB;"> <!-- LEFT SEMIDIRECT PRODUCT -->
  51 <!ENTITY ltimes "&#x22C9;"> <!-- LEFT NORMAL FACTOR SEMIDIRECT PRODUCT -->
  52 <!ENTITY minusb "&#x229F;"> <!-- SQUARED MINUS -->
  53 <!ENTITY oast   "&#x229B;"> <!-- CIRCLED ASTERISK OPERATOR -->
  54 <!ENTITY ocir   "&#x229A;"> <!-- CIRCLED RING OPERATOR -->
  55 <!ENTITY odash  "&#x229D;"> <!-- CIRCLED DASH -->
  56 <!ENTITY odot   "&#x2299;"> <!-- CIRCLED DOT OPERATOR -->
  57 <!ENTITY ominus "&#x2296;"> <!-- CIRCLED MINUS -->
  58 <!ENTITY oplus  "&#x2295;"> <!-- CIRCLED PLUS -->
  59 <!ENTITY osol   "&#x2298;"> <!-- CIRCLED DIVISION SLASH -->
  60 <!ENTITY otimes "&#x2297;"> <!-- CIRCLED TIMES -->
  61 <!ENTITY plusb  "&#x229E;"> <!-- SQUARED PLUS -->
  62 <!ENTITY plusdo "&#x2214;"> <!-- DOT PLUS -->
  63 <!ENTITY rthree "&#x22CC;"> <!-- RIGHT SEMIDIRECT PRODUCT -->
  64 <!ENTITY rtimes "&#x22CA;"> <!-- RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT -->
  65 <!ENTITY sdot   "&#x22C5;"> <!-- DOT OPERATOR -->
  66 <!ENTITY sdotb  "&#x22A1;"> <!-- SQUARED DOT OPERATOR -->
  67 <!ENTITY setmn  "&#x2216;"> <!-- SET MINUS -->
  68 <!ENTITY sqcap  "&#x2293;"> <!-- SQUARE CAP -->
  69 <!ENTITY sqcup  "&#x2294;"> <!-- SQUARE CUP -->
  70 <!ENTITY ssetmn "&#x2216;"> <!-- SET MINUS -->
  71 <!ENTITY sstarf "&#x22C6;"> <!-- STAR OPERATOR -->
  72 <!ENTITY timesb "&#x22A0;"> <!-- SQUARED TIMES -->
  73 <!ENTITY top    "&#x22A4;"> <!-- DOWN TACK -->
  74 <!ENTITY uplus  "&#x228E;"> <!-- MULTISET UNION -->
  75 <!ENTITY wreath "&#x2240;"> <!-- WREATH PRODUCT -->
  76 <!ENTITY xcirc  "&#x25CB;"> <!-- WHITE CIRCLE -->
  77 <!ENTITY xdtri  "&#x25BD;"> <!-- WHITE DOWN-POINTING TRIANGLE -->
  78 <!ENTITY xutri  "&#x25B3;"> <!-- WHITE UP-POINTING TRIANGLE -->
  79 <!ENTITY coprod "&#x2210;"> <!-- N-ARY COPRODUCT -->
  80 <!ENTITY prod   "&#x220F;"> <!-- N-ARY PRODUCT -->
  81 <!ENTITY sum    "&#x2211;"> <!-- N-ARY SUMMATION -->
  82
  83 <!-- End of Added Math Symbols: Binary Operators Entities V0.3 ............ -->
  84 <!-- ...................................................................... -->