1 2 3 4 5 6 7 8
# -*- mode: snippet -*- # name: axiom # key: axm # group: theorems # -- \begin{axiom} $0 \end{axiom}