Connexions

You are here: Home » Content » MathML Test Suite
Content Actions

MathML Test Suite

Module by: Adan Galvan

Summary: Test suite for Mathml in the Connexions system.

CNXML Tests

This module is a test suite for many MathML functions.
Entity Tests
  • A script -
  • B script -
  • C script -
  • D script -
  • E script -
  • F script -
  • G script -
  • H script -
  • I script -
  • J script -
  • K script -
  • L script -
  • M script -
  • N script -
  • O script -
  • P script -
  • Q script -
  • R script -
  • S script - 
  • T script -
  • U script -
  • V script -
  • W script -
  • X script -
  • Y script -
  • Z script -
  • Section Symbol - §
    Greek Characters
  • Alpha - Αα
  • Beta - Ββ
  • Gamma - Γγ
  • Delta - Δδ
  • Epsilon - Εε
  • Zeta - Ζζ
  • Eta - Ηη
  • Theta - Θθ
  • Iota - Ιι
  • Kappa - Κκ
  • Lambda - Λλ
  • Mu - Μμ
  • Nu - Νν
  • Xi - Ξξ
  • Omicron - Οο
  • Pi - Ππ
  • Rho - Ρρ
  • Sigma - Σσς
  • Tau - Ττ
  • Upsilon - Υυ
  • Phi - Φφ
  • Chi - Χχ
  • Psi - Ψψ
  • Omega - Ωω
Accents and diacritial marks
alpha with accent and unvoiced aspiation mark - ά̓
epsilon with accent - έ
eta with a little hat (inverted breve) - η̑
eta with accent - ή
eta with accent and voiced aspiration mark* - ή̔
alpha with unvoiced aspiration mark* - ἀ
iota with little hat* - ι̑
epsilon with aspiration - ἐ
omega with accent - ό
final sigma - ς
iota with aspiration* - ἰ
omega with aspiraction* - ὀ
iota with diaresis - ϊ
e with capon - ě
Presentation MathML accents
mover: right-arrow -  F F
mover: double dot (diaresis) -  x ¨ x ¨
mover: single dot -  x ˙ x ˙
Spanish Characters
aacute - á
eacute - é
iacute - í
oacute - ó
uacute - ú
N tilde - ñ
upside down exclamation - ¡

Math Symbols

·· 𝔼𝔼 𝔽𝔽

MathML Elements

Presentation MathML

Msub X Y X Y (1)
Msub X A + B X A + B (2)

Content MathML

Token Elements

ci X X (3)
ci type='vector' W W (4)
ci type='vector' with subscript Xy X y (5)
Cn with subscript 1 0 1 0 (6)
Omega with Over ω c ˜ ω c ˜ (7)
Function xt x t (8)
Fn deprecated f + g z f g z (9)
Function of Power fx2t f x t 2 (10)
Function Diff φt φ t (11)
Function with Subscript s t s t (12)
Function with Subsup and Power x 0 n zt x 0 n t z (13)
Function with Power and Two Variables xαz+yw+q x z y w q α (14)
Discrete Function xt x t (15)
Discrete Function with Subscript x c t x c t (16)

Csymbol Tests

Adjoint XH X (17)
Adjoint x+yH x y (18)
Directional diff yx y x (19)
Stochastic Process 0 Probp 1 Prob1-p 0 p 1 1 p (20)
Mutual Information x;y x y (21)
Distance xy x y (22)
Normal Distribution 0y 0 y (23)
Distributed In r0σ2 r 0 σ 2 (24)
Estimate x ̂ x (25)
Estimate x̂y xy (26)
Estimate with msub x̂2 x2 (27)
Estimate with msub x̂2 x2 (28)
Estimate with complex msub x̂abc xabc (29)
Estimate x̂y+X xy+X (30)
CDF Cr C r (31)
CDF wit condition Cr|θ C θ r (32)
CDF with multiple conditions Cr|θβ C θ β r (33)
CDF with multiple conditions and bvar Cx|θβr C x θ β r (34)
PDF Pa xr Pa x r (35)
PDF with condition Px|θr P x θ r (36)
PDF with multiple conditions Px|θβr P x θ β r (37)
PDF multiple arguments with condition Pxy|θrs P x y θ r s (38)
Estimate of Function Px ̂ P x (39)
Estimate of Function P ̂x P x (40)
Expected Value Ex x (41)
Expected Value w/bvar and condition Ex θ ̂ MMSE |θ x θ θ ̂ MMSE (42)
Expected Value w condition E θ ̂ MMSE |θ θ θ ̂ MMSE (43)
Expected Value multiple conditions E θ ̂ MMSE |θωφ θ ω φ θ ̂ MMSE (44)
Probability PrX X (45)
Probability with multiple arguments PrXY X Y (46)
Complement xy x y (47)
Probability with Condition PrX|X X X (48)
argmin argminX X (49)
Argmin with Condition argminCX C X (50)
Argmin with domainofapplication argminDX D X (51)
argmax argmaxX X (52)
Argmax with condition argmaxCX C X (53)
Argmax with domainofapplication argmaxCX C X (54)
Convolution X*Y X Y (55)
Probability PrAB A B (56)
Evaluateat with interval Fx|12 1 2 F x (57)
Evaluate with bvar and interval Fx|t=12 t 1 2 F x (58)
Evaluateat with condition Fx| z z F x (59)
Evaluateat with multiple conditions Fx| z , a z a F x (60)
Evaluate with bvar and condition Fx|t,t=y t y F x (61)
Evaluate with lowlimit/uplimit Fx|zx z x F x (62)
Evaluate with bvar and lowlimit/uplimit Fx|t=yt t y t F x (63)
Surface Integral with bvar and domainofapplication SXdx x S X (64)
Surface Intgral with bvar and condition SXdx x S X (65)
Surface Integral with bvar and lowlimit/uplimit 13Xdx x 1 3 X (66)
Surface Integral with bvar Xdx x X (67)

Basic Content Elements

Mult. Complex Cartesians 2+32-3 23 2-3 (68)
Apply AB A B (69)
Composition xy(z) x y z (70)
Inverse of a Function u-1t u t (71)
Apply/Apply/Plus F+Gx F G x (72)
Apply/Apply/Diff u t u t (73)
Apply/Apply/Diff/Apply/Plus F+Gx 1 F G x (74)
Apply/Apply/Power x22 x 2 2 (75)
Apply/Apply/Inverse u-1t u t (76)

Arithmatic Algebra and Logic

Max max{ a b } a b (77)
Min min{ a b } a b (78)
min min{X} X (79)
Min with Condition min{X|C} C X (80)
Min with domainofapplication minD{X} D X (81)
Min with domainofapplication and condition and multiple bvars minDV,T{X|ab} D V T a b X (82)
Max with domainofapplication and condition and multiple bvars maxDV,T{X|ab} D V T a b X (83)
Max with Condition max{X|C} C X (84)
Max with domainofapplication maxD{X} D X (85)
Infimum with bvar and condition infx{ x 2 | x B } x x B x 2 (86)
Minus a-b a b (87)
Quotient integer part ofa/b a b (88)
Times xy x y (89)
Power Test -1bn 1 b n (90)
Power of a Function S02n S0 n 2 (91)
Power of a Discrete Function x2t x t 2 (92)
And ac a c (93)
Or ac a c (94)
Not Test W W (95)
XOR test ab a b (96)
XOR test 2 Hab H a b (97)
k,l k l (98)
Forall test x,x012x:y=2x+3 x x 0 1 2 x y 2 x 3 (99)
This is a test of the above as inline math: x,x012x:y=2x+3 x x 0 1 2 x y 2 x 3
Forall x, x x:x x x (100)
Forall x,(x) and y x:xy x x y (101)
Forall x,(x and y) x:xy x x y (102)
x and y or z : or(and(x,y),z) xyz x y z (103)
x and (y or z): and(x,or(y,z)) xyz x y z (104)
Conjugate Test x¯ x (105)
Remainder amodb a b (106)

Relations

Equals a=b a b (107)
Equals with Line Breaking a=b=c=d a b c d (108)
Real x x (109)

Calculus and Vector Calculus

Int ydx x y (110)
Int a-bdx x a b (111)
Int with domain of application and nothing else dx x (112)
Diff f f (113)
Diff of Sum f +g f g (114)
Diff with degree u5 5 u (115)
fy y f (116)
Diff with bvar dd x f x x f x (117)
diff with bvar and bvar/degree d2d x 2 f x x 2 f x (118)
Diff of a Function ut u t (119)
Partial Diff 4xf x 4 f (120)
Partial Diff with multiple bvar 2x yfxy x y f x y (121)
Partial Diff with Degree 2f 2 f (122)
Partial Diff with Degree 2fx 2 f x (123)
Grad Test gradT T (124)
Curl Test curlR R (125)
Norm Test x x (126)
Norm Test with Domain of Application x x (127)

Theory of Sets

Set 012 0 1 2 (128)
Proper Subset XY X Y (129)

Sequences and Series

Sum with nothing x x (130)
Sum with Bvar x x x (131)
Sum with Mulitple Bvar x x y x (132)
Sum with Limits and Condition x=0xx3 x 0 x x 3 (133)
Sum with Domainofapplication and Condition n n m xx3 x x n n m x 3 (134)
Product with Limits and Condition x=0xx3 x 0 x x 3 (135)
Product with Domainofapplication and Condition n n m xx3 x x n n m x 3 (136)
Product Times Test wi=12x j w i 1 2 x (137)

Elementary Classical Functions

Sin sinx x (138)

Statistics

Mean Test m,n,o m n o (139)
Mean Times Test X¯Y¯ X Y (140)
Moment x3 3 p x (141)

Linear Algera

Selector x-1i x i (142)
Vector Entity Test π π (143)
Vector Product Test C×D C D (144)
Scalar Product Test <A,B> A B (145)
Outer Product Test V.X V X (146)

Semantic Mapping Elements

Annotation (147)

Constant and Symbol Elements

Integers (148)

Other MathML Tests

Applying an m:ci to a single m:ci xt x t (149)
Applying a ci with an mo in it xy x y (150)
Applying a ci with an mo in it xyz x y z (151)
Laplace in ci x x (152)
Fourier Transform in ci x x (153)
Apply ci to apply a+b a b (154)<