This is LaTeX code:
[latex]
(-8, y) \to (-8, 16)
[/latex]