improve a pair of macros
rewriting formal.tex ...