# In LyX, how to have itemize inside a proof?

LyX is great. I use it to write everyday documents. But it seems that its environment can only have one type; different types of environments can't be mixed. For example, you can't have itemize inside a proof. If you try, either you lose the itemize, or the itemize part become outside of the proof. Can I have itemize inside proofs? You need this when making case distinctions.

-

Lyx can perfectly nest environments: All you need to do is to increase the nesting depth (EditIncrease List Depth):

-

Have you tried the cases environment?

\documentclass[a4paper]{book}

\usepackage{amsmath,amsthm}

\begin{document}
\begin{proof}Here is the proof and the cases environment:
$|x| = \begin{cases} x, & \text{if x\ge 0,} \\ -x, & \text{if x<0.} \end{cases}$
\end{proof}
\end{document}


I know that in LyX you can use every package you want and add the code too, so the example should be ok. If I misunderstood what you need, please provide an example of what you want to achieve.

-