No precedent either way.  Will adopt `+`.