@Uriel You can insert 0⌿⎕←' '⍪ before the first code line.

@Uriel I know, but if you zoom out it may look ok, and technically, it does return the right result. I've been thinking of making ∊'s output just like ≡'s. Should I do that?