Documentation for tex-labels.
