I was wondering, only since I had been going for aesthetics, at least a little bit, while following the apparent convention of indenting two and four spaces beyond, alternating, I had been wondering where to break.
-- 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/11bffe99-7d14-43ab-ac3b-2633f9cfff2bn%40googlegroups.com.
