]> matita.cs.unibo.it Git - helm.git/blob - DEVEL/mathml_editor/TML.dtd
closed all axioms
[helm.git] / DEVEL / mathml_editor / TML.dtd
1
2 <!ENTITY % TML.node "i|n|o|s|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 <!ELEMENT s EMPTY>
33 <!ATTLIST s
34   %TML.common.attrib;
35   val     CDATA #REQUIRED
36   name    NMTOKEN #IMPLIED>
37
38 <!ELEMENT row (cell)+>
39 <!ELEMENT cell (%TML.node;)>
40
41 <!ELEMENT sb (%TML.node;,%TML.node;)>
42 <!ATTLIST sb
43   %TML.common.attrib;
44   under   (0|1) #IMPLIED
45 >
46 <!ELEMENT sp (%TML.node;,%TML.node;)>
47 <!ATTLIST sp
48   %TML.common.attrib;
49   over    (0|1) #IMPLIED
50 >
51
52 <!ELEMENT g (%TML.node;)+>
53 <!ATTLIST g %TML.common.attrib;>
54
55 <!ELEMENT c (%TML.node;)+>
56 <!ATTLIST c
57   %TML.common.attrib;
58   name    NMTOKEN #REQUIRED
59   left-open (0|1) #IMPLIED>
60
61 <!ELEMENT cursor EMPTY>
62 <!ATTLIST
63   %TML.common.attrib;
64   val CDATA #REQUIRED
65   visible (0|1) #REQUIRED>
66