User blog comment:Boboris02/MBOT/@comment-30004975-20161217230534/@comment-30118230-20161218125734

The equal sign is just an equal sign like it's normaly used.

\(m=\ldots 00\underbrace{111\ldots 11}_m0000\ldots\) means that m is equal to the number of ones written.

If you meant \(\Leftrightarrow\),then that's different.