U+22D0 "⋐" Double Subset Unicode Character

U+22D0 "⋐" Double Subset is a mathematical symbol used primarily in set theory to denote a stronger or more specific form of the subset relation, often interpreted as "double subset" or "subset with a double line." It is typically employed to indicate that one set is a subset of another in a particularly strict or defined context, such as in proofs or formal logic, and it visually resembles two nested "⊂" symbols. This character is part of the Mathematical Operators block in Unicode, included to support precise mathematical notation in digital text.