minuscolon
Represents a minus sign followed by a colon, commonly used in mathematical logic and formal proofs.
Overview
Serves as a specialized notation in formal mathematics and logic, particularly in proof theory and formal reasoning systems.
- Often appears in sequent calculus and formal deduction systems
- Used to denote specific logical relationships or inference rules
- Helpful in expressing mathematical statements where both subtraction and relation notation are needed
- Commonly found in advanced mathematical texts and formal logic publications
Examples
Defining a set difference operation with explicit notation.
A \minuscolon B = \{x \in A : x \notin B\}Expressing a relative complement in set theory.
\mathbb{R} \minuscolon \mathbb{Q} = \text{ all irrational numbers}