VDict - Definition of sqsubseteq

Computing (FOLDOC) dictionary

\sqsubseteq

Jump to user comments

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.

(1994-11-24)

Related search result for "\sqsubseteq"

Words pronounced/spelled similarly to "\sqsubseteq":
\subseteq \sqsubseteq
Words contain "\sqsubseteq" in its definition in Computing (FOLDOC) dictionary:
\sqsubseteq monotonic embedding upper bound order-embedding Scott-closed least upper bound coalesced sum greatest lower bound compact more...

Comments and discussion on the word "\sqsubseteq"