Matracas.org > Sentido > Demo

Loading...

OpenMath	MathML

Variables
	Function

Arithmetic
a+b	a⁢b	ab	n!
a−b	ab	xn	2 x
∑x=abx	∏x=abx	x	−a
lcmab	gcdab	round x
quotab	amodb	trunc x
minab	maxab	x	x
ⅇ	π	ⅈ
a+bⅈ	ℜ c	c¯
ra	ℑ c	arg c

Transcendental functions
ⅇx	ln x	logax
sin x	tan x	sec x
cos x	cot x	csc x
arcsin x	arctan x	arcsec x
arccos x	arccot x	arccsc x

Calculus
∂xx	∂nx	12 ∂x,yx⁢y
∫xdx	∫abxdx	ab	ab
limx→x0x	∞	ab	ab
∇ f	∇2 vf	curl vf	div vf

Sets
ℙ	ℕ	ℤ	ℚ	ℝ	ℂ
x∈X	X⊂Y	X∪Y	X×Y	∅	card X
x∉X	X⊄Y	X∩Y	X\Y	xyz

Logic and relations
⊤	x∨y	x⊻y	1 ∃x.(x=1)
⊥	x∧y	¬x	1 ∀x.(x=1)
x⇔y	x⇒y
x=y	x<y	x>y	x≈y
x≠y	x≤y	x≥y

Functions
Dom f	Im f	Id x	f-1	f○g
0011 0x=01x=1xotherwise

Linear algebra
abcd	MT	M	Mr,c
v1v2v3	v·u	v×u	vi

Statistics
medianx1x2x3	modex1x2x3
x1x2x3¯	f¯
σx1x2x3	σ f
µicx1x2x3	µicf
varx1x2x3	var f

alg1
one	zero

bigfloat1
bigfloatmre	bigfloatprecfrp

arith1
x	ab
gcdab	lcmab
a−b	a+b
ab	∏x=abx
xn	2 x
∑x=abx	a⁢b
−a

calculus1
∫abxdx	∂xx
∫xdx	∂nx
12 ∂x,yx⁢y

complex1
arg c	a+bⅈ
ra	c¯
ℑ c	ℜ c

fns1
Dom f	appdomain d
Id x	Im f
f-1	λx.(x)
f○g	inv- f
range f	inv+ f

integer1
n!	factorofab
quotab	amodb

interval1
ab	ab
ab	ab
ab	ab

linalg1
M	Mr,c
v⊗u	v·u
MT	vi
v×u

linalg2
abcd	v1v2v3

limit1
above	below
both_sides	limx→x0x
unspecified

list1
abc	λx.(x)→abc
X\|λx.(px)

logic1
x∧y	x⇔y
⊥	x⇒y
¬x	x∨y
⊤	x⊻y

mathmltypes
complex_cartesian	complex_polar
constant	fn
integer	list
matrix	rational
real	set
	vector

minmax1
maxab	minab

multiset1
X×Y	∅
x∈X	X∩Y
multisetxyz	x∉X
X⊄Y	X⊈Y
X⊊Y	X\Y
card X	X⊂Y
X∪Y

nums1
nnn nnnb	ⅇ
γ	ⅈ
∞	NaN
π	pq

piece1
otherwise x	xp
0011 0x=01x=1xotherwise

quant1
1 ∃x.(x=1)	1 ∀x.(x=1)

relation1
x≈y	x=y
x≥y	x>y
x≤y	x<y
x≠y

setname1
ℂ	ℕ
ℙ	ℚ
ℝ	ℤ

rounding1
x	x
round x	trunc x

set1
X×Y	∅
x∈X	X∩Y
λx.(x)→abc	x∉X
X⊄Y	X⊄Y
X⊊Y	X\Y
card X	xyz
X⊂Y	X\|λx.(px)
X∪Y

s_data1
x1x2x3¯	medianx1x2x3
modex1x2x3	µicx1x2x3
σx1x2x3	varx1x2x3

s_dist1
f¯	µicf
σ f	var f

transc1
arccos x	arccosh x
arccot x	arccoth x
arccsc x	arccsch x
arcsec x	arcsech x
arcsin x	arcsinh x
arctan x	arctanh x
cos x	cosh x
cot x	coth x
csc x	csch x
ⅇx	ln x
logax	sec x
sech x	sin x
sinh x	tan x
tanh x

veccalc1
curl vf	div vf
∇ f	∇2 vf