/print/tex-xcomment/