TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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
@merlin2011 I only just joined this stack exchange, but I think you should look up the answer to something like that before asking here. It is more practical for you to ask here, but that doesn't make it more practical for everybody else. You should download "The not so short introduction to latex" (it's on the web as lshort.pdf) or get Kopka and Daly's Guide to Latex. – Ruby Aug 14 '15 at 2:03
up vote 2 down vote accepted

If your needs are relatively simple, you may want to use \vdash. If you are typesetting logic for anything beyond the most elementary level, the standard commands are unlikely to meet your needs. In that case, the turnstile package is the answer. This is true both if you need more complex symbols (e.g. triple lines or combinations of single/double/triple) or if you need a turnstile of any kind with subscripts or superscripts, as is usually the case.


A couple of symbols that look like the output caused by the above command:

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
To confused Googlers: I simply needed \vdash. – Lynn Nov 15 '15 at 23:12
@cfr I never intended this answer to be definitive but no one else contributed. Thanks for doing the job. – Ethan Bolker Jun 24 at 12:05
I understand and I'm glad you don't mind. I would have added another answer but that isn't possible, so it seemed to me best to make sure the information was included in the existing answer. People say \vdash which is fine for really introductory logic, but doesn't work well for anything more advanced. \vdash often looks better when it is sufficient, though, and it is easier to use. – cfr Jun 24 at 12:29

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