1表达关系 逻辑或 ∨ \vee ∨:\vee 包含: 箭头: 等价 ⇔ \Leftrightarrow ⇔ \Leftrightarrow s ⟵ $ D s\stackrel{\$}{\longleftarrow}{\mathcal D} s⟵$</