Remove junk

1 files changed, 0 insertions, 7 deletions

diff --git a/lib/unicode-tokens.el b/lib/unicode-tokens.el
index 2bc7f85f..abf4cc86 100644
--- a/lib/unicode-tokens.el
+++ b/lib/unicode-tokens.el
@@ -155,13 +155,6 @@ Also used as a flag to detect if `unicode-tokens-initialise' has been called.")
 ;;; Code:
 ;;
 
-(defface mathsym
-  '((t (:slant italic)))
-  "Face used for text that is an excerpt from another document.
-This is used in Enriched mode for text explicitly marked as an excerpt."
-  :group 'proofgeneral)
-
-
 (defun unicode-tokens-insert-char (arg codepoint)
   "Insert the Unicode character identified by CODEPOINT.
 If ARG is non-nil, ignore available glyphs."