]> matita.cs.unibo.it Git - helm.git/blob - helm/dtd/isopub.ent
ocaml 3.09 transition
[helm.git] / helm / dtd / isopub.ent
1
2 <!--
3      File isopub.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 blank            "&#x02423;" ><!--=significant blank symbol -->
29 <!ENTITY blk12            "&#x02592;" ><!--=50% shaded block -->
30 <!ENTITY blk14            "&#x02591;" ><!--=25% shaded block -->
31 <!ENTITY blk34            "&#x02593;" ><!--=75% shaded block -->
32 <!ENTITY block            "&#x02588;" ><!--=full block -->
33 <!ENTITY bull             "&#x02022;" ><!--/bullet B: =round bullet, filled -->
34 <!ENTITY caret            "&#x02041;" ><!--=caret (insertion mark) -->
35 <!ENTITY check            "&#x02713;" ><!--/checkmark =tick, check mark -->
36 <!ENTITY cir              "&#x025CB;" ><!--/circ B: =circle, open -->
37 <!ENTITY clubs            "&#x02663;" ><!--/clubsuit =club suit symbol  -->
38 <!ENTITY copysr           "&#x02117;" ><!--=sound recording copyright sign -->
39 <!ENTITY cross            "&#x02717;" ><!--=ballot cross -->
40 <!ENTITY dagger           "&#x02020;" ><!--/dagger B: =dagger -->
41 <!ENTITY Dagger           "&#x02021;" ><!--/ddagger B: =double dagger -->
42 <!ENTITY dash             "&#x02010;" ><!--=hyphen (true graphic) -->
43 <!ENTITY diams            "&#x02666;" ><!--/diamondsuit =diamond suit symbol  -->
44 <!ENTITY dlcrop           "&#x0230D;" ><!--downward left crop mark  -->
45 <!ENTITY drcrop           "&#x0230C;" ><!--downward right crop mark  -->
46 <!ENTITY dtri             "&#x025BF;" ><!--/triangledown =down triangle, open -->
47 <!ENTITY dtrif            "&#x025BE;" ><!--/blacktriangledown =dn tri, filled -->
48 <!ENTITY emsp             "&#x02003;" ><!--=em space -->
49 <!ENTITY emsp13           "&#x02004;" ><!--=1/3-em space -->
50 <!ENTITY emsp14           "&#x02005;" ><!--=1/4-em space -->
51 <!ENTITY ensp             "&#x02002;" ><!--=en space (1/2-em) -->
52 <!ENTITY female           "&#x02640;" ><!--=female symbol -->
53 <!ENTITY ffilig           "&#x0FB03;" ><!--small ffi ligature -->
54 <!ENTITY fflig            "&#x0FB00;" ><!--small ff ligature -->
55 <!ENTITY ffllig           "&#x0FB04;" ><!--small ffl ligature -->
56 <!ENTITY filig            "&#x0FB01;" ><!--small fi ligature -->
57 <!ENTITY flat             "&#x0266D;" ><!--/flat =musical flat -->
58 <!ENTITY fllig            "&#x0FB02;" ><!--small fl ligature -->
59 <!ENTITY frac13           "&#x02153;" ><!--=fraction one-third -->
60 <!ENTITY frac15           "&#x02155;" ><!--=fraction one-fifth -->
61 <!ENTITY frac16           "&#x02159;" ><!--=fraction one-sixth -->
62 <!ENTITY frac23           "&#x02154;" ><!--=fraction two-thirds -->
63 <!ENTITY frac25           "&#x02156;" ><!--=fraction two-fifths -->
64 <!ENTITY frac35           "&#x02157;" ><!--=fraction three-fifths -->
65 <!ENTITY frac45           "&#x02158;" ><!--=fraction four-fifths -->
66 <!ENTITY frac56           "&#x0215A;" ><!--=fraction five-sixths -->
67 <!ENTITY hairsp           "&#x0200A;" ><!--=hair space -->
68 <!ENTITY hearts           "&#x02661;" ><!--/heartsuit =heart suit symbol  -->
69 <!ENTITY hellip           "&#x02026;" ><!--=ellipsis (horizontal) -->
70 <!ENTITY hybull           "&#x02043;" ><!--rectangle, filled (hyphen bullet) -->
71 <!ENTITY incare           "&#x02105;" ><!--=in-care-of symbol -->
72 <!ENTITY ldquor           "&#x0201E;" ><!--=rising dbl quote, left (low) -->
73 <!ENTITY lhblk            "&#x02584;" ><!--=lower half block -->
74 <!ENTITY loz              "&#x025CA;" ><!--/lozenge - lozenge or total mark -->
75 <!ENTITY lozf             "&#x029EB;" ><!--/blacklozenge - lozenge, filled -->
76 <!ENTITY lsquor           "&#x0201A;" ><!--=rising single quote, left (low) -->
77 <!ENTITY ltri             "&#x025C3;" ><!--/triangleleft B: l triangle, open -->
78 <!ENTITY ltrif            "&#x025C2;" ><!--/blacktriangleleft R: =l tri, filled -->
79 <!ENTITY male             "&#x02642;" ><!--=male symbol -->
80 <!ENTITY malt             "&#x02720;" ><!--/maltese =maltese cross -->
81 <!ENTITY marker           "&#x025AE;" ><!--=histogram marker -->
82 <!ENTITY mdash            "&#x02014;" ><!--=em dash  -->
83 <!ENTITY mldr             "&#x02026;" ><!--em leader -->
84 <!ENTITY natur            "&#x0266E;" ><!--/natural - music natural -->
85 <!ENTITY ndash            "&#x02013;" ><!--=en dash -->
86 <!ENTITY nldr             "&#x02025;" ><!--=double baseline dot (en leader) -->
87 <!ENTITY numsp            "&#x02007;" ><!--=digit space (width of a number) -->
88 <!ENTITY phone            "&#x0260E;" ><!--=telephone symbol  -->
89 <!ENTITY puncsp           "&#x02008;" ><!--=punctuation space (width of comma) -->
90 <!ENTITY rdquor           "&#x0201D;" ><!--rising dbl quote, right (high) -->
91 <!ENTITY rect             "&#x025AD;" ><!--=rectangle, open -->
92 <!ENTITY rsquor           "&#x02019;" ><!--rising single quote, right (high) -->
93 <!ENTITY rtri             "&#x025B9;" ><!--/triangleright B: r triangle, open -->
94 <!ENTITY rtrif            "&#x025B8;" ><!--/blacktriangleright R: =r tri, filled -->
95 <!ENTITY rx               "&#x0211E;" ><!--pharmaceutical prescription (Rx) -->
96 <!ENTITY sext             "&#x02736;" ><!--sextile (6-pointed star) -->
97 <!ENTITY sharp            "&#x0266F;" ><!--/sharp =musical sharp -->
98 <!ENTITY spades           "&#x02660;" ><!--/spadesuit =spades suit symbol  -->
99 <!ENTITY squ              "&#x025A1;" ><!--=square, open -->
100 <!ENTITY squf             "&#x025AA;" ><!--/blacksquare =sq bullet, filled -->
101 <!ENTITY star             "&#x022C6;" ><!--=star, open -->
102 <!ENTITY starf            "&#x02605;" ><!--/bigstar - star, filled  -->
103 <!ENTITY target           "&#x02316;" ><!--register mark or target -->
104 <!ENTITY telrec           "&#x02315;" ><!--=telephone recorder symbol -->
105 <!ENTITY thinsp           "&#x02009;" ><!--=thin space (1/6-em) -->
106 <!ENTITY uhblk            "&#x02580;" ><!--=upper half block -->
107 <!ENTITY ulcrop           "&#x0230F;" ><!--upward left crop mark  -->
108 <!ENTITY urcrop           "&#x0230E;" ><!--upward right crop mark  -->
109 <!ENTITY utri             "&#x025B5;" ><!--/triangle =up triangle, open -->
110 <!ENTITY utrif            "&#x025B4;" ><!--/blacktriangle =up tri, filled -->
111 <!ENTITY vellip           "&#x022EE;" ><!--vertical ellipsis -->