this symbol is not needed anymore