semirectification operator