new explicit inclusion of symbols