annotate xml/xhtml-special.ent @ 2120:e3a79066380d

Evaluate minus and times in MonoOpt
author Adam Chlipala <adam@chlipala.net>
date Mon, 16 Feb 2015 14:52:56 -0500
parents 1c9f8f06c1d6
children
rev   line source
adam@1592 1 <!-- Special characters for XHTML -->
adam@1592 2
adam@1592 3 <!-- Character entity set. Typical invocation:
adam@1592 4 <!ENTITY % HTMLspecial PUBLIC
adam@1592 5 "-//W3C//ENTITIES Special for XHTML//EN"
adam@1592 6 "http://www.w3.org/TR/xhtml1/DTD/xhtml-special.ent">
adam@1592 7 %HTMLspecial;
adam@1592 8 -->
adam@1592 9
adam@1592 10 <!-- Portions (C) International Organization for Standardization 1986:
adam@1592 11 Permission to copy in any form is granted for use with
adam@1592 12 conforming SGML systems and applications as defined in
adam@1592 13 ISO 8879, provided this notice is included in all copies.
adam@1592 14 -->
adam@1592 15
adam@1592 16 <!-- Relevant ISO entity set is given unless names are newly introduced.
adam@1592 17 New names (i.e., not in ISO 8879 list) do not clash with any
adam@1592 18 existing ISO 8879 entity names. ISO 10646 character numbers
adam@1592 19 are given for each character, in hex. values are decimal
adam@1592 20 conversions of the ISO 10646 values and refer to the document
adam@1592 21 character set. Names are Unicode names.
adam@1592 22 -->
adam@1592 23
adam@1592 24 <!-- C0 Controls and Basic Latin -->
adam@1592 25 <!ENTITY quot "&#34;"> <!-- quotation mark, U+0022 ISOnum -->
adam@1592 26 <!ENTITY amp "&#38;#38;"> <!-- ampersand, U+0026 ISOnum -->
adam@1592 27 <!ENTITY lt "&#38;#60;"> <!-- less-than sign, U+003C ISOnum -->
adam@1592 28 <!ENTITY gt "&#62;"> <!-- greater-than sign, U+003E ISOnum -->
adam@1592 29 <!ENTITY apos "&#39;"> <!-- apostrophe = APL quote, U+0027 ISOnum -->
adam@1592 30
adam@1592 31 <!-- Latin Extended-A -->
adam@1592 32 <!ENTITY OElig "&#338;"> <!-- latin capital ligature OE,
adam@1592 33 U+0152 ISOlat2 -->
adam@1592 34 <!ENTITY oelig "&#339;"> <!-- latin small ligature oe, U+0153 ISOlat2 -->
adam@1592 35 <!-- ligature is a misnomer, this is a separate character in some languages -->
adam@1592 36 <!ENTITY Scaron "&#352;"> <!-- latin capital letter S with caron,
adam@1592 37 U+0160 ISOlat2 -->
adam@1592 38 <!ENTITY scaron "&#353;"> <!-- latin small letter s with caron,
adam@1592 39 U+0161 ISOlat2 -->
adam@1592 40 <!ENTITY Yuml "&#376;"> <!-- latin capital letter Y with diaeresis,
adam@1592 41 U+0178 ISOlat2 -->
adam@1592 42
adam@1592 43 <!-- Spacing Modifier Letters -->
adam@1592 44 <!ENTITY circ "&#710;"> <!-- modifier letter circumflex accent,
adam@1592 45 U+02C6 ISOpub -->
adam@1592 46 <!ENTITY tilde "&#732;"> <!-- small tilde, U+02DC ISOdia -->
adam@1592 47
adam@1592 48 <!-- General Punctuation -->
adam@1592 49 <!ENTITY ensp "&#8194;"> <!-- en space, U+2002 ISOpub -->
adam@1592 50 <!ENTITY emsp "&#8195;"> <!-- em space, U+2003 ISOpub -->
adam@1592 51 <!ENTITY thinsp "&#8201;"> <!-- thin space, U+2009 ISOpub -->
adam@1592 52 <!ENTITY zwnj "&#8204;"> <!-- zero width non-joiner,
adam@1592 53 U+200C NEW RFC 2070 -->
adam@1592 54 <!ENTITY zwj "&#8205;"> <!-- zero width joiner, U+200D NEW RFC 2070 -->
adam@1592 55 <!ENTITY lrm "&#8206;"> <!-- left-to-right mark, U+200E NEW RFC 2070 -->
adam@1592 56 <!ENTITY rlm "&#8207;"> <!-- right-to-left mark, U+200F NEW RFC 2070 -->
adam@1592 57 <!ENTITY ndash "&#8211;"> <!-- en dash, U+2013 ISOpub -->
adam@1592 58 <!ENTITY mdash "&#8212;"> <!-- em dash, U+2014 ISOpub -->
adam@1592 59 <!ENTITY lsquo "&#8216;"> <!-- left single quotation mark,
adam@1592 60 U+2018 ISOnum -->
adam@1592 61 <!ENTITY rsquo "&#8217;"> <!-- right single quotation mark,
adam@1592 62 U+2019 ISOnum -->
adam@1592 63 <!ENTITY sbquo "&#8218;"> <!-- single low-9 quotation mark, U+201A NEW -->
adam@1592 64 <!ENTITY ldquo "&#8220;"> <!-- left double quotation mark,
adam@1592 65 U+201C ISOnum -->
adam@1592 66 <!ENTITY rdquo "&#8221;"> <!-- right double quotation mark,
adam@1592 67 U+201D ISOnum -->
adam@1592 68 <!ENTITY bdquo "&#8222;"> <!-- double low-9 quotation mark, U+201E NEW -->
adam@1592 69 <!ENTITY dagger "&#8224;"> <!-- dagger, U+2020 ISOpub -->
adam@1592 70 <!ENTITY Dagger "&#8225;"> <!-- double dagger, U+2021 ISOpub -->
adam@1592 71 <!ENTITY permil "&#8240;"> <!-- per mille sign, U+2030 ISOtech -->
adam@1592 72 <!ENTITY lsaquo "&#8249;"> <!-- single left-pointing angle quotation mark,
adam@1592 73 U+2039 ISO proposed -->
adam@1592 74 <!-- lsaquo is proposed but not yet ISO standardized -->
adam@1592 75 <!ENTITY rsaquo "&#8250;"> <!-- single right-pointing angle quotation mark,
adam@1592 76 U+203A ISO proposed -->
adam@1592 77 <!-- rsaquo is proposed but not yet ISO standardized -->
adam@1592 78
adam@1592 79 <!-- Currency Symbols -->
adam@1592 80 <!ENTITY euro "&#8364;"> <!-- euro sign, U+20AC NEW -->