[symbol] and dollar sign bug

When I make copies of a [symbol $1] object (via Ctrl-D) and change the copies to [symbol $2], on saving and reopening they revert to [symbol $1]. If they're in a subpatch or abstraction, simply closing and opening the subpatch causes the change. This does not affect symbol boxes made without duplication.