primitive symbols