diff options
| -rw-r--r-- | .emacs | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -59,6 +59,14 @@ ("corollary" ?c "cor:" "~\\ref{%s}" t ("corollary" "cor.") -3) ("lemma" ?l "lemma:" "~\\ref{%s}" t ("lemma" "lem.") -3) ("conjecture" ?j "conj:" "~\\ref{%s}" t ("conjecture" "conj.") -3) + ("ax" ?a "ax:" "~\\ref{%s}" nil ("axiom" "ax.") -3) + ("thm" ?h "theorem:" "~\\ref{%s}" t ("theorem" "th.") -3) + ("prop" ?p "prop:" "~\\ref{%s}" t ("proposition" "prop.") -3) + ("defi" ?d "def:" "~\\ref{%s}" t ("definition" "def.") -3) + ("cor" ?c "cor:" "~\\ref{%s}" t ("corollary" "cor.") -3) + ("lem" ?l "lemma:" "~\\ref{%s}" t ("lemma" "lem.") -3) + ("conj" ?j "conj:" "~\\ref{%s}" t ("conjecture" "conj.") -3) + ) ))) |