[pilgrim689]

I think he's using a logical implication notation "|=". as in: A => B logically implies that: ~B => ~A

He just decided to use "/=" rather than "|="...so it looks weird...

[MattyDub]

Ah, I'd read that as "does not equal", rather than "implies". Thanks pilgrim689.