U+22A2 RIGHT TACK

⊢

• =alias turnstile
• =alias proves, implies, yields
• =alias reducible