How to type symbols and commands (opens to a new tab)

Go back to main page

You can copy and use some difficult-to-type symbols below:

Γ Δ Θ Λ Ξ Π Σ Φ Ψ Ω
α β γ δ ε ζ η θ ι κ λ μ ν ξ π ρ σ τ υ φ χ ψ ω ϑ ϕ ϵ
¬ ∧ ∨ ← → ↔ ↠ ⇐ ⇒ ⇔ ∀ ∃
− ⋅ √ ⌈ ⌉ ⌊ ⌋ ≠ ≡ ≤ ≥

Hyperbolic manipulation

Prove that `cosh x >= 1` by approximating it from below.

or