Number Theory Symbols: Symbols, Meanings, LaTeX and Unicode

Number theory notation is especially sensitive to context. The same vertical bar can mean divisibility, conditioning, or set-builder notation.

Symbol	Name and semantic role	LaTeX	Unicode	Action
⌈	Left CeilingA delimiter that groups, encloses, evaluates, or separates mathematical expressions.	`\lceil`	`U+2308`
⌊	Left FloorA delimiter that groups, encloses, evaluates, or separates mathematical expressions.	`\lfloor`	`U+230A`

Symbol

Name and semantic role

LaTeX

Unicode

Action

⌈

Left CeilingA delimiter that groups, encloses, evaluates, or separates mathematical expressions.

\lceil

U+2308

⌊

Left FloorA delimiter that groups, encloses, evaluates, or separates mathematical expressions.

\lfloor

U+230A

Symbol	Name and semantic role	LaTeX	Unicode
ℵ	Aleph SymbolAn identifier for a standard set of numbers.	`\aleph`	`U+2135`
ℶ	Beth SymbolAn identifier for a standard set of numbers.	`\beth`	`U+2136`
≡	Congruent ModuloAn operator, relation, connective, or notation mark whose meaning depends on its operands and context.	`\equiv`	`U+2261`
ℸ	Daleth SymbolAn identifier for a standard set of numbers.	`\daleth`	`U+2138`
∣	DividesAn operator, relation, connective, or notation mark whose meaning depends on its operands and context.	`\mid`	`U+2223`
∤	Does Not DivideAn operator, relation, connective, or notation mark whose meaning depends on its operands and context.	`\nmid`	`U+2224`
ℷ	Gimel SymbolAn identifier for a standard set of numbers.	`\gimel`	`U+2137`
⌈	Left Ceiling BracketA delimiter that groups, encloses, evaluates, or separates mathematical expressions.	`\lceil`	`U+2308`
⌊	Left Floor BracketA delimiter that groups, encloses, evaluates, or separates mathematical expressions.	`\lfloor`	`U+230A`
⌉	Right Ceiling BracketA delimiter that groups, encloses, evaluates, or separates mathematical expressions.	`\rceil`	`U+2309`
⌋	Right Floor BracketA delimiter that groups, encloses, evaluates, or separates mathematical expressions.	`\rfloor`	`U+230B`

Symbol

Name and semantic role

LaTeX

Unicode

Action

ℵ

Aleph SymbolAn identifier for a standard set of numbers.

\aleph

U+2135

ℶ

Beth SymbolAn identifier for a standard set of numbers.

\beth

U+2136

≡

Congruent ModuloAn operator, relation, connective, or notation mark whose meaning depends on its operands and context.

\equiv

U+2261

ℸ

Daleth SymbolAn identifier for a standard set of numbers.

\daleth

U+2138

∣

DividesAn operator, relation, connective, or notation mark whose meaning depends on its operands and context.

\mid

U+2223

∤

Does Not DivideAn operator, relation, connective, or notation mark whose meaning depends on its operands and context.

\nmid

U+2224

ℷ

Gimel SymbolAn identifier for a standard set of numbers.

\gimel

U+2137

⌈

Left Ceiling BracketA delimiter that groups, encloses, evaluates, or separates mathematical expressions.

\lceil

U+2308

⌊

Left Floor BracketA delimiter that groups, encloses, evaluates, or separates mathematical expressions.

\lfloor

U+230A

⌉

Right Ceiling BracketA delimiter that groups, encloses, evaluates, or separates mathematical expressions.

\rceil

U+2309

⌋

Right Floor BracketA delimiter that groups, encloses, evaluates, or separates mathematical expressions.

\rfloor

U+230B

Verified notation examples

⌈\lceil 3.2 \rceil=4

⌊\lfloor 3.7 \rfloor=3

Frequently asked questions

How do I copy a number theory symbols symbol?

Use the Copy button in the table, then verify the Unicode code point if the destination can substitute look-alike characters.

When should I use LaTeX or MathML instead?

Use LaTeX for editable equations and MathML for semantic web mathematics. Plain Unicode is best for short text where the destination preserves the exact code point.