Issues in ⊥ chapter

[xpqz]

@abrudz says:

I think the flow will be easier to understand if the "We can model ⊥ as:" has reversed left arguments and does ⌽×\⌽

Maybe even revise everything from the beginning to do ⌽×\⌽ throughout, i.e. ⌽×\⌽(2⍴10),1 etc.
And again, ×\⌽1 1 1 is wrong. It should be ⌽×\⌽1 1 1
And harmonise ⌽×\1,⌽1↓0 0 0 to ⌽×\⌽1↓0 0 0,1

MathJax mess-up after "Compare this to making cash change: there’s nothing larger than a"

Hm, now I look at ⊤ maybe the formulation ⌽×\⌽1,⍨1↓ is best, as it puts all transformation on the left, keeping the base on the right?