Documentation for tex-comment