> > 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/0c21c3ea-fc17-467f-87b7-1aa0e88ea719n%40googlegroups.com.
