Tau ← +´0=(1+↕)|⊢
Tau¨ 5‿20⥊1+↕100