Source TeX:
(K>0)