\sqsubseteq

You are here: irt.org | FOLDOC | \sqsubseteq

<character> 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)

Nearby terms: \perp « \sqcap « \sqcup « \sqsubseteq » \subseteq » \t » \uparrow

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb