Fuente TeX:

\scriptstyle{| Le(\alpha) | = Cant(\alpha) \Rightarrow (\bar{\exists} v \text{ : val.} )(v(\alpha) = 0)}