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