Math AutoCorrect Search Terms and Associated Math AutoCorrect Codes to Improve AutoCorrect Code Discoverability

Jump to bottom

Brian Richwine edited this page Oct 23, 2024 · 8 revisions

This is a work in progress

Suggested Search Terms and Associated Math AutoCorrect Codes

Integral

\int (∫)
\iint (∬)
\iiint (∭)
\oint (∮)
\oiint (Contour double integral)
\oiiint (Contour triple integral)

Differentials|Derivative

\partial (∂)
\Dd
\dd
\ddot (¨)
\dddot (⃛)
\ddddot (⃜)

Summation

\sum (∑)
\prod (∏)

Set

\cup (∪)
\cap (∩)
\subset (⊂)
\superset (⊃)
\subseteq (⊆)
\superseteq (⊇)
\emptyset (∅)
\setminus (∖)
\in (∈)
\ni (∋)

Arrow

\rightarrow (→)
\leftarrow (←)
\uparrow (↑)
\downarrow (↓)
\leftrightarrow (↔)
\Rightarrow (⇒)
\Leftarrow (⇐)
\Updownarrow (⇕)
\mapsto (↦)
\hookrightarrow (↪)
\hookleftarrow (↩)

Logic

\not (¬) NOT
\vee (∨) AND
\wedge (∧) OR
U+22BC (⊼) NAND
U+22BD (⊽) NOR
\oplus (⊕) XOR (Exclusive OR)
U+21AE (↮) XNOR (Exclusive NOR)
\odot (⊙) XNOR (Exclusive NOR)

Logical

\forall (∀)
\exists (∃)
\vdash (⊢) Proves
\models (⊨) Model Checking (Satisfiability) | Entailment or Logical Consequence
\rightarrow (→) IMPLICATION (If...then)
\leftrightarrow (↔) BICONDITIONAL (If and only if)
U+22A9 (⊩) FORCES

Relational|Equality|Inequality

\leq (≤)
\geq (≥)
\neq (≠)
\equiv (≡)
\approx (≈)
\sim (∼)
\cong (≅)

Braces|Brackets|Grouping

\lbrace ({)
\rbrace (})
\lbrack ([)
\rbrack (])
\langle (〈)
\rangle (〉)
\lfloor (⌊)
\rfloor (⌋)
\lceil (⌈)
\rceil (⌉)
\overparen (⏜)
\underparen (⏝)

Vectors

\vec (⃗)
\tvec (Vector with a tilde)
\hvec (Vector with a hat)

Phantom|Invisible

\phantom (⟡)
\vphantom (⇳)
\hphantom (⬄)

Space

\zwsp (zero-width space)
\hairsp (very very thin math space 1/18 em)
\thinsp (thin math space 3/18 em)
\medsp (medium math space 4/18 em)
\thicksp (thick math space 5/18 em)
\vthicksp (very thick math space 6/18 em)
\ensp (en space 9/18 em)
\emsp (em space 1 em)
\numsp (digit width space)
\nbps (non-breaking space width space)