@JDHamkins @BernhardWerner I think my point is, given that reliably getting spacing right is hard: shouldn't we do make a mark like sticking a comma between entries in a row, to make it clearer?