Ah, right. But what about `m[[i, j]] = m[[j, i]]`? That seems to work.