Fuente TeX:
\textrm{ext}(K)\neq\emptyset