TeX source:
2s= -4r-t+12