added TM symbols