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

In domain theory,

	x \sqsubseteq y

means x is no more defined that y. This expression only has meaning if x and y are comparable elements of some partially ordered set.

Last updated: 1994-11-24

Try this search on Wikipedia, OneLook, Google

Nearby terms:

SQLWindows « SQR « SQRIBE « \sqsubseteq » Square » square-headed boyfriend » square-headed girlfriend