Symbol: fold_diff