Symbol: princ_num_comp