ne p = non p stimmt nach unsrer Vereinbarung nur wenn p nicht die Form non p oder ne p hat. Also darf man die Gleichung auch nicht ohne Einschränkung anschreiben.