Logical symbol for exclusive disjunction: fwwf

Question

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

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

David Carlisle · Accepted Answer · 2012-11-12 14:56:31Z

up vote 7 down vote accepted

Something like

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

$a \hmm b

perhaps?

enter image description here

answered Nov 12 '12 at 14:56

David Carlisle
107k6271507

Great, thanks!! – Kratylos Nov 12 '12 at 15:10

1 Answer