2 ms·"equality operator"by mrob 11y ago"equality operator"exgrv 11y agoExcept it is not the equality operator, but a special case of an indicator function (c.f. comment by pash).