# How do I get the single turnstyle symbol? [duplicate]

I am trying to replicate a logic symbol that looks like \models but has only one horizontal line, and represents a logical deduction. It looks roughly like |-.

I have tried Detexify, but it does not seem to recognize the symbol even though it is very simple to draw (and therefore it is unlikely I drew it poorly).

While I could look through the entire list, that seems less practical than asking if anyone is already familiar with it.

-
What about \vdash? –  Werner Mar 5 '13 at 0:57
Wikipedia: "In TeX, the turnstile symbol ⊢ is obtained from the command \vdash". Of course you could use \let\yields\vdash to have a macro that reads more naturally when you look at the TeX source –  kahen Mar 5 '13 at 1:09
vdash was what I was looking for! –  merlin2011 Mar 5 '13 at 1:18
ctan.org/pkg/turnstile is another more powerful option. –  cfr Jan 19 at 3:29