Redundant snippet for latex