working on symbolic DTTMM