From 67d3451a758210d23f35cac79f897e06abd44a96 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 10 Jan 2001 19:26:52 +0000
Subject: added \<wrong>;

---
 isa/x-symbol-isabelle.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el
index 8072a9b3..5d91f796 100644
--- a/isa/x-symbol-isabelle.el
+++ b/isa/x-symbol-isabelle.el
@@ -135,6 +135,7 @@ Return nil if `x-symbol-mode' or `x-symbol-subscripts' is nil.  Uses
     (bigsqunion "\\<Squnion>")
     (perpendicular "\\<bottom>")
     (dotequal "\\<doteq>")
+    (wrong "\\<wrong>")
     (equivalence "\\<equiv>")
     (notequal "\\<noteq>")
     (propersqsubset "\\<sqsubset>")
-- 
cgit v1.2.3