More tex snippet stuff