# \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.

```	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