conjunto vacío
sí y sólo si
Unión
Existe
µ
Tal que
A implica B
Mayor que
Menor que
>
U
↔
mu
<
ø
Ǝ
|
→