more sophisticated constructions that are better suited for defining the tangent spaces of smooth manifolds in general (see the article on tangent spaces for details).

A differential -form on is defined as a function that assigns to every a -covector on the tangent space of at , usually denoted . In brief, a differential -form is a -covector field. The space of -forms on is usually denoted ; thus if is a differential -form, we write