Change syntax of example's header for LaTeX to be more specific