Źródło TeX:
\operatorname{Prec}(k)