# 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

## marked as duplicate by Werner, Kurt, doncherry, Speravir, QrrbrbirlbelApr 4 '13 at 5:13

@merlin2011 With the `newunicodechar` package you can do `\newu­ni­codechar{⊢}{\vdash}`. –  Qrrbrbirlbel Mar 5 '13 at 1:28