I'm currently trying to convert a :latex: paper into HTML. And in particularly in PL papers, there's this thorny problem of mentioning metavariables inside code. For example, I want to write: A statement `return $\overline{e}$` evaluates one or more expressions ... (where \overline […]

Turns out, yes it's possible to embed MathML into <code>. First paragraph is Unicode, second paragraph is MathML. I think I'm gonna go with the second one, unless it's just a simple Greek character.