On Mon, Apr 11, 2022 at 01:05:36PM +0100, Gavin Smith wrote: > On Mon, Apr 11, 2022 at 11:38:52AM +0100, Gavin Smith wrote: > > CONVERT_MATH_TEXINFO_TO_LATEX might be a good choice. > > Another idea: CONVERT_TO_LATEX_IN_MATH.
Both are ok to me. -- Pat
