Thanks! Indeed, ` K `-regular was just an example, my post was maybe not very clear. If the space is optional, then I will probably not use it, since this could lead to unwanted line breaks. Benoît On Tuesday, June 28, 2022 at 10:37:47 AM UTC+2 Alexander van der Vekens wrote:
> 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. >> > See https://groups.google.com/g/metamath/c/kdbrroGzJnc/m/G2Trz1JJAQAJ > -- 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/431ba9c4-0f95-427b-b886-e2130e56e451n%40googlegroups.com.
