Latex for a symbol like a U on its right side with a line under it. For sets x and y, x \subseteq y if all elements of x are also elements of y.