remove additional vertical pipe

2020-05-03 17:03:14 +02:00
parent 4ac2dfcd1f
commit 82dc897168
2 changed files with 1 additions and 1 deletions
@@ -140,4 +140,4 @@
 \let\cleardoublepage=\clearpage

 %josua
-\newcommand{\norm}[1]{\left\Vert#1\right|\Vert}
+\newcommand{\norm}[1]{\left\Vert#1\right\Vert}