docs-xml/xslt/db2latex-xsl/xsl/mathml/ent/isobox.ent

   1
   2 <!--
   3      File isobox.ent produced by the XSL script mmldtd.xsl
   4      from input data in unicode.xml.
   5
   6      Please report any errors to
   7      David Carlisle <davidc@nag.co.uk>.
   8
   9      The numeric character values assigned to each entity
  10      (should) match either official Unicode assignments
  11      or assignments provisionally allocated by the
  12      Unicode Consortium based on the characters in the `STIX'
  13      propsal for mathematics. Note that these assignments
  14      have not been ratified by the corresponding ISO
  15      committee and thus should be considered liable to
  16      change.
  17
  18      Entity names in this file are derived from files carrying the
  19      following notice:
  20
  21      (C) International Organization for Standardization 1986
  22      Permission to copy in any form is granted for use with
  23      conforming SGML systems and applications as defined in
  24      ISO 8879, provided this notice is included in all copies.
  25
  26 -->
  27
  28 <!ENTITY boxdl            "&#x02510;" ><!--lower left quadrant -->
  29 <!ENTITY boxdL            "&#x02555;" ><!--lower left quadrant -->
  30 <!ENTITY boxDl            "&#x02556;" ><!--lower left quadrant -->
  31 <!ENTITY boxDL            "&#x02557;" ><!--lower left quadrant -->
  32 <!ENTITY boxdr            "&#x0250C;" ><!--lower right quadrant -->
  33 <!ENTITY boxdR            "&#x02552;" ><!--lower right quadrant -->
  34 <!ENTITY boxDr            "&#x02553;" ><!--lower right quadrant -->
  35 <!ENTITY boxDR            "&#x02554;" ><!--lower right quadrant -->
  36 <!ENTITY boxh             "&#x02500;" ><!--horizontal line  -->
  37 <!ENTITY boxH             "&#x02550;" ><!--horizontal line -->
  38 <!ENTITY boxhd            "&#x0252C;" ><!--lower left and right quadrants -->
  39 <!ENTITY boxhD            "&#x02565;" ><!--lower left and right quadrants -->
  40 <!ENTITY boxHd            "&#x02564;" ><!--lower left and right quadrants -->
  41 <!ENTITY boxHD            "&#x02566;" ><!--lower left and right quadrants -->
  42 <!ENTITY boxhu            "&#x02534;" ><!--upper left and right quadrants -->
  43 <!ENTITY boxhU            "&#x02568;" ><!--upper left and right quadrants -->
  44 <!ENTITY boxHu            "&#x02567;" ><!--upper left and right quadrants -->
  45 <!ENTITY boxHU            "&#x02569;" ><!--upper left and right quadrants -->
  46 <!ENTITY boxul            "&#x02518;" ><!--upper left quadrant -->
  47 <!ENTITY boxuL            "&#x0255B;" ><!--upper left quadrant -->
  48 <!ENTITY boxUl            "&#x0255C;" ><!--upper left quadrant -->
  49 <!ENTITY boxUL            "&#x0255D;" ><!--upper left quadrant -->
  50 <!ENTITY boxur            "&#x02514;" ><!--upper right quadrant -->
  51 <!ENTITY boxuR            "&#x02558;" ><!--upper right quadrant -->
  52 <!ENTITY boxUr            "&#x02559;" ><!--upper right quadrant -->
  53 <!ENTITY boxUR            "&#x0255A;" ><!--upper right quadrant -->
  54 <!ENTITY boxv             "&#x02502;" ><!--vertical line -->
  55 <!ENTITY boxV             "&#x02551;" ><!--vertical line -->
  56 <!ENTITY boxvh            "&#x0253C;" ><!--all four quadrants -->
  57 <!ENTITY boxvH            "&#x0256A;" ><!--all four quadrants -->
  58 <!ENTITY boxVh            "&#x0256B;" ><!--all four quadrants -->
  59 <!ENTITY boxVH            "&#x0256C;" ><!--all four quadrants -->
  60 <!ENTITY boxvl            "&#x02524;" ><!--upper and lower left quadrants -->
  61 <!ENTITY boxvL            "&#x02561;" ><!--upper and lower left quadrants -->
  62 <!ENTITY boxVl            "&#x02562;" ><!--upper and lower left quadrants -->
  63 <!ENTITY boxVL            "&#x02563;" ><!--upper and lower left quadrants -->
  64 <!ENTITY boxvr            "&#x0251C;" ><!--upper and lower right quadrants -->
  65 <!ENTITY boxvR            "&#x0255E;" ><!--upper and lower right quadrants -->
  66 <!ENTITY boxVr            "&#x0255F;" ><!--upper and lower right quadrants -->
  67 <!ENTITY boxVR            "&#x02560;" ><!--upper and lower right quadrants -->