A strict subset relation symbol indicating proper containment with an additional dot to emphasize inequality in set theory.