added <-> and ~
authorpaulson
Tue, 28 May 2002 11:06:55 +0200
changeset 13184 197e5a88c9df
parent 13183 c7290200b3f4
child 13185 da61bfa0a391
added <-> and ~
lib/scripts/unsymbolize.pl
--- a/lib/scripts/unsymbolize.pl	Tue May 28 11:06:06 2002 +0200
+++ b/lib/scripts/unsymbolize.pl	Tue May 28 11:06:55 2002 +0200
@@ -28,9 +28,11 @@
     s/\\?\\<lparr> ?/(| /g;
     s/\\?\\ ?<rparr>/ |)/g;
     # HOL
+    s/\\?\\<longleftrightarrow>/<->/g;
     s/\\?\\<longrightarrow>/-->/g;
     s/\\?\\<midarrow>\\?\\<rightarrow>/-->/g;
     s/\\?\\<rightarrow>/->/g;
+    s/\\?\\<not>/~/g;
     s/\\?\\<epsilon> ?/SOME /g;
     # outer syntax
     s/\\?\\<rightleftharpoons>/==/g;