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

Nope, I am waiting for you to say what these mean as well. I would love to be able to figure that out myself, but I still don't understand \(\Leftrightarrow\) enough to make sense out of it.