equal
deleted
inserted
replaced
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; |