merged draft
authornipkow
Tue, 25 Jul 2017 11:22:03 +0200
changeset 69867 bfc159ba9b26
parent 69866 b9727bd69940 (current diff)
parent 69863 065adff78cf9 (diff)
child 69868 00f70c27c44b
merged
--- a/Slides/document/prelude.tex	Mon Jul 24 19:14:59 2017 +0200
+++ b/Slides/document/prelude.tex	Tue Jul 25 11:22:03 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}$}}