diff --git a/global.org b/global.org
index 64eaaf4..94aa0dc 100644
--- a/global.org
+++ b/global.org
@@ -807,20 +807,18 @@
                   (define-key c++-mode-map (kbd "C-c C-c") 'make)))
     #+END_SRC
 ** TODO split --- LaTeX
-*** TODO split --- Setup ~reftex~
-     Unbind "C-c ["
+*** TODO Setup ~reftex~
      #+BEGIN_SRC emacs-lisp
-       (eval-after-load "reftex"
-         '(progn
-            (setq reftex-cite-format "~\\cite{%l}"
-                  reftex-plug-into-AUCTeX (quote (t t nil t t))
-                  reftex-insert-label-flags '(t  t)
-                  reftex-label-alist
-                  '(("thm" ?t "thm:" "~\\ref{%s}" thm (regexp "theorems?"))
-                    ("lem" ?l "lem:" "~\\ref{%s}" lem (regexp "lemma{ta}?"))
-                    ("prop" ?p "prp:" "~\\ref{%s}" prp (regexp "propositions?"))
-                    ("cor" ?c "cor:" "~\\ref{%s}" cor (regexp "corollary"))
-                    ("def" ?d "def:" "~\\ref{%s}" cor (regexp "defintions?"))))))
+       (with-eval-after-load "reftex"
+         (setq reftex-cite-format "~\\cite{%l}"
+               reftex-plug-into-AUCTeX '(t t nil t t)
+               reftex-insert-label-flags '(t  t)
+               reftex-label-alist
+               '(("thm" ?t "thm:" "~\\ref{%s}" thm (regexp "theorems?"))
+                 ("lem" ?l "lem:" "~\\ref{%s}" lem (regexp "lemma{ta}?"))
+                 ("prop" ?p "prp:" "~\\ref{%s}" prp (regexp "propositions?"))
+                 ("cor" ?c "cor:" "~\\ref{%s}" cor (regexp "corollary"))
+                 ("def" ?d "def:" "~\\ref{%s}" cor (regexp "defintions?")))))
      #+END_SRC
 *** Setup ~latex-mode~
      #+BEGIN_SRC emacs-lisp