# Addition¶

Note

This page concerns the `+`

operator on numbers; for the `+`

operator on types, see sum types; for
the `+`

operator on graphs, see overlay.

Values of all numeric types can be added using the `+`

operator. For example:

```
Disco> 1 + 2
3
Disco> (-5) + 2/3
-13/3
```

If you ask for the type of `+`

, you get

```
Disco> :type +
~+~ : ℕ × ℕ → ℕ
```

which says that it is a function taking a pair of natural numbers and returning a natural number. However, as mentioned above, it also works on other numeric types such as integers and rational numbers.