]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/mathml_editor/TML.dtd
Initial revision
[helm.git] / helm / DEVEL / mathml_editor / TML.dtd
1
2 <!ENTITY % TML.node "i|n|o|sp|sb|g|c|row|cell|cursor">
3
4 <!ENTITY % TML.common.attrib "
5   id         CDATA #IMPLIED
6   xref       CDATA #IMPLIED
7 ">
8
9 <!ELEMENT tex (math|cursor)>
10
11 <!ELEMENT math (g)>
12 <!ATTLIST math
13   %TML.common.attrib;
14   display (0|1) true
15 >
16
17 <!ELEMENT i EMPTY>
18 <!ATTLIST i
19   %TML.common.attrib;
20   val     CDATA   #REQUIRED
21   name    NMTOKEN #IMPLIED>
22 <!ELEMENT n EMPTY>
23 <!ATTLIST n
24   %TML.common.attrib;
25   val     CDATA   #REQUIRED
26   name    NMTOKEN #IMPLIED>
27 <!ELEMENT o EMPTY>
28 <!ATTLIST o
29   %TML.common.attrib;
30   val     CDATA #REQUIRED
31   name    NMTOKEN #IMPLIED>
32
33 <!ELEMENT row (cell)+>
34 <!ELEMENT cell (%TML.node;)>
35
36 <!ELEMENT sb (%TML.node;,%TML.node;)>
37 <!ATTLIST sb
38   %TML.common.attrib;
39   under   (0|1) #IMPLIED
40 >
41 <!ELEMENT sp (%TML.node;,%TML.node;)>
42 <!ATTLIST sp
43   %TML.common.attrib;
44   over    (0|1) #IMPLIED
45 >
46
47 <!ELEMENT g (%TML.node;)+>
48 <!ATTLIST g %TML.common.attrib;>
49
50 <!ELEMENT c (%TML.node;)+>
51 <!ATTLIST c
52   %TML.common.attrib;
53   name    NMTOKEN #REQUIRED
54   left-open (0|1) #IMPLIED>
55
56 <!ELEMENT cursor EMPTY>
57 <!ATTLIST %TML.common.attrib; val CDATA #REQUIRED>
58