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