From d8946650ffd312bbb4d08bfb2d1530bae9c4c0dd Mon Sep 17 00:00:00 2001
From: flavis <christian@flavigny.de>
Date: Wed, 6 May 2020 18:35:52 +0200
Subject: [PATCH] add contradiction symbol

---
 lecture.cls | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lecture.cls b/lecture.cls
index 338f7b6..b486913 100644
--- a/lecture.cls
+++ b/lecture.cls
@@ -23,6 +23,7 @@
 \RequirePackage{totcount}
 \RequirePackage[hidelinks, unicode]{hyperref} %[unicode, hidelinks]{hyperref}
 \RequirePackage{bookmark}
+\RequirePackage{wasysym}
 
 \usetikzlibrary{quotes, angles}
 
@@ -142,3 +143,6 @@
 
 %josua
 \newcommand{\norm}[1]{\left\Vert#1\right\Vert}
+
+% contradiction
+\newcommand{\contr}{\text{\Large\lightning}}