> On 13 Apr 2015, at 18:30, Hans Hagen wrote:
>
> […]
> pushing stuff in between will probably mess up spacing etc etc so if you
> follow that route just accept that your proof is not what you will eventually
> get
>
> anyway, i added some ref tracing to the upcoming beta
>
> (1) \showrefere
On 4/13/2015 10:00 AM, Otared Kavian wrote:
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 i
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