[Tex/LaTex] Logical symbol for exclusive disjunction: fwwf

symbols

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

Best Answer

Something like

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

$a \hmm b

perhaps?

enter image description here

Related Solutions

[Tex/LaTex] Typesetting: Footnotes in math mode – confusable with exponents

I would say that footnote in equations is not really a good practice, and you should find another way to do that...

However, perhaps you could change the mark to get a less ambiguous symbol (dagger etc.)

\renewcommand\thefootnote{\fnsymbol{footnote}}

Edit:

As pointed out in a comment, using symbols can also be confusing (since \dagger can typically be a Hermitian conjugate in quantum mechanics...); another possibility would be to use circled numbers (as proposed in an answer of this question) with the pifont package

% circled number: ①②③④⑤⑥⑦⑧⑨
\usepackage{pifont}
\renewcommand\thefootnote{\ding{\numexpr171+\value{footnote}}}

[Tex/LaTex] prevent a package from redefining a command

before loading the package do

\let\origbar\bar
\let\origdot\dot
\usepackage{...}
\let\bar\origbar
\let\dot\origdot

Note that in some cases you may need to postpone the redoing until after \begin{document}

One might wonder why you are using runes in a documnt with math?

Best Answer

Related Solutions

[Tex/LaTex] Typesetting: Footnotes in math mode – confusable with exponents

[Tex/LaTex] prevent a package from redefining a command

Related Question