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 8xAx \forall xAx existential 9xAx \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 fa; b; cg \{a,b,c\} treat {} as literals element A 2 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. ".