UltiSnips: TeX add theorems