User blog comment:Boboris02/MBOT/@comment-30167082-20161218101337/@comment-30118230-20161220171642

yes,the ¬.Also @LittlePeng9 The operator IS stated.It may've seemed unclear at the beginning but my comment was basicaly a tutorial on how ot work whenever you see something like \(\neg n \Leftrightarrow r \Leftrightarrow ......\) or any thing like that.No,I am not making this up in my head,because this is the case for any Phi system that has \(\neg \text{something} \Leftrightarrow .....\) in it's definition.If you apply my steps to a given system that has that,you will allways get the same result.