User blog comment:Boboris02/MBOT/@comment-30167082-20161218101337/@comment-30754445-20161220182821

It seems that ¬ is supposed to be some kind of diagonalizer. A wildcard. Something similar to the way 'Ω' works in ordinal collapsing functions.

How it works in the general case, though, isn't explicitly stated.