. draft
authornipkow
Tue, 25 Jul 2017 11:21:51 +0200
changeset 69863 065adff78cf9
parent 69862 eda5561bc8fb
child 69867 bfc159ba9b26
.
Slides/document/prelude.tex
--- a/Slides/document/prelude.tex	Mon Jul 24 16:42:29 2017 +0200
+++ b/Slides/document/prelude.tex	Tue Jul 25 11:21:51 2017 +0200
@@ -33,7 +33,6 @@
 
 \renewcommand{\isacharbackquoteopen}{\isacharbackquote}
 \renewcommand{\isacharbackquoteclose}{\isacharbackquote}
-\renewcommand{\isasymnabla}{\raisebox{2pt}{\isamath{\normalbigtriangledown}}}
 
 \let\isacharprimeR=\isacharprime
 \newcommand{\isactrlisubprime}[1]{{$\sb{#1}\sp{\mskip3mu\prime}$}}