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