\sqsubseteqThe symbol \sqsubseteq is used to denote a relation that is a subset or equal to, often used in order theory and lattice theory to represent a partial order relation.
Set A is a subset of or equal to set B in a partially ordered set.
A \sqsubseteq BElement x is less than or equal to element y in a poset (partially ordered set).
x \sqsubseteq yProposition P is less than or equal to proposition Q in a logical framework.
P \sqsubseteq Q