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

   1 <!-- ...................................................................... -->
   2 <!-- ISO Added Math Symbols: Delimiters Entities V0.3 ..................... -->
   3 <!-- File iso-amsc.ent .................................................... -->
   4
   5 <!-- Copyright (C) 2001, 2002 Organization for the Advancement of Structured
   6      Information Standards (OASIS).
   7
   8      $Id: iso-amsc.ent,v 1.5 2012/04/18 17:29:07 nickc 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-amsc.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: Delimiters//EN//XML
  38 -->
  39
  40 <!ENTITY rceil  "&#x2309;"> <!-- RIGHT CEILING -->
  41 <!ENTITY rfloor "&#x230B;"> <!-- RIGHT FLOOR -->
  42 <!ENTITY rpargt "&#xE291;"> <!--  -->
  43 <!ENTITY urcorn "&#x231D;"> <!-- TOP RIGHT CORNER -->
  44 <!ENTITY drcorn "&#x231F;"> <!-- BOTTOM RIGHT CORNER -->
  45 <!ENTITY lceil  "&#x2308;"> <!-- LEFT CEILING -->
  46 <!ENTITY lfloor "&#x230A;"> <!-- LEFT FLOOR -->
  47 <!--     lpargt Unknown unicode character -->
  48 <!ENTITY ulcorn "&#x231C;"> <!-- TOP LEFT CORNER -->
  49 <!ENTITY dlcorn "&#x231E;"> <!-- BOTTOM LEFT CORNER -->
  50
  51 <!-- End of Added Math Symbols: Delimiters Entities V0.3 .................. -->
  52 <!-- ...................................................................... -->