[水贴]……

kuing

两点：
一、空集没打对，空集不是 $\phi$（\phi），而是 $\varnothing$（\varnothing，怕不记得，本论坛也自定义了 \kongji）
二、他那个真包含是怎么打出来的？为毛会这么高哩？正常的高度是 $A \subsetneqq B$（代码是 A \subsetneqq B）。