5

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
  • 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). – Mensch Nov 12 '12 at 13:49
  • 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 '14 at 23:15
8

Something like

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

$a \hmm b 

perhaps?

enter image description here

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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