# -*- mode: snippet -*- # name: lemma # key: lemma # -- \begin{lemma}{$1} $0 \end{lemma}