Logic operators in LaTeX? (XOR?)

Question

When I google this, it seems that \XOR is how you would get an XOR symbol in LaTeX, however that is giving me the 'undefined control sequence' error. How does one get the xor symbol?

You probably need to load some package. However, symbols does not list \xor, so I can’t help you without knowing what the symbol looks like. Have a look at “How to look up a math symbol?” for ideas how you can easily find a particular symbol. — Caramdir, Oct 09 '10 at 04:07
Shouldn't you accept A T's answer instead of TH.'s? Since \oplus is clearly superior to \mathbin{\oplus} or \newcommand*\xor{\mathbin{\oplus}}. — Eric, Feb 18 '16 at 07:51

score 121 · Answer 1 · answered Nov 30 '11 at 14:55

121

\oplus worked for me :)

I found this in List of logic symbols :P

answered Nov 30 '11 at 14:55

A T

4,093

7

This should be the accepted answer! – Axel Kennedal Jan 24 '19 at 02:25

score 47 · Accepted Answer · edited Apr 07 '20 at 21:13

47

How about \newcommand*\xor{\oplus}?

edited Apr 07 '20 at 21:13

Community

1

answered Oct 09 '10 at 04:10

TH.

62,639

18

I think the \mathbin isn't strictly necessary because \oplus is already a binary operator. – Philipp Oct 09 '10 at 09:31
2

Alternatively, \lxor to match \lor, \land, etc. – Rudolf Adamkovic Jul 26 '22 at 10:25

score 15 · Answer 3 · edited Oct 15 '12 at 01:17

15

What you're looking for is \veebar in amssymb.

\usepackage{amssymb}

$\veebar$

If you like, you can create a new command \lxor, named to match \lor and \land:

\providecommand{\lxor}{\veebar}

edited Oct 15 '12 at 01:17

Scott H.

11,047

answered Oct 15 '12 at 01:11

Jonathan Baldwin

250

1

Hey, just added some code tags for you :) – Scott H. Oct 15 '12 at 01:18
For reference, the veebar symbol is ⊻, though in LaTeX it might not have a space between the ∨ and the bar – mic Nov 19 '20 at 04:17

score 5 · Answer 4 · edited Apr 21 '16 at 07:59

5

Another way of representing the XOR connective is by using a W-like symbol (as in p W q), also used in Set Theory to refer to disjunctive union. Since this symbol does not seem to appear in the Comprehensive LaTeX symbol list, you can create it by joining two "or" connectives together through the following command:

\newcommand{\xor}{%
  \mathbin{%
    {\vee}\mspace{-2.9mu}\nonscript\mspace{0.3mu}{\vee}%
  }%
}

that however doesn't work on second levels subscripts/superscripts

Full example:

\documentclass{article}
\usepackage{amsmath}

\newcommand{\xor}{%
  \mathbin{%
    {\vee}\mspace{-2.9mu}\nonscript\mspace{0.3mu}{\vee}%
  }%
}

\begin{document}

$A\xor B_{x \xor y}$

\end{document}

edited Apr 21 '16 at 07:59

egreg

1,121,712

answered Apr 21 '16 at 01:25

Maxime Sainte-Marie

51

1

Welcome! Please provide a complete example. What defines \mspace? It is not a default LaTeX command. – cfr Apr 21 '16 at 01:38
1

Thanks! It would still be better to give a complete example even though other answers to this question don't. Also, I'm pretty sure this can't possibly be a good way to do it, but I've up-voting anyway as I appreciate the effort ;). (It can't be right to add space like that in maths mode and shouldn't this be declared as a maths symbol?) – cfr Apr 21 '16 at 01:50
You're right about the example, the spaces and the symbol declaration. The command still needs some fine-tuning. Thanks for the feedback and advice! – Maxime Sainte-Marie Apr 21 '16 at 05:15
4

I've taken the liberty of turning your good idea into working code; \DeclareMathOperator was not the correct tool and \ooalign did nothing; using \mspace and mu units allows for making it work also in sub/superscripts (alas, not in second level ones). – egreg Apr 21 '16 at 08:01

score 4 · Answer 5 · edited Nov 09 '11 at 19:49

4

I found a bit lame solution, but it works for me. Just do:

\underline{\vee}

edited Nov 09 '11 at 19:49

Stefan Kottwitz

231,401

answered Nov 09 '11 at 19:41

Mush

41

6

what about \veebar from the mathabx package? – jon Nov 30 '11 at 16:01

score 1 · Answer 6 · edited Sep 25 '12 at 21:05

1

I use this one \overline{\vee}.

edited Sep 25 '12 at 21:05

Mensch

65,388

answered Sep 25 '12 at 20:08

Deepak

11

score 0 · Answer 7 · edited Dec 22 '21 at 16:42

0

Hard to believe this one was overlooked. In Overleaf, I type the following:

P \dot{\lor} Q

results in:

P ̇∨ Q

edited Dec 22 '21 at 16:42

Svend Tveskæg

31,033

answered Dec 22 '21 at 16:19

JeffL

1

Actually to provide some spacing consistent with embedded functions, such as P v Q, one can include an inelegant pair of hspaces: – JeffL Dec 22 '21 at 16:20
$ P \hspace{0.01in} \dot{\lor} \hspace{0.05in} Q $ – JeffL Dec 22 '21 at 16:21
People are just not using the same notation as you. // You should [edit] the answer to add more information; also you can add image to answers. – user202729 Dec 22 '21 at 16:25
2

The proper way is \mathbin{\dot\lor}. – user202729 Dec 22 '21 at 16:26
No one above suggested \dot\lor from what I saw above. Either way will work. Yours is more compact or "proper". Note my acknowledgement of "inelegant". – JeffL Dec 23 '21 at 04:44

Logic operators in LaTeX? (XOR?)

7 Answers7