Turnstile
Courtney Emerson
It can be considered as a conditional assertion.
© Symbols.com