lib/scripts/unsymbolize.pl
changeset 13184 197e5a88c9df
parent 10639 f902346264e9
child 14981 e73f8140af78
equal deleted inserted replaced
13183:c7290200b3f4 13184:197e5a88c9df
    26     s/\\?\\<lbrakk> ?/[| /g;
    26     s/\\?\\<lbrakk> ?/[| /g;
    27     s/\\?\\ ?<rbrakk>/ |]/g;
    27     s/\\?\\ ?<rbrakk>/ |]/g;
    28     s/\\?\\<lparr> ?/(| /g;
    28     s/\\?\\<lparr> ?/(| /g;
    29     s/\\?\\ ?<rparr>/ |)/g;
    29     s/\\?\\ ?<rparr>/ |)/g;
    30     # HOL
    30     # HOL
       
    31     s/\\?\\<longleftrightarrow>/<->/g;
    31     s/\\?\\<longrightarrow>/-->/g;
    32     s/\\?\\<longrightarrow>/-->/g;
    32     s/\\?\\<midarrow>\\?\\<rightarrow>/-->/g;
    33     s/\\?\\<midarrow>\\?\\<rightarrow>/-->/g;
    33     s/\\?\\<rightarrow>/->/g;
    34     s/\\?\\<rightarrow>/->/g;
       
    35     s/\\?\\<not>/~/g;
    34     s/\\?\\<epsilon> ?/SOME /g;
    36     s/\\?\\<epsilon> ?/SOME /g;
    35     # outer syntax
    37     # outer syntax
    36     s/\\?\\<rightleftharpoons>/==/g;
    38     s/\\?\\<rightleftharpoons>/==/g;
    37     s/\\?\\<rightharpoonup>/=>/g;
    39     s/\\?\\<rightharpoonup>/=>/g;
    38     s/\\?\\<leftharpoondown>/<=/g;
    40     s/\\?\\<leftharpoondown>/<=/g;