Added t type
Fixed symbol printing