]> matita.cs.unibo.it Git - helm.git/blob - helm/dtd/isocyr1.ent
uses auto_tac_new instead of auto_tac
[helm.git] / helm / dtd / isocyr1.ent
1
2 <!--
3      File isocyr1.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 acy              "&#x00430;" ><!--=small a, Cyrillic -->
29 <!ENTITY Acy              "&#x00410;" ><!--=capital A, Cyrillic -->
30 <!ENTITY bcy              "&#x00431;" ><!--=small be, Cyrillic -->
31 <!ENTITY Bcy              "&#x00411;" ><!--=capital BE, Cyrillic -->
32 <!ENTITY chcy             "&#x00447;" ><!--=small che, Cyrillic -->
33 <!ENTITY CHcy             "&#x00427;" ><!--=capital CHE, Cyrillic -->
34 <!ENTITY dcy              "&#x00434;" ><!--=small de, Cyrillic -->
35 <!ENTITY Dcy              "&#x00414;" ><!--=capital DE, Cyrillic -->
36 <!ENTITY ecy              "&#x0044D;" ><!--=small e, Cyrillic -->
37 <!ENTITY Ecy              "&#x0042D;" ><!--=capital E, Cyrillic -->
38 <!ENTITY fcy              "&#x00444;" ><!--=small ef, Cyrillic -->
39 <!ENTITY Fcy              "&#x00424;" ><!--=capital EF, Cyrillic -->
40 <!ENTITY gcy              "&#x00433;" ><!--=small ghe, Cyrillic -->
41 <!ENTITY Gcy              "&#x00413;" ><!--=capital GHE, Cyrillic -->
42 <!ENTITY hardcy           "&#x0044A;" ><!--=small hard sign, Cyrillic -->
43 <!ENTITY HARDcy           "&#x0042A;" ><!--=capital HARD sign, Cyrillic -->
44 <!ENTITY icy              "&#x00438;" ><!--=small i, Cyrillic -->
45 <!ENTITY Icy              "&#x00418;" ><!--=capital I, Cyrillic -->
46 <!ENTITY iecy             "&#x00435;" ><!--=small ie, Cyrillic -->
47 <!ENTITY IEcy             "&#x00415;" ><!--=capital IE, Cyrillic -->
48 <!ENTITY iocy             "&#x00451;" ><!--=small io, Russian -->
49 <!ENTITY IOcy             "&#x00401;" ><!--=capital IO, Russian -->
50 <!ENTITY jcy              "&#x00439;" ><!--=small short i, Cyrillic -->
51 <!ENTITY Jcy              "&#x00419;" ><!--=capital short I, Cyrillic -->
52 <!ENTITY kcy              "&#x0043A;" ><!--=small ka, Cyrillic -->
53 <!ENTITY Kcy              "&#x0041A;" ><!--=capital KA, Cyrillic -->
54 <!ENTITY khcy             "&#x00445;" ><!--=small ha, Cyrillic -->
55 <!ENTITY KHcy             "&#x00425;" ><!--=capital HA, Cyrillic -->
56 <!ENTITY lcy              "&#x0043B;" ><!--=small el, Cyrillic -->
57 <!ENTITY Lcy              "&#x0041B;" ><!--=capital EL, Cyrillic -->
58 <!ENTITY mcy              "&#x0043C;" ><!--=small em, Cyrillic -->
59 <!ENTITY Mcy              "&#x0041C;" ><!--=capital EM, Cyrillic -->
60 <!ENTITY ncy              "&#x0043D;" ><!--=small en, Cyrillic -->
61 <!ENTITY Ncy              "&#x0041D;" ><!--=capital EN, Cyrillic -->
62 <!ENTITY numero           "&#x02116;" ><!--=numero sign -->
63 <!ENTITY ocy              "&#x0043E;" ><!--=small o, Cyrillic -->
64 <!ENTITY Ocy              "&#x0041E;" ><!--=capital O, Cyrillic -->
65 <!ENTITY pcy              "&#x0043F;" ><!--=small pe, Cyrillic -->
66 <!ENTITY Pcy              "&#x0041F;" ><!--=capital PE, Cyrillic -->
67 <!ENTITY rcy              "&#x00440;" ><!--=small er, Cyrillic -->
68 <!ENTITY Rcy              "&#x00420;" ><!--=capital ER, Cyrillic -->
69 <!ENTITY scy              "&#x00441;" ><!--=small es, Cyrillic -->
70 <!ENTITY Scy              "&#x00421;" ><!--=capital ES, Cyrillic -->
71 <!ENTITY shchcy           "&#x00449;" ><!--=small shcha, Cyrillic -->
72 <!ENTITY SHCHcy           "&#x00429;" ><!--=capital SHCHA, Cyrillic -->
73 <!ENTITY shcy             "&#x00448;" ><!--=small sha, Cyrillic -->
74 <!ENTITY SHcy             "&#x00428;" ><!--=capital SHA, Cyrillic -->
75 <!ENTITY softcy           "&#x0044C;" ><!--=small soft sign, Cyrillic -->
76 <!ENTITY SOFTcy           "&#x0042C;" ><!--=capital SOFT sign, Cyrillic -->
77 <!ENTITY tcy              "&#x00442;" ><!--=small te, Cyrillic -->
78 <!ENTITY Tcy              "&#x00422;" ><!--=capital TE, Cyrillic -->
79 <!ENTITY tscy             "&#x00446;" ><!--=small tse, Cyrillic -->
80 <!ENTITY TScy             "&#x00426;" ><!--=capital TSE, Cyrillic -->
81 <!ENTITY ucy              "&#x00443;" ><!--=small u, Cyrillic -->
82 <!ENTITY Ucy              "&#x00423;" ><!--=capital U, Cyrillic -->
83 <!ENTITY vcy              "&#x00432;" ><!--=small ve, Cyrillic -->
84 <!ENTITY Vcy              "&#x00412;" ><!--=capital VE, Cyrillic -->
85 <!ENTITY yacy             "&#x0044F;" ><!--=small ya, Cyrillic -->
86 <!ENTITY YAcy             "&#x0042F;" ><!--=capital YA, Cyrillic -->
87 <!ENTITY ycy              "&#x0044B;" ><!--=small yeru, Cyrillic -->
88 <!ENTITY Ycy              "&#x0042B;" ><!--=capital YERU, Cyrillic -->
89 <!ENTITY yucy             "&#x0044E;" ><!--=small yu, Cyrillic -->
90 <!ENTITY YUcy             "&#x0042E;" ><!--=capital YU, Cyrillic -->
91 <!ENTITY zcy              "&#x00437;" ><!--=small ze, Cyrillic -->
92 <!ENTITY Zcy              "&#x00417;" ><!--=capital ZE, Cyrillic -->
93 <!ENTITY zhcy             "&#x00436;" ><!--=small zhe, Cyrillic -->
94 <!ENTITY ZHcy             "&#x00416;" ><!--=capital ZHE, Cyrillic -->