diff options
| author | Juan Marin Noguera <juan@mnpi.eu> | 2023-04-15 19:18:05 +0200 |
|---|---|---|
| committer | Juan Marin Noguera <juan@mnpi.eu> | 2023-04-15 19:18:05 +0200 |
| commit | 73541c5fb7a7cf25eadbea595bc89fe2b0b6a196 (patch) | |
| tree | 1694fa82f7e803760c66826392f24789efca49c7 /main.tex | |
| parent | 82f36bbdb26d1ee48f21ff4761b79b5fd9f00742 (diff) | |
Tema 1 (salvo ejemplos de límites)
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} |
