Documentation for tex-comment
