This is LaTeX code:
[latex]
a\equiv_{23} 5\Rightarrow 23 | a-5
[/latex]