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

"The thing is,I didn't know that symbols like ⊥ were ambiguous in meaning or had multiple meanings."

So what do they mean?

Right there you can greatly reduce the potential for misunderstanding. So why are we continuing to go in circles, when instead you could have simply written what these symbols mean and get us somewhere interesting?

The only standard meaning for "⊥" I'm aware of is to denote perpendicular lines in geometry, which is obviously not what you meant here.