Fuente TeX:

K\subseteq\overline{\textrm{conv}(\textrm{ext}(K))}^\tau