TeX source:

| a + b | ≤ | a | + | b |