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

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

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

Simplification problems

Simplify `frac((x-1)^2)(x^2 - 1) - 1` assuming `|x| != 1`. You can start with the first simplification step, followed by a chain of equalities.

or

Simplify `4 sin x cos x - sin 4x`. You can again start with your first simplification step.

or

Simplify `sinh ln(c + sqrt(c^2 + 1))`.

or

Simplify `cosh ln(c + sqrt(c^2 - 1))` assuming that `c>=1`.

or

Simplify `(sin omega - cos omega)^2 + sin 2 omega`.

or

Simplify `cos^2 omega - cos 2 omega`.

or