Programming in TeX notes