Symbol: derivation