theorem « org-mode « yasnippet - monorepo.git - My monorepo which manages everything, from my nix flake to my org files.

summary refs log tree commit diff

path: root/yasnippet/org-mode/theorem

blob: cb20ccd37af197c38f2d77920c91905d60f97f47 (plain)

# -*- mode: snippet -*-
# name: theorem
# key: theorem
# --
#+begin_theorem
$1
#+end_theorem

#+begin_proof
$0
#+end_proof