Definition:Cotangent