TeX source:
K=0.5