Reputation: 11
When I write a \prod
in a cases
, the \prod
is like if it was in inline mode.
\mathbb{P} : \left\{ \forall n \in \mathbb{N} \Big| \nexists d \in \mathbb{N} \setminus \{1; n\} : d|n \right\}\\
\mathbb{P}_n \subset \mathbb{P} \times \mathbb{N}^* :
\begin{cases}
\left( \prod_{(k, m) \in \mathbb{P}_n} k^m \right ) = n\\
\forall (k; m) \in \mathbb{P}_n, \nexists (k'; m') \in \mathbb{P}_n \setminus \{(k, m)\}:k=k'
\end{cases}\\
Upvotes: 1
Views: 1980
Reputation: 182038
Turns out it is in the amsmath manual after all (page 9):
cases
is set in\textstyle
. If\displaystyle
is wanted, it must be requested explicitly;mathtools
provides adcases
environment for this purpose.
See the mathtools manual:
Using the
dcases
environment you get the same output as withcases
except that the rows are set in display style.
So this should work (untested though):
\usepackage{mathtools}
...
\begin{dcases}
\left( \prod_{(k, m) \in \mathbb{P}_n} k^m \right ) = n\\
\forall (k; m) \in \mathbb{P}_n, \nexists (k'; m') \in \mathbb{P}_n \setminus \{(k, m)\}:k=k'
\end{dcases}
Upvotes: 3