Mathematics setup with inequality: A is different from B, with the corresponding denotion on the blackboard.