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.

Neither detexify nor the list of mathematical symbols yield what I am looking for:

A logical symbol for the truth-function (FWWF)(pq), in English "Neither p nor q", also called 'exclusive disjunction', that looks like that:

>--<

This is the symbol that was used in the logics course I attended (University of Zurich). It seems that this symbol is non-standard.

Does anyone know how to write it in LaTeX? or: What symbol is the standard?

Some suggestions:

\oplus 

\downarrow

\veebar
share|improve this question
1  
Welcome to TeX.sx! A tip: If you indent lines by 4 spaces or enclose words in backticks `, they'll be marked as code, as can be seen in my edit. You can also highlight the code and click the "code" button (with "{}" on it). –  Kurt Nov 12 '12 at 13:49
    
Ah, now I get it, thanks! –  Kratylos Nov 12 '12 at 14:18
2  
Logicians don't agree even on the simbol for the implication, let alone with a rarely used connective. :) There is no standard, in other words. –  egreg Nov 12 '12 at 14:44
    
Exclusive disjunction doesn't have the meaning 'neither... nor..'. It means '... and... but not both'. –  cfr Jan 19 at 23:15

1 Answer 1

up vote 7 down vote accepted

Something like

\def\hmm{>\joinrel\relbar\joinrel<}

$a \hmm b 

perhaps?

enter image description here

share|improve this answer
    
Great, thanks!! –  Kratylos Nov 12 '12 at 15:10

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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