User blog comment:Boboris02/MBOT/@comment-1605058-20161221204639

"Here the logical connectivities DO have their traditional meanings.I know this is very confusing when systens and more specificly Phi-systems have some of those connectivities and they DO NOT have their traditional meaning,but that's just the way it is."

For the love of God, why can't you just use different symbols for connectives in the Phi systems? Here, let me even give you a suggestion - just use \(\rightarrow\), \(\leftrightarrow\) and \(\sim\) (the last one in place of \(\neg\)). Is it really so hard to pick distinct symbols when refering to completely different things?!

(sorry if I sound really annoyed, that's because I am really annoyed)