This is LaTeX code:
[latex]
b^{-1}a^{-1}\in BA\subseteq AB
[/latex]