From f0ca1ae7894235fb54127d5fb1b1a2a0bbb56e8a Mon Sep 17 00:00:00 2001
From: fritter <frederik.ritter@kit.edu>
Date: Wed, 18 Feb 2026 16:41:49 +0100
Subject: [PATCH] added tikz overlay beamer styles and removed duplicate
 definition of coloneq (already defined (better) by mathtools package)

---
 preambles/macros.tex   | 1 -
 preambles/packages.tex | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/preambles/macros.tex b/preambles/macros.tex
index 5da64dd..a9071a8 100644
--- a/preambles/macros.tex
+++ b/preambles/macros.tex
@@ -125,7 +125,6 @@
 %%%        Math macros
 %%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\newcommand{\coloneq}{:=}
 \newcommand{\doubracket}[1]{\llbracket#1\rrbracket}
 \newcommand{\myspan}[1]{\ensuremath{\left\langle #1\right\rangle}}
 
diff --git a/preambles/packages.tex b/preambles/packages.tex
index d1f8042..9a2e436 100644
--- a/preambles/packages.tex
+++ b/preambles/packages.tex
@@ -61,7 +61,7 @@
 % TikZ and stuff
 \usepackage{tikz, pgfplots}
 \pgfplotsset{compat=newest}
-\usetikzlibrary{arrows,calc,fit,matrix,positioning,shapes,shadows,trees,mindmap,tikzmark,arrows.meta,angles,quotes,babel}
+\usetikzlibrary{arrows,calc,fit,matrix,positioning,shapes,shadows,trees,mindmap,tikzmark,arrows.meta,angles,quotes,babel,overlay-beamer-styles}
 \tikzstyle{every picture}+=[remember picture]
 \usetikzlibrary{arrows.meta, shapes.multipart, backgrounds, decorations.pathmorphing, patterns}
 \tikzset{>=latex}