\<euro> symbol;

use previously defined x-symbol-isabelle-user-table (or nil);
x-symbol-user-table achieves electric |- and |= symbols;

1 files changed, 9 insertions, 3 deletions

diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el
index c673bc0a..fb23a07d 100644
--- a/isa/x-symbol-isabelle.el
+++ b/isa/x-symbol-isabelle.el
@@ -325,10 +325,9 @@ Uses `x-symbol-isabelle-font-lock-scripts-regexp'."
     (lozenge "\\<lozenge>")
     (smllozenge "\\<struct>")
     (dotlessi "\\<index>")
+    (euro "\\<euro>")
     ))
 
-(defvar x-symbol-isabelle-user-table nil)
-
 (defun x-symbol-isabelle-prepare-table (table)
   (let*
       ((is-isar (eq proof-assistant-symbol 'isar))
@@ -341,10 +340,17 @@ Uses `x-symbol-isabelle-font-lock-scripts-regexp'."
 (defvar x-symbol-isabelle-table
   (x-symbol-isabelle-prepare-table
    (append
-    x-symbol-isabelle-user-table
+    (if (boundp 'x-symbol-isabelle-user-table) x-symbol-isabelle-user-table nil)
     x-symbol-isabelle-symbol-table
     x-symbol-isabelle-xsymbol-table)))
 
+(defvar x-symbol-user-table
+  (append
+   (if (boundp 'x-symbol-user-table) x-symbol-user-table nil)
+   '((bardash 180 (arrow) (direction east . perpendicular) nil (t "|-"))
+     (bardashdbl 182 (arrow) (direction east) nil (t "|=")))))
+
+
 ;;;===========================================================================
 ;;;  Internal
 ;;;===========================================================================