The symbol means that A is a subset of B. The underline in the symbol means that A may be equal to B.
