On April 14, 2020 6:37:57 AM EDT, Benoit <[email protected]> wrote: >For the moment, drahflow's solution looks best. Using a more compact >form, >I could write in set.mm > > althtmldef "-Set->" as " <span style="overflow: visible; width: 0px; >height: 0px; display: inline-block; font-size: 70%; position: relative; >top: -1.3ex;">Set</span>⟶ ";
You have double quotes inside double quotes in there, so you may need to do some tweaking. But the basic approach seems sound. --- David A.Wheeler -- 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/66161C83-C7AE-499E-A199-AB4057F04C5E%40dwheeler.com.
