tex UltiSnip for exercise environment