Источник TeX:
AB\neq AC