Ist also x² ≠ ‒ 1 || x² ≠ ‒ a das Gegenstück zu einer Definition?
     In sofern, ja, als es eine Form verbietet. Aber ist dann die Schreibweise richtig?