3 ms·The other entailment symbol. ⊢. Sometimes called "the turnstile".by IIAOPSW 5y agoThe other entailment symbol. ⊢. Sometimes called "the turnstile".