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)