spec.tex