Made coproduct and gradient symbols actually work