X-Git-Url: https://git.distorted.org.uk/~mdw/profile/blobdiff_plain/88daf8fbedda22c35046006c713a1df0365b2c88..f0ef025e2c8e2f920ddfbbcbadb68b0f7b8013b9:/dot/emacs

diff --git a/dot/emacs b/dot/emacs
index 9fbd771..657f7e5 100644
--- a/dot/emacs
+++ b/dot/emacs
@@ -759,7 +759,7 @@
 	("definition" ?D "def:" "~\\ref{%s}" t ("definitions?" "def\\.") -2)
 	("proposition" ?P "prop:" "~\\ref{%s}" t
 	 ("propositions?" "prop\\.") -2)
-	("lemma" ?P "lem:" "~\\ref{%s}" t ("lemmas?" "lem\\.") -2)
+	("lemma" ?L "lem:" "~\\ref{%s}" t ("lemmas?" "lem\\.") -2)
 	("example" ?X "eg:" "~\\ref{%s}" t ("examples?") -2)
 	("exercise" ?E "ex:" "~\\ref{%s}" t ("exercises?" "ex\\.") -2)
 	("enumerate" ?i "i:" "~\\ref{%s}" item ("items?"))))