sed '1i\ \%begin macros\ \\parskip=8pt\ \\magnification=\\magstephalf\ \\parindent=0pt\ \\overfullrule=0in\ \%end macros\ \\rm' $1| sed 's/\&/\\&/g'| sed 's/_/\\_/g'| sed '/^\.EN/a\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ ' | sed '/\.EQ/{ N s/\n/ /g }'| sed '/\.EQ/{ N s/\n/ /g }'| sed '/\.EQ/{ N s/\n/ /g }'| sed '/\.EQ/{ N s/\n/ /g }'| sed '/\.EQ/{ N s/\n/ /g }'| sed '/\.EQ/{ N s/\n/ /g }'| sed '/\.EQ/{ N s/\n/ /g }'| sed '/\.EQ/{ N s/\n/ /g }'| sed '/\.EQ/{ N s/\n/ /g }'| sed '/\.EQ/{ N s/\n/ /g }'| sed '/\.EQ/{ N s/\n/ /g }'| sed '/\.EQ/{ N s/\n/ /g }'| sed 's/\^//g'| #partial sed '/\.EQ/s/partial/\\partial/g'| sed '/\$/s/\$\(.*\)partial\(.*\)\$/\$\1\\partial\2\$/g'| sed '/\.EQ/s/bold \([^ ]\)/{\\bf \1}/g'| sed '/\$/s/bold//g'| #takes care of sub sed '/\.EQ/s/\([^ .]\) *sub \([^ ]\) *sup \([^ ]\) /\1_\2^\3/g'| sed '/\$/s/\([^ .]\) *sub \([^ ]\) *sup \([^ ]\) /\1_\2^\3/g'| sed '/\.EQ/s/\([^ {}]\) *sub *\([^ {}]\) *sub *\([^ {}]\)/\1_{\2_\3}/g'| sed '/\$/s/\([^ {}\$]\) *sub *\([^ {}\$]\) *sub *\([^ {}\$]\)/\1_{\2_\3}/g'| sed '/\.EQ/s/\([^ .]\) *sub \([^ {}$.][^ {}$.][^ {}$.]*\)/\1_{\2}/g' | sed '/\$/s/\([^ .]\) *sub \([^ {}$.][^ {}$.][^ {}$.]*\)/\1_{\2}/g' | sed '/\.EQ/s/\([^ .]\) *sub \([^ ]\)/\1_\2/g'| sed '/\$/s/\([^ .]\) *sub \([^ ]\)/\1_\2/g'| #takes care of sup sed '/\.EQ/s/\([^ .]\) *sup *\([^ {}$]\.\) *sup *\([^ {}$]\.\)/\1^{\2^\3}/g'| sed '/\$/s/\([^ .]\) *sup *\([^ {}$]\.\) *sup *\([^ {}$]\.\)/\1^{\2^\3}/g'| sed '/\.EQ/s/\([^ .]\) *sup \([^ {}$.][^ {}$.][^ {}$.]*\)/\1^{\2}/g' | sed '/\$/s/\([^ .]\) *sup \([^ {}$.][^ {}$.][^ {}$.]*\)/\1^{\2}/g' | sed '/\.EQ/s/\([^ .]\) *sup \([^ ]\)/\1^\2/g'| sed '/\$/s/\([^ .]\) *sup \([^ ]\)/\1^\2/g'| sed '/\.EQ/s/cpile/lpile/g'| sed '/\.EQ/s/rpile/lpile/g'| sed 's/\\left//g'| sed 's/\\right//g'| sed '/\.EQ/s/lpile//g'| sed '/\.EQ/s/above/\\atop/g'| #sed 's/e\\\*\'/\\\'e/g'| # Simple stuff sed '/^ *$/d'| sed 's/^\.SP.*$/\\par/'| sed 's/^\.LP.*$/\\par/' | sed 's/^\.br.*$/\\par/' | sed 's/^\.P.*$/\\par/' | sed '/^delim.*$/d' | sed 's/^\.nr Pi .*$//' | sed 's/^\.nr Pt .*$//' | sed 's/\\fB\(.*\)\\fR/{\\bf \1}/g' | sed 's/\\fB\(.*\)\\fP/{\\bf \1}/g' | sed 's/\\fI\(.*\)\\fR/{\\it \1}/g' | sed 's/\\fI\(.*\)\\fP/{\\it \1}/g' | sed 's/\\fI/\\it \ /'| sed 's/\\fR/\\rm \ /g'| sed 's/\\fB/\\bf \ /g'| sed 's/^\.FS\(.*\)$/\\footnote{\1}{/'| sed 's/^\.FE$/}/'| sed 's/^\.I$/\\it/g'| sed 's/^\.SK.*$/\\medskip/'| sed 's/^\.R$/\\rm/'| sed 's/^\.DS[ ]*$/\\par/' | sed 's/^\.DE[ ]*$/\\par/' | sed '/^\.H/i\ \\par '| sed 's/^\.H [1-9] \"\(.*\)\".*$/\ \ {\\bf \1}\ /' | sed '/\.EQ/s/~//g'| sed '/\$/s/~//g'| sed '/\.EQ/s/left//g'| sed '/\.EQ/s/right//g'| sed '/\.EQ/s/\([^ $]*\) *bar/\\bar{\1}/g'| sed '/\$/s/\([^ $]*\) *bar/\\bar{\1}/g'| sed '/\.EQ/s/\([^ $]*\) *tilde/\\tilde{\1}/g'| sed '/\$/s/\([^ $]*\) *tilde/\\tilde{\1}/g'| sed '/\.EQ/s/\([^ $]*\) *hat/\\hat{\1}/g'| sed '/\$/s/\$\(.*\)\([^ $]*\) *hat\(.*\)\$/\$\1\\hat{\2}\3/g'| sed '/\.EQ/s/!=/\\neq /g'| sed '/\$/s/!=/\\neq /g'| sed 's/^$//g'| sed 's/"{"/\\{/g'| sed 's/"}"/\\}/g'| sed 's/size +[0-9]//g'| sed '/\$\$/,/\$\$/s/^$//g'| #preliminary over sed '/\.EQ/s/\([^ ${}][^ ${}]*\) *over *\([^ ${}][^ ${}]*\)/{{\1}\\over {\2}}/g' | #takes care of int sed '/\.EQ/s/int *from *\([^ ${}][^ ${}]*\) *to *\([^ ${}][^ ${}]*\)/\\int_{\1}^{\2}/g'| sed '/\$/s/int *from *\([^ ${}][^ ${}]*\) *to *\([^ ${}][^ ${}]*\)/\\int_{\1}^{\2}/g'| sed '/\.EQ/s/int *from *{\([^{}][^{}]*\)} *to *\([^ ${}][^ ${}]*\)/\\int_{\1}^{\2}/g'| sed '/\$/s/int *from *{\([^{}][^{}]*\)} *to *\([^ ${}][^ ${}]*\)/\\int_{\1}^{\2}/g'| sed '/\.EQ/s/int *from *\([^ ${}][^ ${}]*\) *to *{\([^{}][^{}]*\)}/\\int_{\1}^{\2}/g'| sed '/\$/s/int *from *\([^ ${}][^ ${}]*\) *to *{\([^{}][^{}]*\)}/\\int_{\1}^{\2}/g'| sed '/\.EQ/s/int *from *{\([^{}][^{}]*\)} *to *{\([^${}][^${}]*\)}/\\int_{\1}^{\2}/g'| sed '/\$/s/int *from *{\([^{}][^{}]*\)} *to *{\([^${}][^${}]*\)}/\\int_{\1}^{\2}/g'| sed '/\.EQ/s/int *from *{\([^{}][^{}]*\)}/\\int_{\1}/g'| sed '/\$/s/int *from *{\([^{}][^{}]*\)}/\\int_{\1}/g'| sed '/\.EQ/s/int *from *\([^ {}][^ {}]*\)/\\int_{\1}/g'| sed '/\$/s/int *from *\([^ {}][^ {}]*\)/\\int_{\1}/g'| sed '/\.EQ/s/ int / \\int /g'| sed '/\.EQ/s/union/\\cup/g'| sed '/\.EQ/s/intersect/\\cap/g'| sed '/\$/s/ int / \\int /g'| sed '/\$/s/\$int /\$\\int /g'| #takes care of sum #nested braces sed '/\.EQ/s/sum *from *{\([^{}]*{[^{}]*}[^{}]*\)} *to *\([^ ${}][^ ${}]*\)/\\sum_{\1}^{\2}/g'| sed '/\.EQ/s/sum *from *{\([^{}]*{[^{}]*}[^{}]*\)}/\\sum_{\1}/g'| sed '/\$/s/sum *from *{\([^{}][^{}]*{[^{}][^{}]*}[^{}][^{}]*\)} *to *\([^ ${}][^ ${}]*\)/\\sum_{\1}^{\2}/g'| sed '/\.EQ/s/sum *from *\([^ ${}][^ ${}]*\) *to *\([^ ${}][^ ${}]*\)/\\sum_{\1}^{\2}/g'| sed '/\$/s/sum *from *\([^ ${}][^ ${}]*\) *to *\([^ ${}][^ ${}]*\)/\\sum_{\1}^{\2}/g'| sed '/\.EQ/s/sum *from *{\([^{}][^{}]*\)} *to *\([^ ${}][^ ${}]*\)/\\sum_{\1}^{\2}/g'| sed '/\$/s/sum *from *{\([^{}][^{}]*\)} *to *\([^ ${}][^ ${}]*\)/\\sum_{\1}^{\2}/g'| sed '/\.EQ/s/sum *from *\([^ ${}][^ ${}]*\) *to *{\([^{}][^{}]*\)}/\\sum_{\1}^{\2}/g'| sed '/\$/s/sum *from *\([^ ${}][^ ${}]*\) *to *{\([^{}][^{}]*\)}/\\sum_{\1}^{\2}/g'| sed '/\.EQ/s/sum *from *{\([^{}][^{}]*\)} *to *{\([^${}][^${}]*\)}/\\sum_{\1}^{\2}/g'| sed '/\$/s/sum *from *{\([^{}][^{}]*\)} *to *{\([^${}][^${}]*\)}/\\sum_{\1}^{\2}/g'| sed '/\.EQ/s/sum *from *{\([^{}][^{}]*\)}/\\sum_{\1}/g'| sed '/\$/s/sum *from *{\([^{}][^{}]*\)}/\\sum_{\1}/g'| sed '/\.EQ/s/sum *from *\([^ {}][^ {}]*\)/\\sum_{\1}/g'| sed '/\$/s/sum *from *\([^ {}][^ {}]*\)/\\sum_{\1}/g'| sed '/\.EQ/s/ sum / \\sum /g'| #takes care of prod sed '/\.EQ/s/prod *from *\([^ ${}][^ ${}]*\) *to *\([^ ${}][^ ${}]*\)/\\prod_{\1}^{\2}/g'| sed '/\$/s/prod *from *\([^ ${}][^ ${}]*\) *to *\([^ ${}][^ ${}]*\)/\\prod_{\1}^{\2}/g'| sed '/\.EQ/s/prod *from *{\([^{}][^\{\}]*\)} *to *\([^ ${}][^ ${}]*\)/\\prod_{\1}^{\2}/g'| sed '/\$/s/prod *from *{\([^{}][^{}]*\)} *to *\([^ ${}][^ ${}]*\)/\\prod_{\1}^{\2}/g'| sed '/\.EQ/s/prod *from *\([^ ${}][^ ${}]*\) *to *{\([^{}][^{}]*\)}/\\prod_{\1}^{\2}/g'| sed '/\$/s/prod *from *\([^ ${}][^ ${}]*\) *to *{\([^{}][^{}]*\)}/\\prod_{\1}^{\2}/g'| sed '/\.EQ/s/prod *from *{\([^{}][^{}]*\)} *to *{\([^${}][^${}]*\)}/\\prod_{\1}^{\2}/g'| sed '/\$/s/prod *from *{\([^{}][^{}]*\)} *to *{\([^${}][^${}]*\)}/\\prod_{\1}^{\2}/g'| sed '/\.EQ/s/prod *from *{\([^{}][^{}]*\)}/\\prod_{\1}/g'| sed '/\$/s/prod *from *{\([^{}][^{}]*\)}/\\prod_{\1}/g'| sed '/\.EQ/s/ prod / \\prod /g'| sed '/\$/s/ prod / \\prod /g'| sed '/\$/s/\$prod /\$\\prod /g'| #takes care of over sed '/\.EQ/s/\([^ ${}][^ ${}]*\) *over *\([^ ${}][^ ${}]*\)/{{\1}\\over {\2}}/g' | sed '/\$/s/\$\(.*\)\([^ ${}][^ ${}]*\) *over *\([^ ${}][^ ${}]*\)\(.*\)\$/\$\1{{\2} \over {\3}}\4\$/g'| sed '/\.EQ/s/{\([^{}][^{}]*\)} *over *\([^ ${}][^ ${}]*\)/{{\1}\\over{\2}}/g'| sed '/\$/s/{\([^{}][^{}]*\)} *over *\([^ ${}][^ ${}]*\)/{{\1}\\over{\2}}/g'| sed '/\.EQ/s/\([^ {}][^ {}]*\) *over *{\([^${}][^${}]*\)}/{{\1}\\over{\2}}/g'| sed '/\$/s/\([^ {}][^ {}]*\) *over *{\([^${}][^${}]*\)}/{{\1}\\over{\2}}/g'| sed '/\.EQ/s/{\([^{}][^{}]*\)} *over *{\([^${}][^${}]*\)}/{{\1}\\over{\2}}/g'| sed '/\$/s/{\([^{}][^{}]*\)} *over *{\([^${}][^${}]*\)}/{{\1}\\over{\2}}/g'| #complex over #0,0 sed '/\.EQ/s/\([^ {}][^ {}]*\) *over *\([^ {}][^ {}]*\)/{{\1}\\over{\2}}/g'| #{},0 sed '/\.EQ/s/{\([^{}]*\)} *over *\([^ {}][^ {}]*\)/{{\1}\\over{\2}}/g' | #0,{} sed '/\.EQ/s/\([^ {}][^ {}]*\) *over *{\([^{}]*\)}/{{\1}\\over{\2}}/g' | #{},{} sed '/\.EQ/s/{\([^{}]*\)} *over *{\([^{}]*\)}/{{\1}\\over{\2}}/g'| #{{}}.{} sed '/\.EQ/s/{\([^{}]*{[^{}]*}[^{}]*\)} *over *{\([^{}]*\)}/{{\1}\\over{\2}}/g'| #{},{{}} sed '/\.EQ/s/{\([^{}]*\)} *over *{\([^{}]*{[^{}]*}[^{}]*\)}/{{\1}\\over{\2}}/g' | #{{}},{{}} sed '/\.EQ/s/{\([^{}]*{[^{}]*}[^{}]*\)} *over *{\([^{}]*{[^{}]*}[^{}]*\)}/{{\1} \\over {\2}}/g' | #{{}{}},{{}} sed '/\.EQ/s/{\([^{}]*{[^{}]*}[^{}]*{[^{}]*}[^{}]*\)} *over *{\([^{}]*{[^{}]*}[^{}]*\)}/{{\1} \\over {\2}}/g' | #{{}},{{}{}} sed '/\.EQ/s/{\([^{}]*{[^{}]*}[^{}]*\)} *over *{\([^{}]*{[^{}]*}[^{}]*{[^{}]*}[^{}]*\)}/{{\1} \\over {\2}}/g' | #{{}{}},{{}{}} sed '/\.EQ/s/{\([^{}]*{[^{}]*}[^{}]*{[^{}]*}[^{}]*\)} *over *{\([^{}]*{[^{}]*}[^{}]*{[^{}]*}[^{}]*\)}/{{\1} \\over {\2}}/g' | #{},{{}{}} sed '/\.EQ/s/{\([^{}]*\)} *over *{\([^{}]*{[^{}]*}[^{}]*{[^{}]*}[^{}]*\)}/{{\1} \\over {\2}}/g' | #{{}{}},{} sed '/\.EQ/s/{\([^{}]*{[^{}]*}[^{}]*{[^{}]*}[^{}]*\)} *over *{\([^{}]*\)}/{{\1} \\over {\2}}/g'| #end of complex over #takes care of inf sed '/\.EQ/s/ inf / \\infty /g' | sed '/\$/s/ inf / \\infty /g' | sed '/\.EQ/s/inf\}/\\infty\}/g' | sed '/\$/s/inf\}/\\infty\}/g' | sed '/\.EQ/s/\{inf/\{\\infty/g' | sed '/\$/s/\{inf/\{\\infty/g' | sed '/\.EQ/s/inf\$/\\infty\$/g' | sed '/\$/s/inf\$/\\infty\$/g' | sed '/\.EQ/s/\$inf/\$\\infty/g' | sed '/\$/s/\$inf/\$\\infty/g' | sed '/\.EQ/s/ pi / \\pi /g' | sed '/\$/s/ pi / \\pi /g' | sed '/\.EQ/s/pi\}/\\pi\}/g' | sed '/\$/s/pi\}/\\pi\}/g' | sed '/\.EQ/s/\{pi/\{\\pi/g' | sed '/\$/s/\{pi/\{\\pi/g' | sed '/\.EQ/s/pi\$/\\pi\$/g' | sed '/\$/s/pi\$/\\pi\$/g' | sed '/\.EQ/s/\$pi/\$\\pi/g' | sed '/\$/s/\$pi/\$\\pi/g' | sed '/\.EQ/s/+-/\\pm/g' | sed '/\$/s/+-/\\pm/g' | sed '/\.EQ/s/ alpha / \\alpha /g' | sed '/\$/s/ alpha / \\alpha /g' | sed '/\.EQ/s/alpha\}/\\alpha\}/g' | sed '/\$/s/alpha\}/\\alpha\}/g' | sed '/\.EQ/s/\{alpha/\{\\alpha/g' | sed '/\$/s/\{alpha/\{\\alpha/g' | sed '/\.EQ/s/alpha\$/\\alpha\$/g' | sed '/\$/s/alpha\$/\\alpha\$/g' | sed '/\.EQ/s/\$alpha/\$\\alpha/g' | sed '/\$/s/\$alpha/\$\\alpha/g' | sed '/\.EQ/s/ beta / \\beta /g' | sed '/\$/s/ beta / \\beta /g' | sed '/\.EQ/s/beta\}/\\beta\}/g' | sed '/\$/s/beta\}/\\beta\}/g' | sed '/\.EQ/s/\{beta/\{\\beta/g' | sed '/\$/s/\{beta/\{\\beta/g' | sed '/\.EQ/s/beta\$/\\beta\$/g' | sed '/\$/s/beta\$/\\beta\$/g' | sed '/\.EQ/s/\$beta/\$\\beta/g' | sed '/\$/s/\$beta/\$\\beta/g' | sed '/\.EQ/s/ gamma / \\gamma /g' | sed '/\$/s/ gamma / \\gamma /g' | sed '/\.EQ/s/GAMMA/\\Gamma/g' | sed '/\$/s/GAMMA/\\Gamma/g' | sed '/\$/s/ gamma / \\gamma /g' | sed '/\.EQ/s/gamma\}/\\gamma\}/g' | sed '/\.EQ/s/ gamma / \\gamma /g' | sed '/\$/s/ gamma / \\gamma /g' | sed '/\$/s/gamma\}/\\gamma\}/g' | sed '/\.EQ/s/\{gamma/\{\\gamma/g' | sed '/\$/s/\{gamma/\{\\gamma/g' | sed '/\.EQ/s/gamma\$/\\gamma\$/g' | sed '/\$/s/gamma\$/\\gamma\$/g' | sed '/\.EQ/s/\$gamma/\$\\gamma/g' | sed '/\$/s/\$gamma/\$\\gamma/g' | sed '/\.EQ/s/DELTA/\\Delta/g' | sed '/\$/s/DELTA/\\Delta/g' | sed '/\.EQ/s/delta/\\delta/g' | sed '/\$/s/ delta / \\delta /g' | sed '/\.EQ/s/delta\}/\\delta\}/g' | sed '/\$/s/delta\}/\\delta\}/g' | sed '/\.EQ/s/\{delta/\{\\delta/g' | sed '/\$/s/\{delta/\{\\delta/g' | sed '/\.EQ/s/delta\$/\\delta\$/g' | sed '/\$/s/delta\$/\\delta\$/g' | sed '/\.EQ/s/\$delta/\$\\delta/g' | sed '/\$/s/\$delta/\$\\delta/g' | sed '/\.EQ/s/lambda/\\lambda/g' | sed '/\$/s/lambda/\\lambda/g' | sed '/\.EQ/s/Lambda/\\Lambda/g' | sed '/\$/s/Lambda/\\Lambda/g' | sed '/\.EQ/s/theta/\\theta/g' | sed '/\$/s/ theta / \\theta /g' | sed '/\.EQ/s/ rho / \\rho /g' | sed '/\.EQ/s/phi/\\phi/g' | sed '/\$/s/ phi / \\phi /g' | sed '/\.EQ/s/PHI/\\Phi/g' | sed '/\$/s/ PHI / \\Phi /g' | sed '/\$/s/ rho / \\rho /g' | sed '/\.EQ/s/rho\}/\\rho\}/g' | sed '/\$/s/rho\}/\\rho\}/g' | sed '/\.EQ/s/\{rho/\{\\rho/g' | sed '/\$/s/\{rho/\{\\rho/g' | sed '/\.EQ/s/rho\$/\\rho\$/g' | sed '/\$/s/rho\$/\\rho\$/g' | sed '/\.EQ/s/\$rho/\$\\rho/g' | sed '/\$/s/\$rho/\$\\rho/g' | sed '/\.EQ/s/ SIGMA / \\sum /g' | sed '/\$/s/ SIGMA / \\sum /g' | sed '/\.EQ/s/ sigma / \\sigma /g' | sed '/\$/s/ sigma / \\sigma /g' | sed '/\.EQ/s/sigma\}/\\sigma\}/g' | sed '/\$/s/sigma\}/\\sigma\}/g' | sed '/\.EQ/s/\{sigma/\{\\sigma/g' | sed '/\$/s/\{sigma/\{\\sigma/g' | sed '/\$/s/sigma\$/\\sigma\$/g' | sed '/\.EQ/s/\$sigma/\$\\sigma/g' | sed '/\$/s/\$sigma/\$\\sigma/g' | sed '/\.EQ/s/epsilon/ \\epsilon /g' | sed '/\$/s/epsilon/ \\epsilon /g' | sed '/\.EQ/s/ zeta / \\zeta /g' | sed '/\$/s/ zeta / \\zeta /g' | sed '/\.EQ/s/zeta\}/\\zeta\}/g' | sed '/\$/s/zeta\}/\\zeta\}/g' | sed '/\.EQ/s/\{zeta/\{\\zeta/g' | sed '/\$/s/\{zeta/\{\\zeta/g' | sed '/\.EQ/s/zeta\$/\\zeta\$/g' | sed '/\$/s/zeta\$/\\zeta\$/g' | sed '/\.EQ/s/\$zeta/\$\\zeta/g' | sed '/\$/s/\$zeta/\$\\zeta/g' | sed '/\.EQ/s/omega/\\omega/g' | sed '/\$/s/omega/\\omega/g' | sed '/\.EQ/s/OMEGA/\\Omega/g' | sed '/\$/s/OMEGA/\\Omega/g' | sed '/\.EQ/s/sqrt/\\sqrt/g'| sed '/\$/s/sqrt/\\sqrt/g'| sed '/\.EQ/s/\-\>/\\rightarrow/g'| sed '/\$/s/\-\>/\\rightarrow/g'| sed '/\.EQ/s/\<\-/\\leftarrow/g'| sed '/\$/s/\<\-/\\leftarrow/g'| sed '/\.EQ/s/cdot/\\cdot/g'| #geq sed '/\.EQ/s/>=/\\geq/g'| sed '/\.EQ/s/<=/\\leq/g'| sed '/\$/s/>=/\\geq/g'| sed '/\$/s/<=/\\leq/g'| # sed '/\.EQ/s/==/\\equiv/g'| sed '/\$/s/==/\\equiv/g'| sed '/\$/s/cdot/\\cdot/g'| sed '/\.EQ/s/times/\\times/g'| sed '/\$/s/\$\(.*\)times\(.*\)\$/\$\1\\times\2\$/g'| sed '/\.EQ/s/&/\\&/g'| sed '/\$/s/&/\\&/g'| sed '/\.EQ/s/{\([^{}][^{}]*\)} *over *{\([^{}][^{}]*\)}/{{\1}\\over{\2}}/g'| sed '/\.EQ/s/\( [^ {}][^ {}]*\) *over *{\([^{}][^{}]*\)}/{{\1}\\over{\2}}/g'| sed '/\.EQ/s/{\([^{}][^{}]*\)} *over *\([^ {}][^ {}]* \) /{{\1}\\over{\2}} /g'| sed '/\.EQ/{ N s/\.EQ(\([^ ][^ ]*\))\(.*\)\.EN/\$\$\ \2\ \\eqno(\1)\ \$\$/g }' | sed '/\.EQ/{ N s/\.EQ/\$\$\ /g }'| sed '/\.EN/{ N s/\.EN/\ \$\$\ /g }'| sed '/^ *$/d'| sed 's/\\par[ ]*$/\ /g'|sed '/^$/{ N /^\n$/D }'| sed '/delim \$\$/d'| sed 's/\#/\\\#/'| sed '/^\./d'| #sed 's/\\(sq/QED/'| sed 's/\\(sq//'| sed 's/___*/\"/'| sed 's/\<\(.*\)edu\>/\1edu/'| sed '$a\ \\end'