summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/schema/rnc/statements.rnc
blob: dd29b4819e44c074fe8621c9901ff7ac9b71f322 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
# /=====================================================================\ 
# | Mathematical Statements for LaTeXML                                 |
# |=====================================================================|
# | Not Part of LaTeXML:                                                |
# |  Copyright (c) 2005 Michael Kohlhase                                |
# |  Released under the Gnu Public License (GPL)                        |
# |=====================================================================|
# | Michael Kohlhase <m.kohlhase@iu-bremen.de>                  #_#     |
# | http://dlmf.nist.gov/LaTeXML/                              (o o)    |
# \=========================================================ooo==U==ooo=/

default namespace = "http://dlmf.nist.gov/LaTeXML"

statement.model = text|Flow.class

example = element example {Common.attribs,attribute for {xsd:string},metadata?,(statement.model)*}
definition = element definition {Common.attribs,attribute for {xsd:string},metadata?,(statement.model)*}
definiens = element definiens {attribute name {xsd:string},(statement.model)*}
termin = element termin {attribute cd {xsd:NCName},attribute name {xsd:NCName},
                         (statement.model|Math)*}

notation = element notation {Common.attribs,attribute for {xsd:string},(statement.model)*}
notemph = element notemph {(statement.model|Math)*}

statement-group = element statement-group 
		    {Common.attribs,metadata?,
		     (omtext | example | definition | symbol | assertion |
                           notation | itemize | enumerate | description)*}

symbol = element symbol  {attribute name {xsd:string}}

assertion = element assertion {Common.attribs,attribute type {xsd:string}?,metadata?,(statement.model)*}
axiom = element axiom {Common.attribs,(statement.model)*}

proof.model = omtext|step|cases
proof = element proof {Common.attribs,attribute for {xsd:string}?,metadata?,(proof.model)*}
cases = element cases {(case|omtext)*}
case = element case {Common.attribs,attribute for {xsd:string}?,(proof.model)*}
step = element step {Common.attribs,(statement.model|method)*}
method = element method {Common.attribs,attribute xref {xsd:string},(text|Math|proof|premise)*}
premise = element premise {Common.attribs,attribute xref {xsd:string}}

omtext =  element omtext {Common.attribs,attribute for {xsd:string}?,
                          attribute from {xsd:string}?,attribute type {xsd:string}?,
			  metadata?,(text|Flow.class)*}

statements.Block.class |= example | definition | notation | symbol | assertion | proof 
                       | axiom | omtext | statement-group 
statements.Inline.class |= definiens | notemph | termin | method