Das Zeichen || Der Ausdruck einer allgemeinen Regel ist auch ein Zeichen das in einem Kalkül gebraucht werden muß (nur anders als andere Zeichen).