What is the meaning of ?

The conjunction operator, forming a Boolean-valued function, typically with two arguments, returning true only if all of its arguments are true.

wedge product

smash product

meet, infimum

Source: wiktionary.org