\\sqsubseteq

\\sqsubseteq

LaTeX name for a symbol like a capital E without the bottomhalf of its vertical line.

In domain theory,

x \\sqsubseteq y

means x is no more defined that y. This expression only hasmeaning if x and y are comparable elements of somepartially ordered set.