Out of curiosity, is there a difference between != and <>? Just wondering.