Turnstile

Used as meta-logic and non-formal writings. $A⊢B$ Or $B⊣A$ Means A derives B.