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

This question already has an answer here:

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.

-

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

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

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
add comment

## 1 Answer

Will either of these do?

Assertion: ⊦ Unicode hexadecimal: 0x22a6 In block: Mathematical Operators

Right tack: ⊢ Unicode hexadecimal: 0x22a2 In block: Mathematical Operators

(found with http://shapecatcher.com/)

-
Is there a way to enter Unicode for LateX? –  merlin2011 Mar 5 '13 at 1:17
@merlin2011 With the `newunicodechar` package you can do `\newu­ni­codechar{⊢}{\vdash}`. –  Qrrbrbirlbel Mar 5 '13 at 1:28
add comment