This is LaTeX code:
[latex]
a_X \in\mathrm{Inj}(\mathbb{N})
[/latex]