Wording for implicit addition; it's not really its own syntax, just a feature