\sqsubseteq

0.04 sec.

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

How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Email
Feedback

? Mentioned in

monotonic

order-embedding

Scott-closed

Encyclopedia browser

? Full browser

[incr Tcl]
\
\begin
\big
\perp
\sqcap
\sqcup
\sqsubseteq
\subseteq
\t
\uparrow
^
_
{IDF}
{log}

\/\/
\/\/
\/\/
\0
\0
\0
\a
\a
\begin
\big
\f
\f
\hline
\o/
\o/
\o/

\perp
\r
\r
\r
\r\n
\r\n
\sqcap
\sqcup
\sqsubseteq
\subseteq
\t
\t
\uparrow
^
^
^
^(

^(
^(
^)
^)
^)
^-^
^-^
^-^
^.^
^.^
^.^
^=
^^
^^
^^
^^;;;

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup \| Partner with us

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.