В алгебре логики знак "\" (слэш) обозначает операцию разности или вычитания.

Поэтому выражение (B \ C * B) можно интерпретировать следующим образом: вычитаем из множества B результат умножения множества C на множество B.