The equality function? Actually Knuth advocated a notation that went something like [x=y] for the Kronecker delta of x and y, with the obvious generalization to

The equality function? Actually Knuth advocated a notation that went something like [x=y] for the Kronecker delta of x and y, with the obvious generalization to other conditionals.