It's an interesting callout; if you go Google "weighted sum of two vectors", it's not too hard to find more authoritative sources (nothing as authoritative as Axler or Strang, of course) describing either a dot product or a linear combination in those terms.