Doc about `+`