Ist nicht eine Ungleichung eine völlig verständliche Zeichenregel, wie eine Gleichunchung? Die eine erlaubt eine Ersetzung, die andere verbietet eine Ersetzung.
      V( ) = V2( ), V( ) ≠ V3( )