A tangent, and (for Dr Propp) suggestion and question:

- Related: https://mathenchant.wordpress.com/2023/06/16/what-is-a-matri...

- May I suggest adding a link to https://mathenchant.wordpress.com/feed/ somewhere more easily found than via "View Source"?

- Since you (a) mentioned a working title "... Adventures of Plus and Times" and (b) have classroom experience, do you have any opinions on the following: when overloading the "high school" arithmetic operators for ring- and lattice-like structures, is it easier for people to learn (a) overloads with traditional use (ie × ↦ meet, + ↦ xor in Electrical Engineering), (b) overloads with mnemonic stories: "product makes things larger; modulo makes things smaller", or (c) any consistent overloads, because just making the abstraction leap is much more difficult than remembering any operator assignments?