diff options
Diffstat (limited to 'main.tex')
| -rw-r--r-- | main.tex | 1 | 
1 files changed, 1 insertions, 0 deletions
| @@ -87,6 +87,7 @@  \newcommand{\epicTo}{\twoheadrightarrow}  \renewcommand{\mapsto}{\rightsquigarrow}  \renewcommand{\Im}{\error{You probably meant \backslash{}Im}} +\newcommand{\dual}[1]{#1^{\text{op}}}  \begin{document}  \begin{titlepage} | 
