Within the comment for a theorem, should I write ` K `-regular or ` K ` -regular Both appear in set.mm (e.g., http://us.metamath.org/mpeuni/df-rgr.html and http://us.metamath.org/mpeuni/czlm.html) and the rendering is the same (the possible space following the quoted math expression is removed).
Is there a preferred way? Thanks, Benoît -- 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/16986422-8d2b-48f6-aae3-22ea3d26bc26n%40googlegroups.com.
