So now we have monadic ↑ ↓ ≡ ≢ ⍴ and dyadic ⍴.

edited: So now we have monadic `↑ ↓ ≡ ≢ ⍴` and dyadic `⍴`.

said: So now we have monadic `↑ ↓ ≡ ≢` and dyadic `⍴`.