TeX source:
(j = j -1)