Latex tweaks in reals/derivatives