# -*- mode: snippet -*-
# name: corollary
# key: corollary
# --
#+begin_corollary
$0
#+end_corollary