User blog comment:Boboris02/Large number combinatorics II:Trying to prove something interesting/@comment-30118230-20170204183225/@comment-30118230-20170205180429

OK.

The thing is,I didn't know that symbols like \(\bot\) were ambiguous in meaning or had multiple meanings.