]> matita.cs.unibo.it Git - helm.git/blob - helm/dtd/isogrk3.ent
Makefile improved
[helm.git] / helm / dtd / isogrk3.ent
1
2 <!--
3      File isogrk3.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 1991
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 alpha            "&#x003B1;" ><!--/alpha small alpha, Greek -->
29 <!ENTITY beta             "&#x003B2;" ><!--/beta small beta, Greek -->
30 <!ENTITY chi              "&#x003C7;" ><!--/chi small chi, Greek -->
31 <!ENTITY delta            "&#x003B4;" ><!--/delta small delta, Greek -->
32 <!ENTITY Delta            "&#x00394;" ><!--/Delta capital Delta, Greek -->
33 <!ENTITY epsi             "&#x003B5;" ><!--/straightepsilon, small epsilon, Greek -->
34 <!ENTITY epsiv            "&#x0025B;" ><!--/varepsilon -->
35 <!ENTITY eta              "&#x003B7;" ><!--/eta small eta, Greek -->
36 <!ENTITY gamma            "&#x003B3;" ><!--/gamma small gamma, Greek -->
37 <!ENTITY Gamma            "&#x00393;" ><!--/Gamma capital Gamma, Greek -->
38 <!ENTITY gammad           "&#x003DC;" ><!--/digamma -->
39 <!ENTITY Gammad           "&#x003DC;" ><!--capital digamma -->
40 <!ENTITY iota             "&#x003B9;" ><!--/iota small iota, Greek -->
41 <!ENTITY kappa            "&#x003BA;" ><!--/kappa small kappa, Greek -->
42 <!ENTITY kappav           "&#x003F0;" ><!--/varkappa -->
43 <!ENTITY lambda           "&#x003BB;" ><!--/lambda small lambda, Greek -->
44 <!ENTITY Lambda           "&#x0039B;" ><!--/Lambda capital Lambda, Greek -->
45 <!ENTITY mu               "&#x003BC;" ><!--/mu small mu, Greek -->
46 <!ENTITY nu               "&#x003BD;" ><!--/nu small nu, Greek -->
47 <!ENTITY omega            "&#x003C9;" ><!--/omega small omega, Greek -->
48 <!ENTITY Omega            "&#x003A9;" ><!--/Omega capital Omega, Greek -->
49 <!ENTITY phi              "&#x003C6;" ><!--/straightphi - small phi, Greek -->
50 <!ENTITY Phi              "&#x003A6;" ><!--/Phi capital Phi, Greek -->
51 <!ENTITY phiv             "&#x003D5;" ><!--/varphi - curly or open phi -->
52 <!ENTITY pi               "&#x003C0;" ><!--/pi small pi, Greek -->
53 <!ENTITY Pi               "&#x003A0;" ><!--/Pi capital Pi, Greek -->
54 <!ENTITY piv              "&#x003D6;" ><!--/varpi -->
55 <!ENTITY psi              "&#x003C8;" ><!--/psi small psi, Greek -->
56 <!ENTITY Psi              "&#x003A8;" ><!--/Psi capital Psi, Greek -->
57 <!ENTITY rho              "&#x003C1;" ><!--/rho small rho, Greek -->
58 <!ENTITY rhov             "&#x003F1;" ><!--/varrho -->
59 <!ENTITY sigma            "&#x003C3;" ><!--/sigma small sigma, Greek -->
60 <!ENTITY Sigma            "&#x003A3;" ><!--/Sigma capital Sigma, Greek -->
61 <!ENTITY sigmav           "&#x003C2;" ><!--/varsigma -->
62 <!ENTITY tau              "&#x003C4;" ><!--/tau small tau, Greek -->
63 <!ENTITY theta            "&#x003B8;" ><!--/theta straight theta, small theta, Greek -->
64 <!ENTITY Theta            "&#x00398;" ><!--/Theta capital Theta, Greek -->
65 <!ENTITY thetav           "&#x003D1;" ><!--/vartheta - curly or open theta -->
66 <!ENTITY upsi             "&#x003C5;" ><!--/upsilon small upsilon, Greek -->
67 <!ENTITY Upsi             "&#x003D2;" ><!--/Upsilon capital Upsilon, Greek -->
68 <!ENTITY xi               "&#x003BE;" ><!--/xi small xi, Greek -->
69 <!ENTITY Xi               "&#x0039E;" ><!--/Xi capital Xi, Greek -->
70 <!ENTITY zeta             "&#x003B6;" ><!--/zeta small zeta, Greek -->