User blog comment:Boboris02/MBOT/@comment-30167082-20161218101337/@comment-1605058-20161220172552

This seems to be in complete contradiction to your statement "\(\neg\) on itself has no meaning and can be set to anything". If this algorithm is what you always do upon seeing \(\neg\), then you are giving a pretty much fixed meaning to \(\neg\) - it means "apply the algorithm".