Alfabetoj latina kaj greka
Logiko
a = b egala (~j objektoj)
V, F vervaloroj
¬ negacio
disjunkcio
konjunkcio
ekskluziva disjunkcio
implico
ekvivalento
Rilatoj, bildigoj
aRb rilato
R-1 inversa rilato
E/R kvocienta aro
ab, ab ordo-rilato
a<b, a>b ordo-rilato (strikta)
max A, min A maksimumo, minimumo
inf A, sup A infimo, supremo
f(a), f(A) bildo per bildigo
f-1(a), f-1(A) inversa bildo per bildigo
FE bildigo (aro de ĉiuj ~j)
idE idento-rilato, idento-bildigo
fg, RS kunligaĵo
(fi)iI familio
(un)n vico
χA(x) karakteriza funkcio
Aroj
malplena aro
kard E, |E| kardinalo
{x1, ..., xn} aro (el la elementoj x1, ..., xn)
{x / P(x)} aro (el la elementoj verigantaj P)
2E, 𝒫(E) aro de ĉiuj subaroj
xE aparteni
xE enhavi
xE ne aparteni
AE esti inkluzivata
AE inkluzivi
komplemento
kunaĵo
komunaĵo
\ diferenco
simetria diferenco
E×F kartezia produto
En kartezia produto (per si mem)
(a, b) paro
(x1, ..., xn) n-opo
Nombro-aroj
Naturaj entjeroj
Entjeroj
Racionaloj
Reeloj
Kompleksoj
Aritmetiko
a+b adicio
a-b subtraho
a×b, ab, ab multipliko
a/b, a:b divido
-a kontraŭegalo
a-1 inverso
b | a divizori, dividi
ab [μ] kongrua (~j module μ)
ṗ, p+n n-modula restoklaso
n, /n grupo de n-modulaj restoklasoj
n! faktorialo
Kpn kombinaĵo (nombro de ~j de n po p)
Apn aranĝaĵo (nombro de ~j de n po p)
Reeloj
E(x), [x] entjera parto
|x| absoluta valoro
xn, xy potenco
x̅ ̅ kvadrata radiko
nx̅ ̅ n-a radiko
[a,b], ]a,b]... intervalo
e bazo de naturaj logaritmoj
π nombro π
+, - malfinio, nefinio
Kompleksoj
z = a+ib kompleksa (~ nombro)
i imaginara unuo
z̅ konjugito
Re z reela parto
Im z imaginara parto
|z| modulo
Arg z argumento
Algebro
(E,,♦) algebra strukturo (kun du operacioj)
X argumento (~ de polinomo)
R[X] polinomringo
R[[X]] ringo de formalaj potencoserioj
R(X) korpo de racionalaj frakcioj
R((X)) korpo de formalaj potencoserioj
Gal(K'/K) galeza grupo (de superkorpo)
[K':K] grado (de superkorpo)
An alterna grupo
Sn simetria grupo
kern f kerno
Lineara algebro
τ+x ekstera operacio de vektoro τ super punkto x
y-x vektoro de x al y
E* algebra dualo
E** algebra dudualo
E' topologia dualo
E" topologia dudualo
||x|| normo
(x, y, z) karteziaj koordinatoj
(ρ, θ) polusaj koordinatoj
(ρ, θ, z) cilindraj koordinatoj
(ρ, θ, φ) sferaj koordinatoj
x.y, <x|y> skalara produto
xy vektora produto
det A determinanto
rang A rango
tr A, sp A spuro
A, tA transponaĵo
Analitiko
lim f(x), lim un limeso
lim inf f(x) limesinfimo
lim sup f(x) limesosupremo
nun sumo de serio
f , f ,... f (n) derivaĵo (unua, dua, n-a ~)
df(a), dfa diferencialo
if, f/xi parta derivaĵo
f(x)dx nedifinita integralo, malderivaĵo
abf(x)dx difinita integralo
fdμ,
f(x)dμ(x)
lebega integralo
Diferencialaj operatoroj kaj distribucioj
grad U, U gradiento
div E, .E diverĝenco
rot E, kirl E,
E
kirlo
U, 2U laplacoperatoro
<T,φ> distribucio (bildo per ~)
H(x), Y(x) hevisida funkcio
δa diraka distribucio
ШT diraka kombilo
Probablokalkulo
P(a) probablo (~ de okazo)
P(b|a) kondiĉa probablo
PX(]-,x[),
FX(x)
probablodistribuo
E(X) ekspekto
Var(X) varianco
σ(X) varianca devio
Kov(X,Y) kunvarianco
Kor(X,Y) korelacio
Topologio
A̅ fermaĵo, adheraĵo
Å malfermaĵo, interno
A rando
Trigonometrio
cos x, kos x kosinuso
sin x sinuso
tg x, tang x tangento
cotg x,
kotang x
kotangento
sec x, sek x sekanto
cosec x,
kosek x
kosekanto
arccos x,
arkkos x
arkkosinuso
arcsin x,
arksin x
arksinuso
arctg x,
arktang x
arktangento
arccotg x,
arkkotang x
arkkotangento
arcsec x,
arksek x
arksekanto
arccosec x,
arkkosek x
arkkosekanto
cosh x, kosh x hiperbola kosinuso
sinh x hiperbola sinuso
tgh x, tangh x hiperbola tangento
cotgh x,
kotangh x
hiperbola kotangento
arcosh x,
arkosh x
inversa hiperbola kosinuso
arsinh x inversa hiperbola sinuso
artgh x,
artangh x, artangh x
inversa hiperbola tangento
arcotgh x,
arkotangh x
inversa hiperbola kotangento

L1. Arrilataj operacioj
L2. Negacio
L3. Konjunkcio
L4. Disjunkcio
L5. Ekskluziva disjunkcio
L6. Implico
L7. Ekvivalento
 
(1) P(¬P) ĉiam vera
(2) P(¬P) ĉiam falsa
(3) ¬(¬P)P
(4) ¬(PQ)(¬P)(¬Q)
(5) ¬(PQ)(¬P)(¬Q)
(6) (PQ)((¬Q)(¬P))
(7) ((PQ)P)Q
(8) ((PQ)¬Q)¬P
(9) ((PQ)(QR))(PR)
(10) (P(QR))((PQ)(PR))
(11) (P(QR))((PQ)(PR))
 
 
L8. Utilaj teoremoj

G1. Elementaj geometriaj figuroj
G2. Cirklo
G3. Plurlatero
G4. Angulo
G5. Anguloj en cirklo
G6. Specoj de anguloj
G7. Rilatantaj anguloj
G8. Alternaj anguloj
G9. Respondaj anguloj
G10. Specoj de trianguloj
G11. Altoj de triangulo
G12. Dusekcantoj de triangulo
G13. Mezortantoj de triangulo
G14. Medianoj de triangulo
G15. Specifaj kvarlateroj
G16. Regulaj plurlateroj

A1. Ekstremumigantoj kaj nuligantoj
A2. Transfleksiĝa punkto
A3. Kurbecocirklo
A4. Potencoj
A5. Eksponencialoj
A6. Logaritmoj
A7. Bazaj trigonometriaj funkcioj
A8. Trigonometria cirklo
A9. Bazaj hiperbolaj funkcioj

K1. Konikoj
K2. Elipso
K3. Parabolo
K4. Hiperbolo
K5. Kateno kaj traktorio
K6. Kartezia folio
K7. Cisoido
K8. Strofoido
K9. Kardioido
K10. Elvolvanto de cirklo
K11. Lemniskato
K12. Gaŭsa kurbo
K13. Arĥimeda spiralo
K14. Logaritma spiralo
K15. Hiperbola spiralo
K16. Paskalaj limakoj
K17. Konĥoidoj de rekto
K18. Cikloidoj
K19. Troĥoidoj
K20. Epicikloidoj
K21. Hipocikloidoj
K22. Epitroĥoidoj
K23. Hipotroĥoidoj