There is also ≠.
That works in the linux command line, and in this text field on linux:
ctrl-shift-u2260enter
Of course now you have to find the code. I've always had luck with wikipedia. Also I'm assuming my locale, etc etc works the same for everyone.http://fsymbols.com/keyboard/linux/unicode/
Similar methods available for windows and mac, I imagine.
Typing the more unusual characters has always been way easier on Macs. (Literally since Macs were invented.)
That used to be the case, but I find the Compose key in X is awesome: as others have noted, Compose / = → ≠ (and → is Compose - >)
Certainly longer than typing !=, but far easier than looking up hex values.
PROCEDURE & Init(id: LONGINT);
BEGIN
IF id # NofPhilo-1 THEN
first := id; second := (id+1)
ELSE
first := 0; second := NofPhilo-1
END
END Init;