TeXipedia
Find LaTeX symbols fast

A binary operator representing the meet operation in lattice theory and logical conjunction with additional constraints.

\barwedge image