Hi all, How can one write in small print something between lines, in an efficient manner? I have come up with the following: \define[1]\betweenlines{${\rlap{{\mbox{\darkgray{\infofont #1}}}\atop{}}\atop{}}$} in order to make visible certain informations just above a cited reference. But the use of \atop which a macro for mathmode, together with \mbos, doesn’t seem a wise idea. has any one a better idea how to obtain the same result? A minimal example of its use follows Best regards: OK %%%% begin write-between-lines.tex \define[1]\betweenlines{${\rlap{{\mbox{\darkgray{\infofont #1}}}\atop{}}\atop{}}$} \def\placeformularef[#1]{\doifmode{proofreading}% {\inrightmargin{\infofont #1}}% \placeformula[#1]} \definereferenceformat[Eqref][left=(,right=)] \def\eqref[#1]{\betweenlines{#1}\Eqref[#1]} \setupformulas[location=right] \enablemode[proofreading] \starttext We have \placeformularef[eq:Square] \startformula a^2 + 2ab + b^2 = (a + b)^2, \stopformula for $a,b\in {\Bbb C}$. Also, \placeformularef[eq:Identity] \startformula \alpha^2 -2\alpha\beta + \beta^2 \NC = (\alpha - \beta)^2. \stopformula Note that \eqref[eq:Square] is true whenever we have $ab = ba$ for $b,a \in {\Bbb A}$. This is not the case when ${\Bbb A}$ is the ring of the matrices. It is clear that \eqref[eq:Identity] is a consequence of \eqref[eq:Square]. \stoptext %%%% begin write-between-lines.tex