U+22FA "⋺" Contains with Long Horizontal Stroke Unicode Character

U+22FA "⋺" Contains with Long Horizontal Stroke is a mathematical symbol used primarily in geometric reasoning and set theory, representing a containment or subset relationship where the standard "⊂" or "⊃" notation is modified by an extended horizontal line above or through the shape. This specific glyph, part of the Mathematical Operators block, often denotes a relation of inclusion that emphasizes a long connecting stroke, typically distinguishing it from similar symbols like "⋹" (contains with overbar) or "⋸" (element of with underbar) in formal logic or LaTeX documentation. Its design suggests a variant of the "contains as member" symbol but with a pronounced horizontal bar, aiding clarity in complex equations where standard containment symbols might be confused.