On Mon, Apr 13, 2020 at 07:30:05AM -0700, Benoit wrote:
> Does unicode have negative spaces ? An idea would be to mimic in unicode the
> following LaTeX code:
> $A \longrightarrow^{\!\!\!\!\!\!\!\!\!\!\text{Set}} B$There are ways (e.g. with right-to-left marker), but it's pretty brittle as suddenly the layout depends a lot on the exact widths of glyphs. I'd rather look to \rlap of LaTeX: https://jsfiddle.net/1akxz47v/1/ <html> <style> .rlap { overflow: visible; width: 0px; height: 0px; display: inline-block; } .atop { overflow: visible; width: 0px; height: 0px; display: inline-block; font-size: 70%; position: relative; top: -1.3ex; } </style> <body> <span class="rlap">abc</span>⟶ <span class="atop">abc</span>⟶ </body> </html> Still a pretty ugly hack, but as long as the font is specified exactly, it should render consistently. Regards, Drahflow -- 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/20200413202621.GA20625%40eta-carinae.
signature.asc
Description: PGP signature
