We no longer need the old symbol, right?