Math — Visual Index
Find something that looks like your formula, then open the link beside it.
Basic symbols
| I see something like… | Open |
|---|
| a=b, a=b, x≤10, a:=b | Equality and comparison |
| N, Z, R, C | Number sets |
| x∈S, A∪B, A⊆B, {x∈S:P(x)} | Sets |
| ¬P, P∧Q, P⇒Q, P⟺Q | Logic |
| ∀x, ∃y | Quantifiers |
| xi, an, i=1,…,n | Indices |
Operators and values
| I see something like… | Open |
|---|
| ∑i=1nai, ∏i=1nai | Sums and products |
| minS, maxixi | Minimum and maximum |
| minxf(x) versus argminxf(x) | min versus argmin |
| ⌈x⌉, ⌊x⌋ | Ceiling and floor |
| ∣x∣, ∣S∣, ∥v∥ | Bars and norms |
| (a,b), [a,b], A[i], f(x) | Brackets and intervals |
Functions and optimization
Algebra and computer science
| I see something like… | Open |
|---|
| ba, a/b, a ratio | Fractions |
| a=b+c⇒a−c=b | Algebra transformations |
| G=(V,E), u∼v, deg(v), paths | Graph theory |
| (an)n≥0, an=an−1+an−2 | Sequences and recurrences |
| O(n), O(nlogn), Θ(n2) | Complexity |
| P(A), P(A∣B), E[X], Var(X) | Probability |
x←5, for, while, return | Algorithms |
| Σ∗, ε, L1∪L2 | Formal languages |
| Γ⊢e:τ, e⇓v, e[x:=v] | Types and programming languages |
Proofs and statements
| I see something like… | Open |
|---|
| “theorem”, “lemma”, “corollary”, “QED” | Proof vocabulary |
| contradiction, induction, counterexample | Proof styles |
| P⇒Q, “if”, “only if”, “iff” | Necessary and sufficient |
| :=, ≤, min, recurrence, cases | Equation styles |
| :, ;, comma, ∣ inside a formula | Formula punctuation |
Help me read or write it
8 items under this folder.