Symbol: add_comparison