diff options
| -rw-r--r-- | lib/unicode-tokens.el | 7 |
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." |