VDict mobile



\sqcap not found. Suggestions:

\sqcup
\sqcap
\sqcap
\sqcap
distributive lattice
greatest lower bound