Thanks André. Indeed, the <ruby> solution looks a bit abusive (not
withstanding the fact that it is currently not supported, as Norm noted).
And the <div> solution looks a bit verbose.
Does unicode have negative spaces ? An idea would be to mimic in unicode
the following LaTeX code:
$A \longrightarrow^{\!\!\!\!\!\!\!\!\!\!\text{Set}} B$
By the way, Norm: is upgrading to HTML 5 among your plans ? I can't
estimate how much work it would be (both for the pages generated by the
metamath program and for the other pages, which can be done
independently). I'm not advocating always updating to the most recent
version of anything, but HTML 5 is both more semantic and probably more
future proof.
Benoît
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/dbcfa7b7-5aca-4983-98ab-7951f890ff9c%40googlegroups.com.
