# ⊢ U+22A2 RIGHT TACK

- = turnstile
- = proves, implies, yields
- = reducible