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.

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 was marked as an exact duplicate of an existing 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 0 down vote accepted

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
To confused Googlers: I simply needed \vdash. – Lynn Nov 15 '15 at 23:12

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