spiking boolean operator names