Among other uses, the turnstile sign is used by logicians for
denoting a consequence relation, related to a given logic,
between a collection of formulas and a derived formula.

Homepage:
https://ctan.org/pkg/turnstile
