[exgrv]

Except it is not the equality operator, but a special case of an indicator function (c.f. comment by pash).