snippets for latex
update prodigy