(¬∘∧⟜«' '=⊢)⊸/ (¬·«⊸∧' '=⊢)⊸/ {¬«⊸∧' '=x}⊸/ # should have double-struck x here (U+1D569), but hn removes it
(1 ∾˜ " "⊸(¬∘⍷))⊸/