1

Typing in LATEX. If you are interested in installing LATEX (‘l¯atech’) on your own platform, see Getting Started With LaTeX. For those with experience, mathematical typing in posts works like LATEX with AMS symbols. KaTeX Supported Functions is a complete list of available commands. Here is a short list tailored to our purposes. tilde ∼A \mathord\sim A \mathord fixes spacing arrow A → B A \to B double arrow A ↔ B A \leftrightarrow B wedge A ∨ B A \vee B caret A ∧ B A \wedge B universal ∀xAx \forall xAx existential ∃xAx \exists xAx bottom ⊥ \perp

m-tilde ¬A \neg A m-arrow A ⇒ B A \Rightarrow B m-double arrow A ⇔ B A \Leftrightarrow B m-wedge A O B A \mathbin\triangledown B \mathbin spaces O as operator m-caret A M B A \mathbin\vartriangle B slash a 6= b a \not = b similarly for other relations turnstile A ` B A \vdash B double turnstile A  B A \vDash B

times a × b a \times b inequality ≤, ≥ \leq,\geq angle bracket ha, b, ci \langle a,b,c\rangle curley bracket {a, b, c} \{a,b,c\} treat {} as literals element A ∈ B A \in B union ∪, S \cup,\bigcup intersection ∩, T \cap,\bigcap

typewriter ABC \mathtt{ABC} brackets set scope of command script A → B \mathcal A \to \mathcal B Fraktur ABC \mathfrak{ABC} sans serif plus \mathsf{plus} small cap NEG \scriptstyle{\mathsf{NEG}} shrink regular caps italic Diag \mathit{Diag} \mathit removes math spacing blackboard ABC \mathbb{ABC} combined Neg \mathit{\mathbb Neg} no italic blackboard in KaTeX Greek α, β \alpha,\beta similarly for other characters Γ, ∆ \Gamma,\Delta

superscript A123 A^{123} subscript A123 A_{123} 1 combined A2 A^1_2 hat 123d \mathsf{\widehat{123}} overline n \overline{\mathsf n} corner quote pAq \ulcorner A \urcorner combined pAq \overline{\ulcorner A \urcorner} You can display formulas centered on a line of their own,

A → B using “. . . some text [latex display="true"] A \to B [/latex] more text. . . ”