# -*- mode: snippet -*- # name: lemma # key: lmm # group: theorems # -- \begin{lemma}${1:[${2:name}]} `%`$0 \end{lemma}