Ich vermute (ax, ay) ist hier die Definition eines Punktes. Es gilt also Aussage B wenn der Punkt A = (ax, ay) ungleich dem Ursprung ist. Wenn der Punkt A jedoch der Ursprung ist, dann gilt Aussage A.
<> wird oft als ungleich benutzt, wenn das Ungleichheitszeichen nicht so verfügbar ist.