User blog comment:PatrickhhMEME/I am here/@comment-35134374-20180409173726/@comment-32697988-20180409204359

So when you use ∧ you have to write ([a]∧b) with the [] or can I write (a∧b)? (I don't care about readability because I want to lower bound Rayo(n) for small n)