12

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.

cfr
  • 198,882
merlin2011
  • 3,343
  • 9
    What about \vdash? – Werner Mar 05 '13 at 00:57
  • 1
    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 05 '13 at 01:09
  • vdash was what I was looking for! – merlin2011 Mar 05 '13 at 01:18
  • http://ctan.org/pkg/turnstile is another more powerful option. – cfr Jan 19 '14 at 03: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 02:03
  • 1
    @DeliaRuby, With this question in place, people can now google for "single turnstyle latex" and be immediately brought to an answer. That's the contribution of questions like this one. – merlin2011 Aug 14 '15 at 02:10
  • @DeliaRuby, Thank you for the references, also. – merlin2011 Aug 14 '15 at 02:12
  • Those who spell it correctly will never find your question; had you spelt it correctly, you would have found the answer. At least, had you searched, you would have found the answer. – cfr Jun 24 '16 at 01:39

1 Answers1

13

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.

Unicode

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

cfr
  • 198,882
Ethan Bolker
  • 9,333
  • 3
  • 42
  • 69
  • Is there a way to enter Unicode for LateX? – merlin2011 Mar 05 '13 at 01:17
  • 1
    @merlin2011 With the newunicodechar package you can do \newu­ni­codechar{⊢}{\vdash}. – Qrrbrbirlbel Mar 05 '13 at 01:28
  • 17
    To confused Googlers: I simply needed \vdash. – Lynn Nov 15 '15 at 23:12
  • 1
    @cfr I never intended this answer to be definitive but no one else contributed. Thanks for doing the job. – Ethan Bolker Jun 24 '16 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 '16 at 12:29
  • "If you are typesetting logic for anything beyond the most elementary level, the standard commands are unlikely to meet your needs." - This is not true. \vdash will perfectly suffice for many advanced applications in logic. No need for the "turnstile" package. – Max Mar 09 '21 at 19:03