1i\
% AUTOGENERATED FILE; you probably want to edit the .tex.in file, not this.\
\\input{preamble-article}\
\\usepackage[margin=0.5in,hmargin=4cm]{geometry}\
\\pagestyle{headings}\
\\usepackage{amssymb,amsmath,hyperref,enumerate}\
\\usepackage{mt}\
\\usepackage{parskip}\
\\usepackage[all,cmtip]{xy}\
\\parindent=0pt\
\\renewcommand{\\defn}{\\underline}\
\\renewcommand{\\qed}{\\hfill\\ensuremath{\\Box}}\
\\begin{document}
$a\
\\end{document}

s/^::://
s/^>.*/\\small{\\begin{verbatim}&\\end{verbatim}}/
s/^!newop\s\+\(\w*\)\s*$/\\providecommand{\\\1}{\\operatorname{\1}}/
s/^!newbb\s\+\(\w*\)\s*$/\\providecommand{\\\1}{\\mathbb{\1}}/
s/^!newcal\s\+\(\w*\)\s*$/\\providecommand{\\\1}{\\mathcal{\1}}/
t end

s/\(\^\|\~\)\(\\phi\|\\psi\|\\G\|U\|V\|G\|H\|T\|A\|B\|C\|D\|M\|\\|M\|N\|a\|b\|c\|d\|f\|g\|h\|+\|x\|y\|z\|s\|\\Gamma\|\\zeta\|\\pi\|\\theta\|\\ker\|\[n\]\|\\Delta\|\\D\|\\Lambda\|\\L\)/\\\1{\2}/g
s/\(\~\)\(m\|n\)/\\\1{\2}/g
s/\\\^{/\\widehat{/g
s/\\\~{/\\widetilde{/g

s/\\"\([a-zA-Z]\+\)/\\operatorname{\1}/g
s/\\|\([a-zA-Z]\+\)/\\mathbb{\1}/g
s/-\+>>/\\twoheadrightarrow /g
s/|-\+>/\\mapsto /g
s/(-\+>/\\ensuremath{\\lhook\\joinrel\\relbar\\joinrel\\rightarrow}/g
s/-\+~=-\+>/\\xrightarrow{\\cong}/g
s/-\+~-\+>/\\xrightarrow{\\equiv}/g
s/-\+\/-*>/\\not\\rightarrow /g
s/<-\+>/\\leftrightarrow /g
s/-\+>/\\rightarrow /g
s/<=>/\\leftrightarrow /g
s/<==>/\\Leftrightarrow /g
s/==>/\\Rightarrow /g
s/<==/\\Leftarrow /g
s/ \/\\ /\\wedge /g
s/ \\\/ /\\vee /g
s/<=/\\leq /g
s/>=/\\geq /g
s/<\/=/\\not\\leq /g
s/>\/=/\\not\\geq /g
s/(- /\\in /g
s/(=/\\subseteq /g
s/(\/=/\\subsetneq /g
s/=)/\\supseteq /g
s/\/=)/\\supsetneq /g
s/!=/\\neq /g
s/\/=/\\neq /g
s/{}/\\emptyset /g
s/\\\\ /\\setminus /g
s/==/\\equiv /g
s/~=/\\cong /g
s/|=/\\models /g
s/|-/\\vdash /g
s/-|/\\dashv /g
# s/=|/\\Dashv /g  FIXME: \\Dashv does not exist
s/\\|\//\\ind /g
s/\\+\//\\nind /g
s/ (x) / \\otimes /g
s/ (+) / \\oplus /g
s/ o / \\circ /g
s/||/\\|/g
#s/ || /\\;\\|\\;/g
s/-\~-/-\$\\sim\$-/g
s/\~\~/\\approx/g
s/\(^\|\s\)_\([a-zA-Z' ]\+\)_/\1\\underline{\2}/g
s/\(^\|\s\)#\([a-zA-Z' ]\+\)#/\1{\\bf \2}/g
s/\(^\|\s\)\/\([a-zA-Z' ]\+\)\//\1{\\em \2}/g
s/^\(\s*\)\(\/\/ .*\)/\1{\\em \2}/

s/\([|(<]\){\s/\\left\1{/g
s/\s}\([|)>]\)/}\\right\1/g

s/\(\s\)|\(\s\|$\)/\1\\;|\\;\2/g

s/ö/\\"{o}/g
s/ô/\\^{o}/g
s/é/\\'{e}/g
s/è/\\`{e}/g
s/á/\\'{a}/g
s/à/\\`{a}/g
s/í/\\'{i}/g
s/ì/\\`{i}/g
s/Ł/\\L{}/g

t startSuppressInitialNewline
: startSuppressInitialNewline
s/^###\s*\(.*\)/\\section{\1}/
s/^##\s*\(.*\)/\\section*{\1}/
s/^#\s*\(.*\)/\\subsection*{\1}/
#s/^\s\+\w.*[^ ]:$/\\subparagraph{&}/
s/^\s*\*\*(\([1iIa]\))/\\begin{enumerate}[(\1)]\\item/
s/^\s*\*\*\*)/\\begin{itemize}\\item/
s/^\s*\*e)\*/\\end{itemize}/
s/^\s*\*\*\((\w*)\)\?/\\item/
s/^\s*\*ee\*/\\end{enumerate}/
s/\*\\\[a\*/\\begin{align*}/
s/\*a\\\]\*/\\end{align*}/
s/\*\\\[fa\*/\\begin{flalign*}/
s/\*fa\\\]\*/\\end{flalign*}/
s/\*\\\[ad\*/\\begin{equation*}\\begin{aligned}/
s/\*ad\\\]\*/\\end{aligned}\\end{equation*}/
#s/(/\\left(/g
#s/\\\\left(/(/g
#s/\[\\left(/\[(/g
#s/)/\\right)/g
#s/\\\\right)/)/g
#s/\\right)\]/)\]/g

s/^\s*$//
s/\(^\|^\\\\\)\w.*[^ ]:$/&/
s/^\s*:\(   \|\t\)/&/ 
t clearHold

:prependInitialNewline
H
x
s/\n//g

:clearHold
h
s/.*//
x

:checkHoldNewline
/\(^\|^\\\\\)\w.*[^ ]:$/ {
    s/\(^\|\\\\\)\(\w.*[^ ]:\)$/\1\\paragraph{\2}/
    h
    s/.*/\\mbox{}\\\\/
    x
    b
}
/^\s*:\(   \|\t\)/ {
    s/^\s*:\(   \|\t\)\s\+/\\mbox{}\\\\ \\mbox{\\hspace{4em}}/
    s/^\s*:\(   \|\t\)/\\mbox{}\\\\ \\mbox{\\hspace{2em}}/
    h
    s/.*/\\\\/
    x
    b
}
/\([.,;:?!]\|\\qed\)$/ {
    h
    s/.*/\\\\/
    x
    b
}
:end