La construcción equivalente, utilizando el operador, es la siguiente :