Take the 2-minute tour ×
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It's 100% free, no registration required.

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.

share|improve this question

marked as duplicate by Werner, Kurt, doncherry, Speravir, Qrrbrbirlbel Apr 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 '14 at 3:29

1 Answer 1

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/)

share|improve this answer
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

Not the answer you're looking for? Browse other questions tagged or ask your own question.