shortened LaTeX output added