DEBSOURCES
Skip Quicknav
sources / yasnippet-snippets / 1.1%2Bdfsg-2 / snippets / latex-mode / lemma
12345678
# -*- mode: snippet -*- # name: lemma # key: lem # -- \begin{lem}[${2:title}] \label{lem:${1:label}} $0 \end{lem}