\lnot

Альтернативные имена, Бинарные отношения, $

Вперед, Назад, Индекс