1local $dropping = 0; 2 3while (<>) 4{ 5 if (m/\(\* remove output end \*\)/) { 6 $dropping = 0; 7 next; 8 } 9 next if $dropping; 10 if (m/\(\* remove output begin \*\)/) { 11 s/\(\* remove output begin \*\)/ .../; 12 $dropping = 1; 13 } 14 s/ 15//g; 16 s/\\/\\bs{}/g; 17 s/���/\\(\\forall\\)/g; 18 s/���/\\(\\exists\\)/g; 19 s/���/\\(\\iff\\)/g; 20 s/���/\\(\\Rightarrow\\)/g; 21 s/��/\\(\\neg\\)/g; 22 s/���/\\(\\land\\)/g; 23 s/���/\\(\\lor\\)/g; 24 s/���/\\(\\le\\)/g; 25 s/^# / /g; 26 s/^> *$//g; 27 print; 28} 29