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

hmm, I wish LaTeX/MathJax had some symbols you could use beyond the ones which have a standard meaning in set theory.

As for "MBOT uses the same language as FOST", it would be okay to say that, if it was even remotely true. But it in almost every way isn't. If you want to have things like \(\Phi(n)=n\sim n\leftrightarrow k\) in MBOT, you have to use a language different from the one of FOST, because FOST doesn't have symbols like \(\Phi,\sim,\leftrightarrow\), and then, even if you were to use old symbols, a formula like \(a\Rightarrow b\Rightarrow c\) isn't valid, at the very least because it has missing parentheses. Don't even make me mention \(\ldots 00\underbrace{111\ldots 111}_m00\ldots\) again.