Definition 29.32.1. Let $f : X \to S$ be a morphism of schemes. The sheaf of differentials $\Omega _{X/S}$ of $X$ over $S$ is the sheaf of differentials of $f$ viewed as a morphism of ringed spaces (Modules, Definition 17.28.10) equipped with its universal $S$-derivation

$\text{d}_{X/S} : \mathcal{O}_ X \longrightarrow \Omega _{X/S}.$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).