tex snippet