LaTeX : \ left \ {x \ : | \ : x \ : \ in \ : \ mathbb{Z} \ : \ wedge \ : x \ : es \ : un \ : numero \ : positivo \ : menor \ : que \ : 5 \ right \ } \ : = \ : \ left \ {0, \ : 1, \ : 2, \ : 3, \ : 4 \?
LaTeX : \ left \ {x \ : | \ : x \ : \ in \ : \ mathbb{Z} \ : \ wedge \ : x \ : es \ : un \ : numero \ : positivo \ : menor \ : que \ : 5 \ right \ } \ : = \ : \ left \ {0, \ : 1, \ : 2, \ : 3, \ : 4 \ right \ } verdadero falso.