TeXipedia
Find LaTeX symbols fast

A relational symbol representing a reverse turnstile or right tack used in logic and proof theory.

\dashv image