symbolic type