/macros/texinfo/texinfo/tp/t/results/def/