楼上回答错误，正确的命令是\not\equiv
&\sigma_F(E_1 \times E_2) \equiv \sigma_{F_1 \land F_2}(E_1 \times E_2) \notag\\ & \equiv \sigma_{F_2}(\sigma_{F_1}(E_1 \times E_2)) \notag \end{align} &符号表示对齐的地方，提前一点就好了。
