Playground.g17

\forall ∀ · \exists ∃ · \in ∈ · \notin ∉
\to / \imp → · \iff / \lr ↔
\and ∧ · \or ∨ · \not ¬
\powerset 𝒫 · \bigcup ⋃ · \cup ∪ · \cap ∩
\setminus ∖ · \subset ⊆ · \times × · \uplus ⊎
\simeq ≃ · \mapsto ↦ · \quot ⧸ · \int ∫ · \prod ∏ · \sqrt √ · % remainder
u\_n uₙ · a\_1 a₁ · u[n + 1] arbitrary index
\< ⟨ · \> ⟩ for patterns
Type a command, then Space, Tab, or Enter.