So the issue is not only about k-regularity, but about using a blank between a text in math mode and a hyphen followed by a word in general.
I would prefer the short form (without blank). I think there was a general discussion if blanks can/should be used before the first `` and after the last ``, and the decision there was at least not to force it, as far as I remember. -- 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/c08b696f-57f7-4cb2-ae6b-700d9549e5d5n%40googlegroups.com.
