Sqsubseteq

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  \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}.
       
          (1994-11-24)