Context: I\'m using Maxima on a platform that also uses KaTeX. For various reasons related to content management, this means that we are regularly using Max