On 4/14/20 3:37 AM, Benoit wrote:
althtmldef "-Set->" as " <span style="overflow: visible; width: 0px;
height: 0px; display: inline-block; font-size: 70%; position:
relative; top: -1.3ex;">Set</span>⟶ ";
That seems like a good solution. The fancier the layout you are trying
to do, the greater the chance that the solution will need to be some
some flavor of style tags (rather than unicode having an answer or using
tags like SUP).
--
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/463b0bfb-98ed-e02d-c650-1019a662e63a%40panix.com.
