This is LaTeX code:
[latex]
d(a,b):=|b-a| \\ d(x``, c) \leq d(x``, x`)+d(x`, c)
[/latex]