Section 8.1.5 introduces the term 'positive Infinity', and says that it's also referred to "for expository purposes" by the symbol '+'. [That character may not render properly, but you know what I mean.]
There are two places in the spec that denote this value with other terms:
In 188.8.131.52 "ToString Applied to the Number Type",
step 4 says:
If m is infinity, return the String "Infinity".
In 184.108.40.206.2 "ArrayIterator.prototype.next( )",
step 11.a says:
Set the value of the [[ArrayIteratorNextIndex]] internal data property
of O to +Infinity.
In each case, the improper term ("infinity" or "+Infinity") should be changed to either "positive Infinity" or the symbol. For consistency with all other pseudo-code in the spec, use the symbol.
fixed in rev 13 editor's draft