1i\ % AUTOGENERATED FILE; you probably want to edit the .tex.in file, not this.\ \\documentclass[a4paper]{article}\ \\pagestyle{headings}\ \\usepackage{amssymb,amsmath,enumerate,amsthm,url}\ \\usepackage[all,cmtip]{xy}\ \\usepackage{graphicx}\ \\usepackage[numbers]{natbib}\ \\usepackage{bibentry}\ \\providecommand{\\Dashv}{\\mathrel{\\text{\\reflectbox{$\\vDash$}}}}\ \\providecommand{\\eqnref}[1]{(\\ref{e:#1})}\ \\providecommand{\\secref}[1]{\\S\\ref{s:#1}}\ \\bibliographystyle{alpha}\ \\theoremstyle{plain}\ \\newtheorem{theorem}{Theorem}[section]\ \\newtheorem{lemma}[theorem]{Lemma}\ \\newtheorem{proposition}[theorem]{Proposition}\ \\newtheorem{conjecture}[theorem]{Conjecture}\ \\newtheorem{fact}[theorem]{Fact}\ \\newtheorem*{fact*}{Fact}\ \\newtheorem{corollary}[theorem]{Corollary}\ \\newtheorem{claim}[theorem]{Claim}\ \\newtheorem*{claim*}{Claim}\ \\theoremstyle{definition}\ \\newtheorem{definition}[theorem]{Definition}\ \\newtheorem*{definition*}{Definition}\ \\newtheorem{notation}[theorem]{Notation}\ \\newtheorem*{notation*}{Notation}\ \\theoremstyle{remark}\ \\newtheorem{remark}[theorem]{Remark}\ \\newtheorem*{remark*}{Remark}\ \\newtheorem{example}[theorem]{Example}\ \\newtheorem*{example*}{Example}\ \\newtheorem{examples}[theorem]{Examples}\ \\newtheorem*{examples*}{Examples}\ \\newtheorem{note}[theorem]{Note}\ \\newtheorem*{note*}{Note}\ \\newtheorem{question}[theorem]{Question}\ \\newtheorem*{question*}{Question}\ \\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}}/ s/^!newfrak\s\+\(\w*\)\s*$/\\providecommand{\\\1}{\\mathfrak{\1}}/ t end #s/\(\^\|\~\)\(\\G\|G\|H\|T\|A\|B\|C\|D\|L\|M\|\\M\|\\|M\|\\monst\|N\|a\|b\|c\|d\|\\xi\|\\zeta\|+\|x\|y\|z\|\\theta\|\\ker\|\\pr\|\[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{\\sim}/g s/-\+==-\+>/\\xrightarrow{\\equiv}/g s/-\+\/-*>/\\not\\rightarrow /g s/<-\+>/\\leftrightarrow /g s/-\+>\^/\\xrightarrow/g s/-\+>/\\rightarrow /g s/<->/\\leftrightarrow /g s/<-\+/\\leftarrow /g s/<=\+>/\\Leftrightarrow /g s/=\+>/\\Rightarrow /g s/<==\+/\\Leftarrow /g s/<~/\\prec /g s/~>/\\succ /g s/~~/\\succ /g s/\/\/\\\\/\\bigwedge/g s/\\\\\/\//\\bigvee/g s/\(\s\|^\)\/\\\(\s\|$\)/\1\\wedge\2/g s/\(\s\|^\)\\\/\(\s\|$\)/\1\\vee\2/g s/<=/\\leq /g s/>=/\\geq /g s/<\/=/\\not\\leq /g s/>\/=/\\not\\geq /g s/!=/\\gneq /g s/(-\(\s\|$\)/\\in\1/g s/\(\s\|$\)-)/\1\\ni/g s/(\/-\(\s\|$\)/\\notin\1/g s/(=/\\subseteq /g s/(\/=/\\not\\subseteq /g s/(!=/\\subsetneq /g s/\(\s\|^\)=)\(\s\|$\)/\1\\supseteq\2/g s/\(\s\|^\)\/=)\(\s\|$\)/\1\\not\\supseteq\2/g s/\(\s\|^\)!=)\(\s\|$\)/\1\\supsetneq\2/g s/\(\s\|^\))=\(\s\|$\)/\1\\supseteq\2/g s/\(\s\|^\)\/)=\(\s\|$\)/\1\\not\\supseteq\2/g s/\(\s\|^\))!=\(\s\|$\)/\1\\supsetneq\2/g s/\(\s\|^\)<|\(\s\|$\)/\1\\triangleleft\2/g s/\(\s\|^\)|>\(\s\|$\)/\1\\triangleright\2/g s/\(\s\|^\)<|=\(\s\|$\)/\1\\trianglelefteq\2/g s/\(\s\|^\)=|>\(\s\|$\)/\1\\trianglerighteq\2/g s/|=/\\vDash /g s/|\/=/\\not\\Dashv /g s/!=/\\neq /g s/\/=/\\neq /g s/{}/\\emptyset /g s/\\\\\\/\\%%\\%%/g s/\\\\\(\s\|$\)/\\setminus\1/g s/\\%%\\%%/\\\\/g s/==/\\equiv /g s/~=/\\cong /g s/|-/\\vdash /g s/|\/-/\\not\\vdash /g s/-|/\\dashv /g s/=|/\\Dashv /g s/\\|\//\\ind /g s/\\+\//\\nind /g s/\(\s\|^\)(x)\(_\|\s\|$\)/\1\\otimes\2/g s/\(\s\|^\)(+)\(\s\|$\)/\1\\oplus\2/g s/\(\s\|^\)(X)_/\1\\bigotimes_/g s/\(\s\|^\)(+)_/\1\\bigoplus_/g s/ o / \\circ /g s/||/\\|/g #s/ || /\\;\\|\\;/g s/-\~-/-\$\\sim\$-/g s/\~\~/\\approx/g s/|_/\\negmedspace\\restriction_/g s/\.\.\./\\ldots /g s/\(i\.e\.\)\(\s\|$\)/\1\\ /g s/\(e\.g\.\)\(\s\|$\)/\1\\ /g s/\(c\.f\.\)\(\s\|$\)/\1\\ /g s/\(etc\.\)\(\s\|$\)/\1\\ /g s/\(resp\.\)\(\s\|$\)/\1\\ /g s/\\|{\(\s\|$\)/\\left\\lVert{/g s/\(\s\|^\)}\\|/}\\right\\rVert/g s/\([|(<]\){\(\s\|$\)/\\left\1{/g s/\(\s\|^\)}\([|)>]\)/}\\right\2/g #s/\(\s\)|\(\s\|$\)/\1\\;|\\;\2/g s/ö/\\"o/g s/ü/\\"u/g s/ä/\\"a/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 s/\(^\|\s\)_\([-a-zA-Z'][a-zA-Z][-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/\<\(\w\)\(\w*\)~{\([^}]*\)}/\1\2~\\ref{\L\1\E:\3}/g t startSuppressInitialNewline : startSuppressInitialNewline s/^###\*\s*\(.*\)/\\subsubsection*{\1}/ s/^###\s*\(.*\)/\\subsubsection{\1}/ s/^##\*\s*\(.*\)/\\subsection*{\1}/ s/^##\s*\(.*\)/\\subsection{\1}/ s/^#\*\s*\(.*\)/\\section*{\1}/ s/^#\s*\(.*\)/\\section{\1}/ #s/^\s\+\w.*[^ ]:$/\\subparagraph{&}/ s/^\(\s*\)\*\*\*(\([^)]*\))/\1\\begin{enumerate}[(\2)]\\item/ s/^\(\s*\)\*\*(\([1iIa]\))/\1\\begin{enumerate}[(\2)]\\item/ s/^\(\s*\)\*\*\*)/\1\\begin{itemize}\\item/ s/^\(\s*\)\*e)\*/\1\\end{itemize}/ s/^\(\s*\)\*\*\((\w*)\)\?/\1\\item/ s/^\(\s*\)\*ee\*/\1\\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 # formatting options - uncomment at most one of the branch lines below # (each uses the sed hold space, so they can't easily be combined) # (Note: no, sed is not really suitable for this kind of thing!) # preserveNewlines: follow the structure of the source plaintext document, # preserving newlines which follow punctuation. #b preserveNewlines # environmentStack: b environmentStack # if no formatting set, skip to end. b end :preserveNewlines 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 } b end :environmentStack /^\s*[A-Z]\w*\*\?\({.*}\|\[.*\]\)*:\(--\)\?$/ { H s/\(\w\)\(\w*\){\(.*\)}\(\(\[.*\]\)\?:.*\)/\1\2\4 \\label{\L\1\E:\3}/ s/:--/: \\mbox{}/ s/^\(\s*\)\(\w\+\*\?\)\(\(\[.*\]\|[^:]\)*\):\(.*\)/\1\\begin{\L\2\E}\3\5/ } /^\s*\.\s*$/ { g s/^.*\n\(\s*\)\(\w\+\*\?\)[^\n]*$/\1\\end{\L\2\E}/ x s/^\(.*\)\n\([^\n]*\)$/\1/ x } :end