new inclusion of symbols