Źródło TeX:
\mathcal{K}(a_i)\npreceq \mathcal{K}(a_j)