]> matita.cs.unibo.it Git - helm.git/blob - helm/dtd/isoamsn.ent
New entries in nat: factorial.ma minimization.ma primes.ma primes1.ma
[helm.git] / helm / dtd / isoamsn.ent
1
2 <!--
3      File isoamsn.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 gnap             "&#x02A8A;" ><!--/gnapprox N: greater, not approximate -->
29 <!ENTITY gne              "&#x02269;" ><!--/gneq N: greater, not equals -->
30 <!ENTITY gnE              "&#x02269;" ><!--/gneqq N: greater, not dbl equals -->
31 <!ENTITY gnsim            "&#x022E7;" ><!--/gnsim N: greater, not similar -->
32 <!ENTITY gvnE             "&#x02269;&#x00338;" ><!--/gvertneqq N: gt, vert, not dbl eq -->
33 <!ENTITY lnap             "&#x02A89;" ><!--/lnapprox N: less, not approximate -->
34 <!ENTITY lne              "&#x02268;" ><!--/lneq N: less, not equals -->
35 <!ENTITY lnE              "&#x02268;" ><!--/lneqq N: less, not double equals -->
36 <!ENTITY lnsim            "&#x022E6;" ><!--/lnsim N: less, not similar -->
37 <!ENTITY lvnE             "&#x02268;&#x00338;" ><!--/lvertneqq N: less, vert, not dbl eq -->
38 <!ENTITY nap              "&#x02249;" ><!--/napprox N: not approximate -->
39 <!ENTITY napE             "&#x02A70;&#x00338;" ><!--not approximately equal or equal to -->
40 <!ENTITY napid            "&#x0224B;&#x00338;" ><!--not approximately identical to -->
41 <!ENTITY ncong            "&#x02247;" ><!--/ncong N: not congruent with -->
42 <!ENTITY ncongdot         "&#x02A6D;&#x00338;" ><!--not congruent, dot -->
43 <!ENTITY nequiv           "&#x02262;" ><!--/nequiv N: not identical with -->
44 <!ENTITY nge              "&#x02271;&#x020E5;" ><!--/ngeq N: not greater-than-or-equal -->
45 <!ENTITY ngE              "&#x02271;" ><!--/ngeqq N: not greater, dbl equals -->
46 <!ENTITY nges             "&#x02271;" ><!--/ngeqslant N: not gt-or-eq, slanted -->
47 <!ENTITY nGg              "&#x022D9;&#x00338;" ><!--not triple greater than -->
48 <!ENTITY ngsim            "&#x02275;" ><!--not greater, similar -->
49 <!ENTITY ngt              "&#x0226F;" ><!--/ngtr N: not greater-than -->
50 <!ENTITY nGt              "&#x0226B;&#x00338;" ><!--not, vert, much greater than -->
51 <!ENTITY nGtv             "&#x0226B;&#x00338;&#x02063;" ><!--not much greater than, variant -->
52 <!ENTITY nle              "&#x02270;&#x020E5;" ><!--/nleq N: not less-than-or-equal -->
53 <!ENTITY nlE              "&#x02270;" ><!--/nleqq N: not less, dbl equals -->
54 <!ENTITY nles             "&#x02270;" ><!--/nleqslant N: not less-or-eq, slant -->
55 <!ENTITY nLl              "&#x022D8;&#x00338;" ><!--not triple less than -->
56 <!ENTITY nlsim            "&#x02274;" ><!--not less, similar -->
57 <!ENTITY nlt              "&#x0226E;" ><!--/nless N: not less-than -->
58 <!ENTITY nLt              "&#x0226A;&#x00338;" ><!--not, vert, much less than -->
59 <!ENTITY nltri            "&#x022EA;" ><!--/ntriangleleft N: not left triangle -->
60 <!ENTITY nltrie           "&#x022EC;" ><!--/ntrianglelefteq N: not l tri, eq -->
61 <!ENTITY nLtv             "&#x0226A;&#x00338;&#x02063;" ><!--not much less than, variant -->
62 <!ENTITY nmid             "&#x02224;" ><!--/nmid -->
63 <!ENTITY npar             "&#x02226;" ><!--/nparallel N: not parallel -->
64 <!ENTITY npr              "&#x02280;" ><!--/nprec N: not precedes -->
65 <!ENTITY nprcue           "&#x022E0;" ><!--not curly precedes, eq -->
66 <!ENTITY npre             "&#x02AAF;&#x00338;" ><!--/npreceq N: not precedes, equals -->
67 <!ENTITY nrtri            "&#x022EB;" ><!--/ntriangleright N: not rt triangle -->
68 <!ENTITY nrtrie           "&#x022ED;" ><!--/ntrianglerighteq N: not r tri, eq -->
69 <!ENTITY nsc              "&#x02281;" ><!--/nsucc N: not succeeds -->
70 <!ENTITY nsccue           "&#x022E1;" ><!--not succeeds, curly eq -->
71 <!ENTITY nsce             "&#x02AB0;&#x00338;" ><!--/nsucceq N: not succeeds, equals -->
72 <!ENTITY nsim             "&#x02241;" ><!--/nsim N: not similar -->
73 <!ENTITY nsime            "&#x02244;" ><!--/nsimeq N: not similar, equals -->
74 <!ENTITY nsmid            "&#x02224;&#x02063;" ><!--/nshortmid -->
75 <!ENTITY nspar            "&#x02226;&#x02063;" ><!--/nshortparallel N: not short par -->
76 <!ENTITY nsqsube          "&#x022E2;" ><!--not, square subset, equals -->
77 <!ENTITY nsqsupe          "&#x022E3;" ><!--not, square superset, equals -->
78 <!ENTITY nsub             "&#x02284;" ><!--not subset -->
79 <!ENTITY nsube            "&#x02288;" ><!--/nsubseteq N: not subset, equals -->
80 <!ENTITY nsubE            "&#x02288;" ><!--/nsubseteqq N: not subset, dbl eq -->
81 <!ENTITY nsup             "&#x02285;" ><!--not superset -->
82 <!ENTITY nsupe            "&#x02289;" ><!--/nsupseteq N: not superset, equals -->
83 <!ENTITY nsupE            "&#x02289;" ><!--/nsupseteqq N: not superset, dbl eq -->
84 <!ENTITY ntgl             "&#x02279;" ><!--not greater, less -->
85 <!ENTITY ntlg             "&#x02278;" ><!--not less, greater -->
86 <!ENTITY nvap             "&#x02249;&#x00338;" ><!--not, vert, approximate -->
87 <!ENTITY nvdash           "&#x022AC;" ><!--/nvdash N: not vertical, dash -->
88 <!ENTITY nvDash           "&#x022AD;" ><!--/nvDash N: not vertical, dbl dash -->
89 <!ENTITY nVdash           "&#x022AE;" ><!--/nVdash N: not dbl vertical, dash -->
90 <!ENTITY nVDash           "&#x022AF;" ><!--/nVDash N: not dbl vert, dbl dash -->
91 <!ENTITY nvge             "&#x02271;" ><!--not, vert, greater-than-or-equal -->
92 <!ENTITY nvgt             "&#x0226F;" ><!--not, vert, greater-than -->
93 <!ENTITY nvle             "&#x02270;" ><!--not, vert, less-than-or-equal -->
94 <!ENTITY nvlt             "&#x0226E;" ><!--not, vert, less-than -->
95 <!ENTITY nvltrie          "&#x022EC;&#x00338;" ><!--not, vert, left triangle, equals -->
96 <!ENTITY nvrtrie          "&#x022ED;&#x00338;" ><!--not, vert, right triangle, equals -->
97 <!ENTITY nvsim            "&#x02241;&#x00338;" ><!--not, vert, similar -->
98 <!ENTITY parsim           "&#x02AF3;" ><!--parallel, similar -->
99 <!ENTITY prnap            "&#x022E8;" ><!--/precnapprox N: precedes, not approx -->
100 <!ENTITY prnE             "&#x02AB5;" ><!--/precneqq N: precedes, not dbl eq -->
101 <!ENTITY prnsim           "&#x022E8;" ><!--/precnsim N: precedes, not similar -->
102 <!ENTITY rnmid            "&#x02AEE;" ><!--reverse /nmid -->
103 <!ENTITY scnap            "&#x022E9;" ><!--/succnapprox N: succeeds, not approx -->
104 <!ENTITY scnE             "&#x02AB6;" ><!--/succneqq N: succeeds, not dbl eq -->
105 <!ENTITY scnsim           "&#x022E9;" ><!--/succnsim N: succeeds, not similar -->
106 <!ENTITY simne            "&#x02246;" ><!--similar, not equals -->
107 <!ENTITY solbar           "&#x0233F;" ><!--solidus, bar through -->
108 <!ENTITY subne            "&#x0228A;" ><!--/subsetneq N: subset, not equals -->
109 <!ENTITY subnE            "&#x0228A;" ><!--/subsetneqq N: subset, not dbl eq -->
110 <!ENTITY supne            "&#x0228B;" ><!--/supsetneq N: superset, not equals -->
111 <!ENTITY supnE            "&#x0228B;" ><!--/supsetneqq N: superset, not dbl eq -->
112 <!ENTITY vnsub            "&#x02284;" ><!--/nsubset N: not subset, var -->
113 <!ENTITY vnsup            "&#x02285;" ><!--/nsupset N: not superset, var -->
114 <!ENTITY vsubne           "&#x0228A;&#x02063;" ><!--/varsubsetneq N: subset, not eq, var -->
115 <!ENTITY vsubnE           "&#x0228A;&#x02063;" ><!--/varsubsetneqq N: subset not dbl eq, var -->
116 <!ENTITY vsupne           "&#x0228B;&#x02063;" ><!--/varsupsetneq N: superset, not eq, var -->
117 <!ENTITY vsupnE           "&#x0228B;&#x02063;" ><!--/varsupsetneqq N: super not dbl eq, var -->