Symbol: derivation_triplet