s/≥/>=/g
s/≠/!=/g
s/Σ/(Sum)/g
s/≥/>=/g
s/≠/!=/g
s/Σ/(Sum)/g
s/π/pi/g
s/∞/(inf)/g
s/ƒ/fl./g
s/π/pi/g
s/∞/(inf)/g
s/ƒ/fl./g
s/⎯/-/g
s/↑/(uparrow)/g
s/↓/(downarrow)/g
s/⎯/-/g
s/↑/(uparrow)/g
s/↓/(downarrow)/g
s/‘/'\''/g
s/’/'\''/g
# pdftotext layout fixes
s/‘/'\''/g
s/’/'\''/g
# pdftotext layout fixes
+/^$/ {
+ nl=nl "\n"
+ next
+}
/^\(newpage\)/ {
n=split(last,a)
if(side)
/^\(newpage\)/ {
n=split(last,a)
if(side)