# Logical “and” character in TeX (⋀)

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 as a superscript.

$((a\implies b) \land (c\implies a)) \implies (c \implies b)$


\land and \wedge are synonymous.

• I would recommend going with \land since it's the semantic variant and because of the command's similarity to other logical connectives such as \lor and \lnot. – N.N. Jul 22 '11 at 11:58
• I second @NN, IMHO this is the natural choice. – Paulo Cereda Jul 22 '11 at 12:02
• I don't have \implies just used\rightarrow – Miranda Apr 22 '18 at 10:00

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
$((a \implies b) \land (c \implies a)) (c \implies b)$
\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.

• What is mathabax @Paulo? – Saeed Neamati Jul 22 '11 at 11:43
• @Saeed: It's a package =). You can load it by putting \usepackage{mathabx} in your document preamble. I never used myself, but I found it in The Comprehensive LaTeX Symbol List, page 23. You can find other alternative symbols in there. – Paulo Cereda Jul 22 '11 at 11:49

use $\wedge$ or $\bigwedge$