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