6

I'm trying to compile this .tex file from ArXiVe.org in WinEdt 9.0 but some tokens are underlined with a solid line and preceeded by a strange command

\relax command in WVP.aux:

\relax
\citation{AdaRosTrnLimitClosed}
\citation{AdaRosInjectivity}
\citation{AdaRosLocallyPresentable}
\citation{HedPulFullEmbeddings}
\@writefile{toc}{\contentsline {section}{\tocsection}  {1}{Introduction}}{1}}
\citation{KanHigherInfinite}
\newlabel{item:crit}{{1}{2}}
\newlabel{item:V-beta}{{2}{2}}
\newlabel{item:coherence}{{3}{2}}
\newlabel{thm:ord-woodin-implies-swvp}{{1.5}{2}}

NOT ALL are references, how do I get rid of from the underlining?

Actually I solved the missing references [?] by including the WVP.bbl to the end of WVP.tex as asked here.

enter image description here

  • 1
    That is all a perfectly normal aux file. – David Carlisle Jul 17 at 14:32
  • @DavidCarlisle I just wonder why some commands like "enumerate" are underlined in that WVP.tex file in WInEdt ?? How do I get rid of this underlining? – user2925716 Jul 17 at 15:17
  • I have no idea about winedt, sorry. But that is unrelated to the question about \relax (the site works best if you do not ask unrelated questions in the same posting) – David Carlisle Jul 17 at 15:19
  • 3
    In your screenshot winedt underlines the argument of label commands and some environments. That's quite normal. You can change the highlighting, but I see no reason why you would want this. – Ulrike Fischer Jul 17 at 15:22
14

\relax is a tex primitive command that is non expandable but is defined to do nothing at all, it is useful in several contexts as a delimiter of various sorts.

LaTeX always writes one to the start of the aux file for reasons that are not well documented (it does nothing useful) but probably because some file systems had problems with empty, zero length files so by writing \relax to the aux file LaTeX ensures that it is never empty.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.