use constructor to define implicitSymbol