Tangent and cotangent/Real/Definition