Contravariant derivative