smaller SYMBOLSPACE