diff options
Diffstat (limited to 'Utilities/xml/docbook-4.5/ent/isoamsc.ent')
-rw-r--r-- | Utilities/xml/docbook-4.5/ent/isoamsc.ent | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/Utilities/xml/docbook-4.5/ent/isoamsc.ent b/Utilities/xml/docbook-4.5/ent/isoamsc.ent new file mode 100644 index 0000000..2fad417 --- /dev/null +++ b/Utilities/xml/docbook-4.5/ent/isoamsc.ent @@ -0,0 +1,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 "⌞" ><!--BOTTOM LEFT CORNER --> +<!ENTITY drcorn "⌟" ><!--BOTTOM RIGHT CORNER --> +<!ENTITY lceil "⌈" ><!--LEFT CEILING --> +<!ENTITY lfloor "⌊" ><!--LEFT FLOOR --> +<!ENTITY lpargt "⦠" ><!--SPHERICAL ANGLE OPENING LEFT --> +<!ENTITY rceil "⌉" ><!--RIGHT CEILING --> +<!ENTITY rfloor "⌋" ><!--RIGHT FLOOR --> +<!ENTITY rpargt "⦔" ><!--RIGHT ARC GREATER-THAN BRACKET --> +<!ENTITY ulcorn "⌜" ><!--TOP LEFT CORNER --> +<!ENTITY urcorn "⌝" ><!--TOP RIGHT CORNER --> |