Top two items are popped from the stack and 'Not Equal' comparison is performed. 0 or 1 is pushed back to the stack where 0 indicates false and 1 indicates true.

See programming note for comparing unlike types

#Prints out 0 (False) to the tracelog
7 7 neq Trace

#Prints out 1 (True) to the tracelog
1 2 neq Trace