4.4-xml/ent/isoamsc.ent


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51


<!--
     File isoamsc.ent produced by the XSL script entities.xsl
     from input data in unicode.xml.

     Please report any errors to David Carlisle
     via the public W3C list www-math@w3.org.

     The numeric character values assigned to each entity
     (should) match the Unicode assignments in Unicode 4.0.

     Entity names in this file are derived from files carrying the
     following notice:

     (C) International Organization for Standardization 1986
     Permission to copy in any form is granted for use with
     conforming SGML systems and applications as defined in
     ISO 8879, provided this notice is included in all copies.

-->


<!-- 
     Version: $Id: isoamsc.ent,v 1.2 2003/12/08 15:14:43 davidc Exp $

       Public identifier: ISO 8879:1986//ENTITIES Added Math Symbols: Delimiters//EN//XML
       System identifier: http://www.w3.org/2003/entities/iso8879/isoamsc.ent

     The public identifier should always be used verbatim.
     The system identifier may be changed to suit local requirements.

     Typical invocation:

       <!ENTITY % isoamsc PUBLIC
         "ISO 8879:1986//ENTITIES Added Math Symbols: Delimiters//EN//XML"
         "http://www.w3.org/2003/entities/iso8879/isoamsc.ent"
       >
       %isoamsc;

-->

<!ENTITY dlcorn           "&#x0231E;" ><!--BOTTOM LEFT CORNER -->
<!ENTITY drcorn           "&#x0231F;" ><!--BOTTOM RIGHT CORNER -->
<!ENTITY lceil            "&#x02308;" ><!--LEFT CEILING -->
<!ENTITY lfloor           "&#x0230A;" ><!--LEFT FLOOR -->
<!ENTITY lpargt           "&#x029A0;" ><!--SPHERICAL ANGLE OPENING LEFT -->
<!ENTITY rceil            "&#x02309;" ><!--RIGHT CEILING -->
<!ENTITY rfloor           "&#x0230B;" ><!--RIGHT FLOOR -->
<!ENTITY rpargt           "&#x02994;" ><!--RIGHT ARC GREATER-THAN BRACKET -->
<!ENTITY ulcorn           "&#x0231C;" ><!--TOP LEFT CORNER -->
<!ENTITY urcorn           "&#x0231D;" ><!--TOP RIGHT CORNER -->