Numbered cases environment for LaTeX
