[NTG-context] Writing between lines

[Otared Kavian]

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