/macros/texinfo/texinfo/tp/t/results/formatting/defcondx_Ubar/