# HG changeset patch # User Kenichi Handa # Date 1192861586 0 # Node ID 335df812816bbf140ed95b753fbc80dc67744a11 # Parent d1c59b5b7d91ca37885316ea2f0a1d53beffcf74 ("\\qed"): Add this rule. diff -r d1c59b5b7d91 -r 335df812816b leim/quail/latin-ltx.el --- a/leim/quail/latin-ltx.el Sat Oct 20 04:39:42 2007 +0000 +++ b/leim/quail/latin-ltx.el Sat Oct 20 06:26:26 2007 +0000 @@ -786,6 +786,7 @@ ("\\prod" ?∏) ("\\propto" ?∝) ("\\psi" ?ψ) + ("\\qed" ?∎) ("\\quad" ? ) ("\\rangle" ?〉) ("\\rbrace" ?})