Полный англо-русский словарь
Стрелка [функция] Пирса; , функция НЕ — ИЛИ; функция отрицания дизъюнкции