Это формула из математики, где M и N - операторы логики, ∧ - логическое "и", X - переменная, а ⋂Sn - пересечение множеств S1, S2, ..., Sn. Формула означает, что выражение MX+∧X входит в пересечение всех множеств S1, S2, ..., Sn.