This is LaTeX code:
[latex]
a \in \mathbb{R}^n \implies x \in \mathbb{R}^n, b\in \mathbb{R}^3 \implies y \in \mathbb{R}^3
[/latex]