add ana8, one proof in ana7 and replace epsilon with varepsilon globally

2020-05-19 20:14:31 +02:00
parent 7035188af9
commit 04bdda2272
6 changed files with 307 additions and 1 deletions
@@ -150,3 +150,6 @@

 % contradiction
 \newcommand{\contr}{\text{\Large\lightning}}
+
+% people seem to prefer varepsilon over epsilon
+\renewcommand{\epsilon}{\varepsilon}