Notation Reference

Precise definition

Notation assigns compact symbols to defined mathematical objects and relations. A reference should record syntax, meaning, type, scope, and conditions. Examples: $f:A\to B$ is a function; $f^{-1}$ can mean inverse function only when appropriate; $A^{-1}$ is a matrix inverse; $x^{-1}=1/x$ for $x\ne0$.

Notation and mathematical language

Set notation includes $\in,\notin,\subseteq,\cup,\cap,\varnothing$. Interval $[a,b)$ includes $a$ and excludes $b$. Calculus uses $f'(x)$, $dy/dx$, $\int_a^bf(x)dx$, and limits. Probability uses $P(A\mid B)$ with $P(B)>0$, expectation $E[X]$, and variance $\operatorname{Var}(X)$.

Conceptual picture

Notation is typed grammar. A scalar, vector, set, function, and proposition support different operations. Parentheses and binding conventions determine scope; $-x^2$ means $-(x^2)$ while $(-x)^2=x^2$.

Conditions and key results

Symbols are locally defined and conventions can vary. $\mathbb N$, log base, vector orientation, covariance denominator, and inverse-trig ranges should be stated when consequential. Never infer a theorem condition from notation alone.

A reliable strategy

1. Identify every symbol's local definition, type, domain, and units.
2. Parse grouping and precedence before performing algebra.
3. Translate the expression into words and identify any hidden restrictions.
4. Return to symbols with explicit parentheses and test a simple allowed value.

Fully worked example

Interpretation and application

Notation fluency supports textbooks, proofs, software, and communication across fields. A reference is most effective when every entry includes an example and a near-confusable nonexample.

Common mistakes

Verification and reasonableness

• Translate to words and back.
• Check types on both sides of every relation.
• Evaluate a simple example and a boundary case.

Practice

1. Write $-2\le x<4$ in interval notation.
2. What does $A\cap B$ mean?
3. What condition belongs to $P(A\mid B)$?

Further deduction

Quantifier scope can reverse a statement's meaning. The claim $\forall x\in\mathbb R\,\exists y\in\mathbb R:y>x$ is true because $y$ may depend on $x$; the reversed $\exists y\,\forall x:y>x$ is false because no real number exceeds every real number. Indices carry similar scope. In $a_{ij}$, $i$ and $j$ may select row and column, while a repeated dummy index inside a sum can be renamed without changing the value. Function notation also protects types: $f^{-1}$ denotes an inverse function when one exists, whereas $f^{-1}(A)$ can denote a preimage of a set even when $f$ is not invertible; neither means the reciprocal $1/f$. A compact reference should therefore pair every symbol with a spoken reading, object type, and one example that reveals its binding or domain rules.

Interval notation encodes endpoint logic: square brackets include a finite endpoint and parentheses exclude it, while infinity always receives a parenthesis because it is not a real endpoint. The union symbol joins separated intervals without asserting that the gap is included.

Related topics

• Common Mathematical Symbols
• Greek Letters in Mathematics
• Domain and Range