This is LaTeX code:

[latex]
 
B \subset A, x \in B \leftrightarrow a \prec x
 
[/latex]