MathML examples

David Carlisle davidc@nag.co.uk

Copyright 1998 Nag Ltd, The OpenMath Consortium. Esprit Project 24.969

PRESENTATION MathML

mtext, mspace, and mi elements

abc

ms element

one two three

frac sqrt and root elements

a b abc a 6 xc

msub inside msup

x12

msubsup

x12

mmultiscripts

A 111 222 444 555 aaa ddd

mo

a33bcdexyz

mfenced

a b

msqrt

2π κ 1 β 2 /2

greek

&delta

example 3.4.3

0 1 x x

mfenced

a b

mtext and entities

Complex&Space;numbers&Space;here&Copf

Tables

example 3.5.1, but using fence

1 0 0 0 1 0 0 0 1

semantics with presentation mml in first arg, from 2.2.3

0 t x x x 0 t 1 x

content mml as first arg, presentation in MathML-Presentation, from 2.2.3

x 0 t 1 x 0 t x x

semantics example from 4.2.6

123 456 N[123/456, 39] $0.269736842105263157894736842105263157894\ldots$ evalf(123/456, 39); 0.269736842105263157894 736842105263157894

CONTENT MathML

naray reln (extended version of example 4.2.4)

a b c d x x y x x 3

set 4.4.6.1

b a c x x 5

list 4.4.6.2

x x 5

Union 4.4.6.3

A B

sum 4.4.7.1

sum

x a b f x

bvar product 4.4.7.2

x a b f x

condition (/bvar missing in report)

x x B f x x 0 x x x a x

Stastics 4.4.9

X X X X X

4.4.10 vector

1 2 3 x

4.4.10.5 transpose

A

4.4.1.1 cn note quotes around base.

12345.7 12345.7 12345 AB3 12342 2342342 12.3 5 2 3.1415 π

4.4.2.4 interval

a b a b

matrix 4.4.10.1

0 1 0 0 0 1 1 0 0

compose 4.4.2.10

f g h

compose inverse and id 4.4.2.11

f f

factorial 4.4.3.3

n

divide

a b

max 4.4.3.5

x x B x 2

rem 4.4.3.10

a b

times 4.4.3.10

a b

root 4.4.3.11

n a

gcd 4.4.3.12

a b c

forall 4.4.3.18

x x x 0

forall again (power missing from report)

p q p Q q Q p q p q 2

and the third example (closing tag of apply missing) and equation messed up

n n Z n 0 x y z x Z y Z z Z x n y n z n

exists 4.4.3.19

x f x 0

abs 4.4.3.20

x

conjugate 4.4.3.2.1 missing /

x y

log 4.4.5.2

x 3 x

diff 4.4.5.4

x f x

diff with degree?

x 2 f x

partial diff 4.4.5.5 ( bvar and ci closed)

x 2 y f x y

lambda 4.4.2.9 (fixed example)

b x a b f x

binary reln, example 4.4.4.2

a b

naray reln (extended version of example 4.2.4)

a b c d