Here is a solution using the\stackinset command from the stackengine package:
\documentclass{article}
\usepackage{stackengine}
\newcommand{\xor}{\mathrel{\stackinset{c}{}{c}{-0.15ex}{
}{
}}}
\begin{document}
\[ A \xor B\]%
\end{document}
Poznań University of Technology
cs.put.poznan.pl › ksiek › latexmath.html
LaTeX Formal Methods Reference — Konrad Siek
The general idea of this reference is to provide a cheatsheet for writing math in LaTeX for someone who’s not particularily sure of either, such as myself. Each table contains a description of some symbol or concept, a rendering of the symbol, a LaTeX source, and, optionally, some odd notes ...
OEISWiki
oeis.org › wiki › List_of_LaTeX_mathematical_symbols
List of LaTeX mathematical symbols - OeisWiki
All the predefined mathematical symbols from the TeX package are listed below. More symbols are available from extra packages. ... Scott Pakin, The Comprehensive LaTeX Symbol List, 2017.
math mode - How to make the exclusive or in LaTex - TeX - LaTeX Stack Exchange
Does anyone know how to make the symbol in the red box? It's the exclusive or. I've tried using detexify and looking up the symbol, but I haven't found anything. More on tex.stackexchange.com
pdftex - How to write sign "|" (or) in LaTeX? - TeX - LaTeX Stack Exchange
In case you are trying to typeset ... listings or minted that provide commands for exactly this purpose. ... If you're trying to typeset "the conditional probability of event E given event H", you should write it -- in math mode -- as ... The macro \Pr is a "math operator" and its output (the letter pair "Pr") is typeset using upright Latin letters. The macro \mid inserts a vertical bar and surrounds it with whitespace, as is appropriate for a relational operator symbol. In TeX and LaTeX, there is ... More on tex.stackexchange.com
symbols - Logical "and" character in TeX (⋀) - TeX - LaTeX Stack Exchange
I'm trying to write a logical syllogism in the form of ((a -> b) & (c -> a)) -> (c -> b). But I don't know how to write Logical And character. It's something like caret character (^), but not a... More on tex.stackexchange.com
Symbol for "but not both"
It sounds like you are looking for the exclusive disjunction , informally known as "xor". If you check the table on the wikipedia page, it looks like the LaTeX for the various equivalent symbols for xor are \oplus, \veebar, and \not\equiv. On the other hand, I wouldn't recognize any of those symbols in a paper, so you might want to define them explicitly if you use them. More on reddit.com
3
1
January 29, 2021Rice University
cmor-faculty.rice.edu › ~heinken › latex › symbols.pdf pdf
LATEX Mathematical Symbols
LATEX Mathematical Symbols · The more unusual symbols are not defined in base LATEX (NFSS) and require �sepackage{amssymb} 1 · Greek and Hebrew letters · α · \alpha · κ · \kappa · ψ · \psi · ϝ · \digamma · ∆ · \Delta · Θ · \Theta · β · \beta ·
GeeksforGeeks
geeksforgeeks.org › engineering mathematics › logic-notations-in-latex
Logic Notations in LaTeX - GeeksforGeeks
April 24, 2025 - Logic notation consists of a set of symbols that are used to express logical representations and operations. These symbols simplify the expression of logical statements, making it easier to reason about them in various fields such as mathematics, computer science, and philosophy ... So, let’s see the latex code of Logic Notations one by one.
Top answer 1 of 2
5
Here is a solution using the\stackinset command from the stackengine package:
\documentclass{article}
\usepackage{stackengine}
\newcommand{\xor}{\mathrel{\stackinset{c}{}{c}{-0.15ex}{}{}}}
\begin{document}
\[ A \xor B\]%
\end{document}
2 of 2
1
You can roll your own:
\documentclass{article}
\usepackage{tikz}
\newcommand*\circledlor{\tikz[baseline=(char.base)]{\node[shape=circle,draw,inner sep=1pt] (char) {\lor};}}
\begin{document}
\(\circledlor\)
\end{document}
Top answer 1 of 2
10
If you're trying to typeset "the conditional probability of event E given event H", you should write it -- in math mode -- as
P(E \mid H)
or, better yet,
\Pr(E \mid H)
The macro \Pr is a "math operator" and its output (the letter pair "Pr") is typeset using upright Latin letters. The macro \mid inserts a vertical bar and surrounds it with whitespace, as is appropriate for a relational operator symbol.
In TeX and LaTeX, there is an absolutely fundamental distinction between text mode and math mode. Do familiarize yourself with the basics of LaTeX coding. A good starting point is the document A (Not So) Short Introduction to LaTeX, which is available in about two dozen languages.
A full MWE (minimum working example):
\documentclass{article}
\begin{document}
or, better yet, 
.
\end{document}
2 of 2
5
You can use either | or \mid. Using \mid is better as this adds the appropriate amount of spacing around the operator.
More importantly, you should enclose all of these in 
\ell or mid outside of math-mode.
Compare:
The full code:
\documentclass{article}
\usepackage{}
\begin{document}
text: P(E
H) or P(E|H) or P(E
H)
math-mode: 
or 
or 
\end{document}
Top answer 1 of 3
166
$((a\implies b) \land (c\implies a)) \implies (c \implies b)$
\land and \wedge are synonymous.
2 of 3
33
In case you don't like the default \wedge symbol, you can try the one provided by the mathabx package:
EDIT: Oh the shame, not even an example? Based on egreg's solution:
\documentclass{article}
\usepackage{amsmath}
\usepackage{mathabx}
\begin{document}
% from egreg's solution
\end{document}
Note that the use of mathabx is just an aesthetic choice. Since you are writing logic, egreg's approach is the way to go, since it's more semantic.
Overleaf
overleaf.com › learn › latex › List_of_Greek_letters_and_math_symbols
List of Greek letters and math symbols - Overleaf, Online LaTeX Editor
4 Binary Operation/Relation Symbols · 5 Further reading · For more information see: The great, big list of LaTeX symbols · Mathematical expressions · Brackets and Parentheses · Integrals, sums and limits · Mathematical fonts · Spacing in math mode · Aligning equations ·
Art of Problem Solving
artofproblemsolving.com › wiki › index.php › LaTeX:Symbols
LaTeX:Symbols - AoPS Wiki
Some symbols are used in commands, so they need to be treated in a special way. (Warning: Using $ for will result in . This is a bug as far as we know. Depending on the version of this is not always a problem.) In mathematics, sometimes we need to enclose expressions in brackets, braces or parentheses. Some of these work just as you'd imagine in LaTeX; type ( and ) for parentheses, [ and ] for brackets, and | and | for absolute value.
Wikipedia
en.wikipedia.org › wiki › List_of_logic_symbols
List of logic symbols - Wikipedia
3 weeks ago - The following table lists many ... example, the Unicode location, the name for use in HTML documents, and the LaTeX symbol. The following symbols are either advanced and context-sensitive or very rarely used:...
Overleaf
overleaf.com › latex › templates › symbol-table › fhqmttqvrnhk
symbol-table - Overleaf, Online LaTeX Editor
LaTeX symbols cheat sheet · Tags: MathCheat sheet · \begin · {now} Discover why over 25 million people worldwide trust Overleaf with their work. Sign up for freeExplore all plans · \documentclass[10pt]{beamer} \usepackage[orientation=landscape, size=custom,width=32,height=18.0,scale=.75]{beamerposter} % 設定紙張大小 \title{symbol-table} \begin{document} \begin{frame} \begin{tabular}{ll} $\leq$ & $\backslash$leq \\ $\geq$ & $\backslash$geq \\ $\neq$ & $\backslash$neq \\ $\nleq$ & $\backslash$nleq \\ $\ngeq$ & $\backslash$ngeq \\ $\cong$ & $\backslash$cong \\ $\equiv$ & $\backslash$equ
Pascal Michaillat
pascalmichaillat.org › design › latex commands to write math
LaTeX Commands to Write Math | Pascal Michaillat
June 26, 2024 - Existing LaTeX commands continue to work as usual, with the exception of a few text commands that do not produce their usual output. These modified text commands are \oe, \o, and \P. These commands used to insert text symbols that are rarely used in scientific writing ($\text{\oe}$, $\text{\o}$, and $\text{\P}$).
Stiltsoft
docs.stiltsoft.com › latex-math-for-confluence › latex-math-symbols-a-practical-guide
🔢 LaTeX Math Symbols: A Practical Guide
This group of LaTeX commands includes notation for derivatives, vectors, accents, arrows, and braces, which is helpful for organizing and emphasizing expressions. This category focuses on LaTeX symbols for trigonometric, logarithmic, exponential, and other mathematical functions, including min/max and set operations.
Yorku
garsia.math.yorku.ca › MPWP › LATEXmath › node7.html
LaTEX Relation Symbols
LaTEX Relation Symbols · Next: Relation symbols (amssymb) Last: Binary operation symbols (amssymb) Top: Index Page
Reddit
reddit.com › r/latex › symbol for "but not both"
r/LaTeX on Reddit: Symbol for "but not both"
January 29, 2021 -
The question basically amounts to A or B but not both and I'm wondering if there is some other symbol you need besides the normal or symbol?
Top answer 1 of 2
6
It sounds like you are looking for the exclusive disjunction , informally known as "xor". If you check the table on the wikipedia page, it looks like the LaTeX for the various equivalent symbols for xor are \oplus, \veebar, and \not\equiv. On the other hand, I wouldn't recognize any of those symbols in a paper, so you might want to define them explicitly if you use them.
2 of 2
1
This should do it: \documentclass{article} \begin{document} -> $A\oplus B$ \end{document}
Reddit
reddit.com › r/latex › symbols in a sentence
r/LaTeX on Reddit: Symbols in a sentence
May 12, 2021 -
This is what I want to do. I did it with $\sum$ and $\int$, but they should be done with different methods. How can I do it differently?
CTAN
tug.ctan.org › info › symbols › comprehensive › symbols-a4.pdf pdf
The Comprehensive LaTeX Symbol List
LATEX 2" system; others require fonts and packages that · may not accompany a given distribution and that therefore need to be ins ... Frequently Requested Symbols . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Quora
quora.com › What-are-some-useful-symbols-that-can-be-used-in-LaTeX-math-expressions
What are some useful symbols that can be used in LaTeX math expressions? - Quora
Answer: \LaTeX is not what you see is what you get, but has a lot of very intuitive commands followed by \ (backspace). For Greek letters such as \phi (\Phi or \varphi, Phi), the number of the Golden ratio, for example you just have to type \phi, \Phi, and \varphi, all in a \LaTeX or math enviro...
University of Tennessee
web.math.utk.edu › ~finotti › files › latex › 307symb.pdf pdf
Math 504 LATEX Symbols Math 504 June 14, 2016
June 14, 2016 - Math 504 LATEX Symbols · Math 504 · June 14, 2016 · Firstly, I recommend you load the amsmath, amssymb and mathrsfs pack- ages. Some of the commands below won’t work without them! Here is some of the most used symbols for this semester (they need to be in · math-mode, i.e., surrounded by $’s or ...