This is LaTeX code:

[latex]
 
B_n=A_{n-1} \forall n
 
[/latex]