Ich meine mich erinnern zu können, dass wir bei Prof. Jantzen die Implikation mit einem einfachen Pfeil (->) notieren sollen. Da auf den Aufgabenzetteln jedoch immer ein Doppelpfeil (=>) verwendet wird, bin ich mir gerade etwas unsicher.