2021-10-04 08:30:34+00:00 In reply to @JDHamkins @JDHamkins @pkrautz Or the other option is to introduce a symbol separating columns in a matrix