Documentation for tex-semaphor
