Symbol: prop_equals