double use of symbol name