>For the typesetting, however, I used the same representation "lcm" for >both >symbols ` lcm ` and ` _lcm ` - because it is clear by the context which >definition is used.
I would prefer that there be a typographic way to distinguish them, though it's fine if the distinguishing mark is subtle. They are different symbols, used in slightly different ways, so I think they should look different. --- 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/C4A23750-6D43-4E52-981F-6B8E67DC1939%40dwheeler.com.
