What does $\bigwedge$ mean in lambda calculus?
Examining the source code of the Wikipedia page indicates that this symbol is generated by \land, which denotes "logical and", or conjunction. Note the difference in size and weight between $\bigwedge$ and $\land$.