diff options
Diffstat (limited to 'lego/x-symbol-lego.el')
-rw-r--r-- | lego/x-symbol-lego.el | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lego/x-symbol-lego.el b/lego/x-symbol-lego.el index 1eb11f91..bcc25a50 100644 --- a/lego/x-symbol-lego.el +++ b/lego/x-symbol-lego.el @@ -1,3 +1,10 @@ +;; x-symbol-coq.el +;; +;; David Aspinall, adapted from file supplied by David von Obheimb +;; +;; $Id$ +;; + (defvar x-symbol-lego-symbol-table '((longarrowright () "->" "\\<longrightarrow>") (logicaland () "/\\" "\\<and>") |