RIGHT TACK

Properties

Category

Math Symbol

Script

Common

Annotations

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