Mathematical Notations
A comprehensive index of mathematical and computer science notations, connecting visual representations with their semantic meanings
Element Membership
A relation between an element and a set, indicating that the element belongs to the set
$x in A$ x \in A Existential Quantification
A logical statement asserting that there exists at least one element satisfying a property
$exists x. P(x)$ \exists x. P(x) Lambda Abstraction
A function definition in lambda calculus
$lambda x. e$ \lambda x. e Set Intersection
The intersection of two sets A and B is the set of elements which are in both A and B
$A sect B$ A \cap B Set Union
The union of two sets A and B is the set of elements which are in A, in B, or in both
$A union B$ A \cup B Summation
The sum of a sequence of numbers, typically indexed over a range
$sum_(i=1)^n a_i$ \sum_{i=1}^{n} a_i Type Judgment
A formal statement asserting that a term has a certain type in a given context
$Gamma tack.r e : tau$ \Gamma \vdash e : \tau Universal Quantification
A logical statement asserting that a property holds for all elements in a domain
$forall x. P(x)$ \forall x. P(x)