From ddd0ae46277ea835985e1dc63ebe9ee3b6007f34 Mon Sep 17 00:00:00 2001
From: Torsten Schaub <torsten@cs.uni-potsdam.de>
Date: Wed, 18 Feb 2026 12:23:17 +0100
Subject: [PATCH] patch next -> mynext

---
 dtel.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/dtel.tex b/dtel.tex
index b3b59b5..e4732ad 100644
--- a/dtel.tex
+++ b/dtel.tex
@@ -4,10 +4,10 @@
 
 \IfFileExists{outline.tex}{\input{outline}}{}
 
-\providecommand{\next}{}
-\renewcommand{\next}{\text{\rm \raisebox{-.5pt}{\Large\textopenbullet}}}  % {{\ensuremath{\circ}}}
+
+\newcommand{\mynext}{\text{\rm \raisebox{-.5pt}{\Large\textopenbullet}}}  % {{\ensuremath{\circ}}}
 \newcommand{\previous}{\text{\rm \raisebox{-.5pt}{\Large\textbullet}}}  % {{\ensuremath{\bullet}}}
-\newcommand{\wnext}{\ensuremath{\widehat{\next}}}
+\newcommand{\wnext}{\ensuremath{\widehat{\mynext}}}
 \newcommand{\wprevious}{\ensuremath{\widehat{\previous}}}
 \newcommand{\alwaysF}{\ensuremath{\square}}
 \newcommand{\alwaysP}{\ensuremath{\blacksquare}}