备注：元素位于方程环境中的集合中

Question

我想指出，在方程环境中输入蕴涵时，元素位于集合中。

为了更清楚，我举一个例子：

假设 $F\subset K$ 为域且 $(\alpha+t\beta),(\alpha+s\beta)\in K$，其中 $t,s\in F$；由此可知 $(ts)\beta\in K$，所以 $\beta \in K$ 因为 $(ts)\in K$；所以我们也有 $\alpha\in K$。

这是我的尝试：

\begin{equation*}
    (\alpha+t\beta)-(\alpha+s\beta)=(t-s)\beta\in\K_s
    \implies \beta\in\K_s
    \implies \alpha\in\K_s,
\end{equation*} 

我想通过注释哪个元素属于哪个领域来更清楚地说明为什么蕴涵成立。

当我手写类似的东西时，我只是在给定元素下方放置一个旋转的 $\in$ 符号，然后在下方放置集合。
你有什么建议吗？