Enhanced theorem environment for LaTeX
