]> matita.cs.unibo.it Git - helm.git/blob - helm/dtd/isolat2.ent
Added new function compare_metasenvs.
[helm.git] / helm / dtd / isolat2.ent
1
2 <!--
3      File isolat2.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 abreve           "&#x00103;" ><!--=small a, breve -->
29 <!ENTITY Abreve           "&#x00102;" ><!--=capital A, breve -->
30 <!ENTITY amacr            "&#x00101;" ><!--=small a, macron -->
31 <!ENTITY Amacr            "&#x00100;" ><!--=capital A, macron -->
32 <!ENTITY aogon            "&#x00105;" ><!--=small a, ogonek -->
33 <!ENTITY Aogon            "&#x00104;" ><!--=capital A, ogonek -->
34 <!ENTITY cacute           "&#x00107;" ><!--=small c, acute accent -->
35 <!ENTITY Cacute           "&#x00106;" ><!--=capital C, acute accent -->
36 <!ENTITY ccaron           "&#x0010D;" ><!--=small c, caron -->
37 <!ENTITY Ccaron           "&#x0010C;" ><!--=capital C, caron -->
38 <!ENTITY ccirc            "&#x00109;" ><!--=small c, circumflex accent -->
39 <!ENTITY Ccirc            "&#x00108;" ><!--=capital C, circumflex accent -->
40 <!ENTITY cdot             "&#x0010B;" ><!--=small c, dot above -->
41 <!ENTITY Cdot             "&#x0010A;" ><!--=capital C, dot above -->
42 <!ENTITY dcaron           "&#x0010F;" ><!--=small d, caron -->
43 <!ENTITY Dcaron           "&#x0010E;" ><!--=capital D, caron -->
44 <!ENTITY dstrok           "&#x00111;" ><!--=small d, stroke -->
45 <!ENTITY Dstrok           "&#x00110;" ><!--=capital D, stroke -->
46 <!ENTITY ecaron           "&#x0011B;" ><!--=small e, caron -->
47 <!ENTITY Ecaron           "&#x0011A;" ><!--=capital E, caron -->
48 <!ENTITY edot             "&#x00117;" ><!--=small e, dot above -->
49 <!ENTITY Edot             "&#x00116;" ><!--=capital E, dot above -->
50 <!ENTITY emacr            "&#x00113;" ><!--=small e, macron -->
51 <!ENTITY Emacr            "&#x00112;" ><!--=capital E, macron -->
52 <!ENTITY eng              "&#x0014B;" ><!--=small eng, Lapp -->
53 <!ENTITY ENG              "&#x0014A;" ><!--=capital ENG, Lapp -->
54 <!ENTITY eogon            "&#x00119;" ><!--=small e, ogonek -->
55 <!ENTITY Eogon            "&#x00118;" ><!--=capital E, ogonek -->
56 <!ENTITY gacute           "&#x001F5;" ><!--=small g, acute accent -->
57 <!ENTITY gbreve           "&#x0011F;" ><!--=small g, breve -->
58 <!ENTITY Gbreve           "&#x0011E;" ><!--=capital G, breve -->
59 <!ENTITY Gcedil           "&#x00122;" ><!--=capital G, cedilla -->
60 <!ENTITY gcirc            "&#x0011D;" ><!--=small g, circumflex accent -->
61 <!ENTITY Gcirc            "&#x0011C;" ><!--=capital G, circumflex accent -->
62 <!ENTITY gdot             "&#x00121;" ><!--=small g, dot above -->
63 <!ENTITY Gdot             "&#x00120;" ><!--=capital G, dot above -->
64 <!ENTITY hcirc            "&#x00125;" ><!--=small h, circumflex accent -->
65 <!ENTITY Hcirc            "&#x00124;" ><!--=capital H, circumflex accent -->
66 <!ENTITY hstrok           "&#x00127;" ><!--=small h, stroke -->
67 <!ENTITY Hstrok           "&#x00126;" ><!--=capital H, stroke -->
68 <!ENTITY Idot             "&#x00130;" ><!--=capital I, dot above -->
69 <!ENTITY ijlig            "&#x00133;" ><!--=small ij ligature -->
70 <!ENTITY IJlig            "&#x00132;" ><!--=capital IJ ligature -->
71 <!ENTITY imacr            "&#x0012B;" ><!--=small i, macron -->
72 <!ENTITY Imacr            "&#x0012A;" ><!--=capital I, macron -->
73 <!ENTITY inodot           "&#x00131;" ><!--=small i without dot -->
74 <!ENTITY iogon            "&#x0012F;" ><!--=small i, ogonek -->
75 <!ENTITY Iogon            "&#x0012E;" ><!--=capital I, ogonek -->
76 <!ENTITY itilde           "&#x00129;" ><!--=small i, tilde -->
77 <!ENTITY Itilde           "&#x00128;" ><!--=capital I, tilde -->
78 <!ENTITY jcirc            "&#x00135;" ><!--=small j, circumflex accent -->
79 <!ENTITY Jcirc            "&#x00134;" ><!--=capital J, circumflex accent -->
80 <!ENTITY kcedil           "&#x00137;" ><!--=small k, cedilla -->
81 <!ENTITY Kcedil           "&#x00136;" ><!--=capital K, cedilla -->
82 <!ENTITY kgreen           "&#x00138;" ><!--=small k, Greenlandic -->
83 <!ENTITY lacute           "&#x0013A;" ><!--=small l, acute accent -->
84 <!ENTITY Lacute           "&#x00139;" ><!--=capital L, acute accent -->
85 <!ENTITY lcaron           "&#x0013E;" ><!--=small l, caron -->
86 <!ENTITY Lcaron           "&#x0013D;" ><!--=capital L, caron -->
87 <!ENTITY lcedil           "&#x0013C;" ><!--=small l, cedilla -->
88 <!ENTITY Lcedil           "&#x0013B;" ><!--=capital L, cedilla -->
89 <!ENTITY lmidot           "&#x00140;" ><!--=small l, middle dot -->
90 <!ENTITY Lmidot           "&#x0013F;" ><!--=capital L, middle dot -->
91 <!ENTITY lstrok           "&#x00142;" ><!--=small l, stroke -->
92 <!ENTITY Lstrok           "&#x00141;" ><!--=capital L, stroke -->
93 <!ENTITY nacute           "&#x00144;" ><!--=small n, acute accent -->
94 <!ENTITY Nacute           "&#x00143;" ><!--=capital N, acute accent -->
95 <!ENTITY napos            "&#x00149;" ><!--=small n, apostrophe -->
96 <!ENTITY ncaron           "&#x00148;" ><!--=small n, caron -->
97 <!ENTITY Ncaron           "&#x00147;" ><!--=capital N, caron -->
98 <!ENTITY ncedil           "&#x00146;" ><!--=small n, cedilla -->
99 <!ENTITY Ncedil           "&#x00145;" ><!--=capital N, cedilla -->
100 <!ENTITY odblac           "&#x00151;" ><!--=small o, double acute accent -->
101 <!ENTITY Odblac           "&#x00150;" ><!--=capital O, double acute accent -->
102 <!ENTITY oelig            "&#x00153;" ><!--=small oe ligature -->
103 <!ENTITY OElig            "&#x00152;" ><!--=capital OE ligature -->
104 <!ENTITY omacr            "&#x0014D;" ><!--=small o, macron -->
105 <!ENTITY Omacr            "&#x0014C;" ><!--=capital O, macron -->
106 <!ENTITY racute           "&#x00155;" ><!--=small r, acute accent -->
107 <!ENTITY Racute           "&#x00154;" ><!--=capital R, acute accent -->
108 <!ENTITY rcaron           "&#x00159;" ><!--=small r, caron -->
109 <!ENTITY Rcaron           "&#x00158;" ><!--=capital R, caron -->
110 <!ENTITY rcedil           "&#x00157;" ><!--=small r, cedilla -->
111 <!ENTITY Rcedil           "&#x00156;" ><!--=capital R, cedilla -->
112 <!ENTITY sacute           "&#x0015B;" ><!--=small s, acute accent -->
113 <!ENTITY Sacute           "&#x0015A;" ><!--=capital S, acute accent -->
114 <!ENTITY scaron           "&#x00161;" ><!--=small s, caron -->
115 <!ENTITY Scaron           "&#x00160;" ><!--=capital S, caron -->
116 <!ENTITY scedil           "&#x0015F;" ><!--=small s, cedilla -->
117 <!ENTITY Scedil           "&#x0015E;" ><!--=capital S, cedilla -->
118 <!ENTITY scirc            "&#x0015D;" ><!--=small s, circumflex accent -->
119 <!ENTITY Scirc            "&#x0015C;" ><!--=capital S, circumflex accent -->
120 <!ENTITY tcaron           "&#x00165;" ><!--=small t, caron -->
121 <!ENTITY Tcaron           "&#x00164;" ><!--=capital T, caron -->
122 <!ENTITY tcedil           "&#x00163;" ><!--=small t, cedilla -->
123 <!ENTITY Tcedil           "&#x00162;" ><!--=capital T, cedilla -->
124 <!ENTITY tstrok           "&#x00167;" ><!--=small t, stroke -->
125 <!ENTITY Tstrok           "&#x00166;" ><!--=capital T, stroke -->
126 <!ENTITY ubreve           "&#x0016D;" ><!--=small u, breve -->
127 <!ENTITY Ubreve           "&#x0016C;" ><!--=capital U, breve -->
128 <!ENTITY udblac           "&#x00171;" ><!--=small u, double acute accent -->
129 <!ENTITY Udblac           "&#x00170;" ><!--=capital U, double acute accent -->
130 <!ENTITY umacr            "&#x0016B;" ><!--=small u, macron -->
131 <!ENTITY Umacr            "&#x0016A;" ><!--=capital U, macron -->
132 <!ENTITY uogon            "&#x00173;" ><!--=small u, ogonek -->
133 <!ENTITY Uogon            "&#x00172;" ><!--=capital U, ogonek -->
134 <!ENTITY uring            "&#x0016F;" ><!--=small u, ring -->
135 <!ENTITY Uring            "&#x0016E;" ><!--=capital U, ring -->
136 <!ENTITY utilde           "&#x00169;" ><!--=small u, tilde -->
137 <!ENTITY Utilde           "&#x00168;" ><!--=capital U, tilde -->
138 <!ENTITY wcirc            "&#x00175;" ><!--=small w, circumflex accent -->
139 <!ENTITY Wcirc            "&#x00174;" ><!--=capital W, circumflex accent -->
140 <!ENTITY ycirc            "&#x00177;" ><!--=small y, circumflex accent -->
141 <!ENTITY Ycirc            "&#x00176;" ><!--=capital Y, circumflex accent -->
142 <!ENTITY Yuml             "&#x00178;" ><!--=capital Y, dieresis or umlaut mark -->
143 <!ENTITY zacute           "&#x0017A;" ><!--=small z, acute accent -->
144 <!ENTITY Zacute           "&#x00179;" ><!--=capital Z, acute accent -->
145 <!ENTITY zcaron           "&#x0017E;" ><!--=small z, caron -->
146 <!ENTITY Zcaron           "&#x0017D;" ><!--=capital Z, caron -->
147 <!ENTITY zdot             "&#x0017C;" ><!--=small z, dot above -->
148 <!ENTITY Zdot             "&#x0017B;" ><!--=capital Z, dot above -->