summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-content.rnc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-content.rnc')
-rw-r--r--Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-content.rnc373
1 files changed, 0 insertions, 373 deletions
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-content.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-content.rnc
deleted file mode 100644
index 3facbfd5567..00000000000
--- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-content.rnc
+++ /dev/null
@@ -1,373 +0,0 @@
-
-# This is the Mathematical Markup Language (MathML) 3.0, an XML
-# application for describing mathematical notation and capturing
-# both its structure and content.
-#
-# Copyright 1998-2010 W3C (MIT, ERCIM, Keio)
-#
-# Use and distribution of this code are permitted under the terms
-# W3C Software Notice and License
-# http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231
-
-include "mathml3-strict-content.rnc"{
- cn.content = (text | mglyph | sep | PresentationExpression)*
- cn.attributes = CommonAtt, DefEncAtt, attribute type {text}?, base?
-
- ci.attributes = CommonAtt, DefEncAtt, ci.type?
- ci.type = attribute type {text}
- ci.content = (text | mglyph | PresentationExpression)*
-
- csymbol.attributes = CommonAtt, DefEncAtt, attribute type {text}?,cd?
- csymbol.content = (text | mglyph | PresentationExpression)*
-
- bvar = element bvar { (ci | semantics-ci) & degree?}
-
- cbytes.attributes = CommonAtt, DefEncAtt
-
- cs.attributes = CommonAtt, DefEncAtt
-
- apply.content = ContExp+ | (ContExp, BvarQ, Qualifier*, ContExp*)
-
- bind.content = apply.content
-}
-
-base = attribute base {text}
-
-
-sep = element sep {empty}
-PresentationExpression |= notAllowed
-
-
-DomainQ = (domainofapplication|condition|interval|(lowlimit,uplimit?))*
-domainofapplication = element domainofapplication {ContExp}
-condition = element condition {ContExp}
-uplimit = element uplimit {ContExp}
-lowlimit = element lowlimit {ContExp}
-
-Qualifier = DomainQ|degree|momentabout|logbase
-degree = element degree {ContExp}
-momentabout = element momentabout {ContExp}
-logbase = element logbase {ContExp}
-
-type = attribute type {text}
-order = attribute order {"numeric" | "lexicographic"}
-closure = attribute closure {text}
-
-
-ContExp |= piecewise
-
-
-piecewise = element piecewise {CommonAtt, DefEncAtt,(piece* & otherwise?)}
-
-piece = element piece {CommonAtt, DefEncAtt, ContExp, ContExp}
-
-otherwise = element otherwise {CommonAtt, DefEncAtt, ContExp}
-
-
-DeprecatedContExp = reln | fn | declare
-ContExp |= DeprecatedContExp
-
-reln = element reln {ContExp*}
-fn = element fn {ContExp}
-declare = element declare {attribute type {xsd:string}?,
- attribute scope {xsd:string}?,
- attribute nargs {xsd:nonNegativeInteger}?,
- attribute occurrence {"prefix"|"infix"|"function-model"}?,
- DefEncAtt,
- ContExp+}
-
-
-interval.class = interval
-ContExp |= interval.class
-
-
-interval = element interval { CommonAtt, DefEncAtt,closure?, ContExp,ContExp}
-
-unary-functional.class = inverse | ident | domain | codomain | image | ln | log | moment
-ContExp |= unary-functional.class
-
-
-inverse = element inverse { CommonAtt, DefEncAtt, empty}
-ident = element ident { CommonAtt, DefEncAtt, empty}
-domain = element domain { CommonAtt, DefEncAtt, empty}
-codomain = element codomain { CommonAtt, DefEncAtt, empty}
-image = element image { CommonAtt, DefEncAtt, empty}
-ln = element ln { CommonAtt, DefEncAtt, empty}
-log = element log { CommonAtt, DefEncAtt, empty}
-moment = element moment { CommonAtt, DefEncAtt, empty}
-
-lambda.class = lambda
-ContExp |= lambda.class
-
-
-lambda = element lambda { CommonAtt, DefEncAtt, BvarQ, DomainQ, ContExp}
-
-nary-functional.class = compose
-ContExp |= nary-functional.class
-
-
-compose = element compose { CommonAtt, DefEncAtt, empty}
-
-binary-arith.class = quotient | divide | minus | power | rem | root
-ContExp |= binary-arith.class
-
-
-quotient = element quotient { CommonAtt, DefEncAtt, empty}
-divide = element divide { CommonAtt, DefEncAtt, empty}
-minus = element minus { CommonAtt, DefEncAtt, empty}
-power = element power { CommonAtt, DefEncAtt, empty}
-rem = element rem { CommonAtt, DefEncAtt, empty}
-root = element root { CommonAtt, DefEncAtt, empty}
-
-unary-arith.class = factorial | minus | root | abs | conjugate | arg | real | imaginary | floor | ceiling | exp
-ContExp |= unary-arith.class
-
-
-factorial = element factorial { CommonAtt, DefEncAtt, empty}
-abs = element abs { CommonAtt, DefEncAtt, empty}
-conjugate = element conjugate { CommonAtt, DefEncAtt, empty}
-arg = element arg { CommonAtt, DefEncAtt, empty}
-real = element real { CommonAtt, DefEncAtt, empty}
-imaginary = element imaginary { CommonAtt, DefEncAtt, empty}
-floor = element floor { CommonAtt, DefEncAtt, empty}
-ceiling = element ceiling { CommonAtt, DefEncAtt, empty}
-exp = element exp { CommonAtt, DefEncAtt, empty}
-
-nary-minmax.class = max | min
-ContExp |= nary-minmax.class
-
-
-max = element max { CommonAtt, DefEncAtt, empty}
-min = element min { CommonAtt, DefEncAtt, empty}
-
-nary-arith.class = plus | times | gcd | lcm
-ContExp |= nary-arith.class
-
-
-plus = element plus { CommonAtt, DefEncAtt, empty}
-times = element times { CommonAtt, DefEncAtt, empty}
-gcd = element gcd { CommonAtt, DefEncAtt, empty}
-lcm = element lcm { CommonAtt, DefEncAtt, empty}
-
-nary-logical.class = and | or | xor
-ContExp |= nary-logical.class
-
-
-and = element and { CommonAtt, DefEncAtt, empty}
-or = element or { CommonAtt, DefEncAtt, empty}
-xor = element xor { CommonAtt, DefEncAtt, empty}
-
-unary-logical.class = not
-ContExp |= unary-logical.class
-
-
-not = element not { CommonAtt, DefEncAtt, empty}
-
-binary-logical.class = implies | equivalent
-ContExp |= binary-logical.class
-
-
-implies = element implies { CommonAtt, DefEncAtt, empty}
-equivalent = element equivalent { CommonAtt, DefEncAtt, empty}
-
-quantifier.class = forall | exists
-ContExp |= quantifier.class
-
-
-forall = element forall { CommonAtt, DefEncAtt, empty}
-exists = element exists { CommonAtt, DefEncAtt, empty}
-
-nary-reln.class = eq | gt | lt | geq | leq
-ContExp |= nary-reln.class
-
-
-eq = element eq { CommonAtt, DefEncAtt, empty}
-gt = element gt { CommonAtt, DefEncAtt, empty}
-lt = element lt { CommonAtt, DefEncAtt, empty}
-geq = element geq { CommonAtt, DefEncAtt, empty}
-leq = element leq { CommonAtt, DefEncAtt, empty}
-
-binary-reln.class = neq | approx | factorof | tendsto
-ContExp |= binary-reln.class
-
-
-neq = element neq { CommonAtt, DefEncAtt, empty}
-approx = element approx { CommonAtt, DefEncAtt, empty}
-factorof = element factorof { CommonAtt, DefEncAtt, empty}
-tendsto = element tendsto { CommonAtt, DefEncAtt, type?, empty}
-
-int.class = int
-ContExp |= int.class
-
-
-int = element int { CommonAtt, DefEncAtt, empty}
-
-Differential-Operator.class = diff
-ContExp |= Differential-Operator.class
-
-
-diff = element diff { CommonAtt, DefEncAtt, empty}
-
-partialdiff.class = partialdiff
-ContExp |= partialdiff.class
-
-
-partialdiff = element partialdiff { CommonAtt, DefEncAtt, empty}
-
-unary-veccalc.class = divergence | grad | curl | laplacian
-ContExp |= unary-veccalc.class
-
-
-divergence = element divergence { CommonAtt, DefEncAtt, empty}
-grad = element grad { CommonAtt, DefEncAtt, empty}
-curl = element curl { CommonAtt, DefEncAtt, empty}
-laplacian = element laplacian { CommonAtt, DefEncAtt, empty}
-
-nary-setlist-constructor.class = set | \list
-ContExp |= nary-setlist-constructor.class
-
-
-set = element set { CommonAtt, DefEncAtt, type?, BvarQ*, DomainQ*, ContExp*}
-\list = element \list { CommonAtt, DefEncAtt, order?, BvarQ*, DomainQ*, ContExp*}
-
-nary-set.class = union | intersect | cartesianproduct
-ContExp |= nary-set.class
-
-
-union = element union { CommonAtt, DefEncAtt, empty}
-intersect = element intersect { CommonAtt, DefEncAtt, empty}
-cartesianproduct = element cartesianproduct { CommonAtt, DefEncAtt, empty}
-
-binary-set.class = in | notin | notsubset | notprsubset | setdiff
-ContExp |= binary-set.class
-
-
-in = element in { CommonAtt, DefEncAtt, empty}
-notin = element notin { CommonAtt, DefEncAtt, empty}
-notsubset = element notsubset { CommonAtt, DefEncAtt, empty}
-notprsubset = element notprsubset { CommonAtt, DefEncAtt, empty}
-setdiff = element setdiff { CommonAtt, DefEncAtt, empty}
-
-nary-set-reln.class = subset | prsubset
-ContExp |= nary-set-reln.class
-
-
-subset = element subset { CommonAtt, DefEncAtt, empty}
-prsubset = element prsubset { CommonAtt, DefEncAtt, empty}
-
-unary-set.class = card
-ContExp |= unary-set.class
-
-
-card = element card { CommonAtt, DefEncAtt, empty}
-
-sum.class = sum
-ContExp |= sum.class
-
-
-sum = element sum { CommonAtt, DefEncAtt, empty}
-
-product.class = product
-ContExp |= product.class
-
-
-product = element product { CommonAtt, DefEncAtt, empty}
-
-limit.class = limit
-ContExp |= limit.class
-
-
-limit = element limit { CommonAtt, DefEncAtt, empty}
-
-unary-elementary.class = sin | cos | tan | sec | csc | cot | sinh | cosh | tanh | sech | csch | coth | arcsin | arccos | arctan | arccosh | arccot | arccoth | arccsc | arccsch | arcsec | arcsech | arcsinh | arctanh
-ContExp |= unary-elementary.class
-
-
-sin = element sin { CommonAtt, DefEncAtt, empty}
-cos = element cos { CommonAtt, DefEncAtt, empty}
-tan = element tan { CommonAtt, DefEncAtt, empty}
-sec = element sec { CommonAtt, DefEncAtt, empty}
-csc = element csc { CommonAtt, DefEncAtt, empty}
-cot = element cot { CommonAtt, DefEncAtt, empty}
-sinh = element sinh { CommonAtt, DefEncAtt, empty}
-cosh = element cosh { CommonAtt, DefEncAtt, empty}
-tanh = element tanh { CommonAtt, DefEncAtt, empty}
-sech = element sech { CommonAtt, DefEncAtt, empty}
-csch = element csch { CommonAtt, DefEncAtt, empty}
-coth = element coth { CommonAtt, DefEncAtt, empty}
-arcsin = element arcsin { CommonAtt, DefEncAtt, empty}
-arccos = element arccos { CommonAtt, DefEncAtt, empty}
-arctan = element arctan { CommonAtt, DefEncAtt, empty}
-arccosh = element arccosh { CommonAtt, DefEncAtt, empty}
-arccot = element arccot { CommonAtt, DefEncAtt, empty}
-arccoth = element arccoth { CommonAtt, DefEncAtt, empty}
-arccsc = element arccsc { CommonAtt, DefEncAtt, empty}
-arccsch = element arccsch { CommonAtt, DefEncAtt, empty}
-arcsec = element arcsec { CommonAtt, DefEncAtt, empty}
-arcsech = element arcsech { CommonAtt, DefEncAtt, empty}
-arcsinh = element arcsinh { CommonAtt, DefEncAtt, empty}
-arctanh = element arctanh { CommonAtt, DefEncAtt, empty}
-
-nary-stats.class = mean | sdev | variance | median | mode
-ContExp |= nary-stats.class
-
-
-mean = element mean { CommonAtt, DefEncAtt, empty}
-sdev = element sdev { CommonAtt, DefEncAtt, empty}
-variance = element variance { CommonAtt, DefEncAtt, empty}
-median = element median { CommonAtt, DefEncAtt, empty}
-mode = element mode { CommonAtt, DefEncAtt, empty}
-
-nary-constructor.class = vector | matrix | matrixrow
-ContExp |= nary-constructor.class
-
-
-vector = element vector { CommonAtt, DefEncAtt, BvarQ, DomainQ, ContExp*}
-matrix = element matrix { CommonAtt, DefEncAtt, BvarQ, DomainQ, ContExp*}
-matrixrow = element matrixrow { CommonAtt, DefEncAtt, BvarQ, DomainQ, ContExp*}
-
-unary-linalg.class = determinant | transpose
-ContExp |= unary-linalg.class
-
-
-determinant = element determinant { CommonAtt, DefEncAtt, empty}
-transpose = element transpose { CommonAtt, DefEncAtt, empty}
-
-nary-linalg.class = selector
-ContExp |= nary-linalg.class
-
-
-selector = element selector { CommonAtt, DefEncAtt, empty}
-
-binary-linalg.class = vectorproduct | scalarproduct | outerproduct
-ContExp |= binary-linalg.class
-
-
-vectorproduct = element vectorproduct { CommonAtt, DefEncAtt, empty}
-scalarproduct = element scalarproduct { CommonAtt, DefEncAtt, empty}
-outerproduct = element outerproduct { CommonAtt, DefEncAtt, empty}
-
-constant-set.class = integers | reals | rationals | naturalnumbers | complexes | primes | emptyset
-ContExp |= constant-set.class
-
-
-integers = element integers { CommonAtt, DefEncAtt, empty}
-reals = element reals { CommonAtt, DefEncAtt, empty}
-rationals = element rationals { CommonAtt, DefEncAtt, empty}
-naturalnumbers = element naturalnumbers { CommonAtt, DefEncAtt, empty}
-complexes = element complexes { CommonAtt, DefEncAtt, empty}
-primes = element primes { CommonAtt, DefEncAtt, empty}
-emptyset = element emptyset { CommonAtt, DefEncAtt, empty}
-
-constant-arith.class = exponentiale | imaginaryi | notanumber | true | false | pi | eulergamma | infinity
-ContExp |= constant-arith.class
-
-
-exponentiale = element exponentiale { CommonAtt, DefEncAtt, empty}
-imaginaryi = element imaginaryi { CommonAtt, DefEncAtt, empty}
-notanumber = element notanumber { CommonAtt, DefEncAtt, empty}
-true = element true { CommonAtt, DefEncAtt, empty}
-false = element false { CommonAtt, DefEncAtt, empty}
-pi = element pi { CommonAtt, DefEncAtt, empty}
-eulergamma = element eulergamma { CommonAtt, DefEncAtt, empty}
-infinity = element infinity { CommonAtt, DefEncAtt, empty} \ No newline at end of file