It is sometimes called a halmos after the mathematician Paul Halmos, who first used it in mathematical context.
Ás veces chámase 'halmos' polo matemático Paul Halmos, que foi o primeiro que o usou nun contexto matemático.