Debug math display in semantics.md.