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

I'm starting a new comment thread because scrolling up and down so much is annoying.

May I ask you for some simple example involving \(\neg\) and one or two \(\Leftrightarrow\)? I am trying to understand these but I can't just from the description below. In particular, I don't see why the use of two \(\Leftrightarrow\)s is supposed to give us "biggest finite value" of what comes after these expressions.