TeX source:
-(k-2)>-k-20