Symbols of quantity, such as: I, 2+i, A, X, natural logarithm base E, pi.

Operation symbol

Such as plus sign (+), minus sign (-), multiplication sign (× or), division sign (÷ or/), union of two sets (∩), intersection (∩), root sign (√), logarithm (log, lg, ln) and ratio (:).

Relational character

For example, "=" is an equal sign, "≈" is an approximate symbol, "≦" is an unequal sign, ">" is greater than the symbol, and "the implication relationship between propositions A and B.

Dual formula of formula A*

Wff formula

if and only if

"NAND" operation of proposition ("NAND gate")

The nor operation of proposition (nor gate)

□ The modal particle "inevitable"

The modal particle "may"

φ empty set

∈ belonging to A∈B means that a belongs to b (? Do not belong to)

Power set of P(A) set a

The number of points in set a

R 2 = r ○ r [r n = r (n- 1) ○ r] The "composition" of relation R.

Alef

include

(or the following supplement ≠ really contains.

Union operation of ∪ set

Intersection operation of ∩ set

Difference operation of-(~) set

(12 10) restriction

Equivalence classes of set [X] (r in the lower right corner) on relation R.

On the quotient set of r on A/ R set a

[a] a cyclic group generated by element a

I (i capital) ring, ideal

Congruence class set of Z/(n) module n

Reflexive closure of relation r

Symmetric closure of s(R) relation

Deductive theorem of CP proposition (CP rule)

EG Existential Generalization Rule (Existential Quantifier Introduction Rule)

ES existential quantifier specific rule (existential quantifier elimination rule)

UG universal extension rule (universal quantifier introduction rule)

American full name specific rule (full name quantifier elimination rule)

R relation

R- compatible relation

R○S relation and its combination

Domf function's domain (pre-domain)

Range of ranf function

F:X→Y f is a function of x to y.

The greatest common divisor of GCD(x, y) x, y

Least common multiple of x and y

On the left (right) coset of aH(Ha) H of a

Kernel of Ker(f) homomorphism map F (or F homomorphism kernel)

[1, n] 1 integer set to n

D(u, v) the distance between point u and point v.

The degree of point v at d(v)

G=(V, e) A graph with point set v and edge set e.

The number of connected branches of graph g of W(G)

The vertex connectivity of k(G) graph g

△(G) Maximum Vertex Degree of Graph G

Adjacency matrix of graph g

Reachable matrix of P(G) graph g

Incidence matrix of graph g

C complex set

Natural number set (including 0)

N* positive natural number set

P prime set

Q rational number set

R real number set

Z integer set

Collection category

Top-level topological space category

Category of Ab commutative groups

Grp group category

Mon unit semigroup category

Category of (associative) rings with identity elements in rings

Rng ring category

CRng commutative ring category

Left module category of R- module ring R

Right module category of mod-R ring r

Domain category

Partially ordered set category