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

s/^::://
t end

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{\\isom}/g
s/-\+~-\+>/\\xrightarrow{\\equiv}/g
s/-\+\/-*>/\\not\\rightarrow /g
s/-\+>/\\rightarrow /g
s/<-\+/\\leftarrow /g
s/<=>/\\leftrightarrow /g
s/<==>/\\Leftrightarrow /g
s/=>/\\rightarrow /g
s/ \/\\ /\\wedge /g
s/ \\\/ /\\vee /g
s/<=/\\leq /g
s/>=/\\geq /g
s/<\/=/\\not\\leq /g
s/>\/=/\\not\\geq /g
s/!=/\\neq /g
s/\/=/\\neq /g
s/(- /\\in /g
s/(=/\\subseteq /g
s/(\/=/\\subset /g
s/=)/\\supset /g
s/\/=)/\\supset /g
s/{}/\\emptyset /g
s/\\\\ /\\setminus /g
s/==/\\equiv /g
s/|=/\\models /g
s/|-/\\vdash /g
s/-|/\\dashv /g
# s/=|/\\Dashv /g  FIXME: \\Dashv does not exist
s/\\|\//\\nonfork /g
s/ (x) / \\otimes /g
s/ (+) / \\oplus /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\)|\(\s\|$\)/\1\\;|\\;\2/g

s/ö/\\"{o}/g
s/ô/\\^{o}/g
s/é/\\'{e}/g
s/è/\\`{e}/g
s/á/\\'{a}/g
s/à/\\`{a}/g

t startSuppressInitialNewline
: startSuppressInitialNewline
s/^##\s*\(.*\)/\\section*{\1}/
s/^#\s*\(.*\)/\\subsection*{\1}/
#s/^\s\+\w.*[^ ]:$/\\subparagraph{&}/
s/^\s*\*\*(\(\w\+\))/\\begin{enumerate}[(\1)]\\item/
s/^\s*\*\*\*)/\\begin{itemize}\\item/
s/^\s*\*e)\*/\\end{itemize}/
s/^\s*\*\*/\\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
s/.*//
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