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.
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.