Means a statement is provable
x ⊢ y means that y is provable from x.
Example:
A → B ⊢ ! A → ! B
© Symbols.com