Make coproduct and gradient symbols actually work