Do we really want  to keep this symbol around?