I'm creating a homework for college students and I have five expressions that I need to itemize. Here's a MWE.
\documentclass[letterpaper,12pt]{article}
\usepackage{amsmath,amssymb,enumitem}
% Negation symbol consistent with textbook:
\newcommand{\shortsim}{\raise.17ex\hbox{$\scriptstyle \sim$}}
\renewcommand{\neg}{\shortsim}
\begin{document}
\begin{enumerate}[label=\alph*)] \large
\item $(\exists n \in \mathbb{N})[Prime(n) \wedge Even(n)]$
\item $(\neg \forall n_1 \in \mathbb{Z}) (\exists n_2 \in \mathbb{Z})[n_1 > n_2]$
\item $(\neg \forall n \in \mathbb{Z})[Divides(4, n) \Rightarrow Even(n)]$
\item $(\neg \forall n \in \mathbb{Z})[(Divides(15, n) \Rightarrow \big ( Divides(3, n) \wedge Divides(5, n) \big )]$
\item \begin{multline*} (\neg \forall x \in \mathbb{N})(\forall y \in \mathbb{N})\bigg [Coprime(x,
y) \Leftrightarrow \bigg( (\nexists k \in \mathbb{N} )[(1 < k <x ) \land \\ \qquad \qquad \qquad (1 < k < y) \land Divides(k, x) \land (Divides(k, y))] \bigg) \bigg ]
\end{multline*}
\end{enumerate}
\end{document}
The result is that the final equation is hanging below the (e):
What can I do here, if anything? If enumerate
is not an appropriate environment, please advise.
Best Answer
You can use
aligned
within math mode and decide where align the lines by&
.Also, I changed a little the size of delimiters and used operator font for Coprime and others.