Как представить отрицание в БНФ?

Поддерживает ли BNF или ABNF отрицание. То есть исключить определенных членов множества? Я не видел такого оператора отрицания в его синтаксисе.

Например, предположим, что S— это набор всех буквенно-цифровых строк, которые не равны до "foo". Что такое BNF для S?