used new SymConst constructor