TeX in Computer Science