added the '<>' operator