1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
|
#!@PERL@ -pi
s/\\penalty \\\@M \\ /\\verb\$~\$/g;
s/\\unhbox.*\\leftarrow.*\\ninit /\\get{/g;
s/\\unhbox.*\\rightarrow.*\\ninit /\\send{/g;
s/\\unhbox.*\\leftarrow.*\\pit /\\get{/g;
s/\\unhbox.*\\rightarrow.*\\pit /\\send{/g;
s/\\unhbox.*\\rightarrow.*\\it +/\\send{/g;
s/\\unhbox.*\\leftarrow.*\\it +/\\get{/g;
s/\\unhbox.*\\leftarrow.*\\ninbf /\\get{/g;
s/\\unhbox.*\\rightarrow.*\\ninbf /\\send{/g;
s/\\unhbox.*\\leftarrow.*\\pbf /\\get{/g;
s/\\unhbox.*\\rightarrow.*\\pbf /\\send{/g;
s/\\unhbox.*\\rightarrow.*\\bf +/\\send{/g;
s/\\unhbox.*\\leftarrow.*\\bf +/\\get{/g;
s/\\unhbox.*\\rightarrow.*\\tt +/\\send{/g;
s/\\unhbox.*\\leftarrow.*\\tt +/\\get{/g;
s/\\unhbox[^}]*\\hrule[^}]*}/_/g;
s/\\relax +\\_/\\_/g;
s/{\\accent "7E \/}/~/g;
s/(\[\d+),(\d+\])/\1\{,\}\2/g;
s/\\_/_/g;
|