On Sun, 30 Aug 2020 08:06:35 -0700 (PDT), "'Alexander van der Vekens' via Metamath" <[email protected]> wrote: > Since most of the people have objections against using the same (looking) > HTML-representation of two different symbols, I will change it. I think > Mario's proposal using underlining is a good solution. This will result in > the following typesetting definition for the symbol ` _lcm `...
Sounds like a great solution. Thanks for asking! --- 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/E1kCUJo-0001Xv-1x%40rmmprod06.runbox.
