# ⊣ U+22A3 LEFT TACK

- = reverse turnstile
- = non-theorem, does not yield