From the manual:
Note: The != operator is converted to <> in the parser stage. It is not possible to implement != and <> operators that do different things.
So no, there is no difference between the two.
From the manual:
Note: The != operator is converted to <> in the parser stage. It is not possible to implement != and <> operators that do different things.
So no, there is no difference between the two.