added condition to signature; added shortcut \arrow and \implies; changed heading and header

documents/protokoll/myStyle.sty

@@ -0,0 +1,2 @@
+\newcommand{\arrow}{$\rightarrow$}
+\renewcommand{\implies}{$\Rightarrow$}