$f: X \to Y$ is a smooth map and $\omega$ is a $p$-form on $Y$, what is $\omega[f(x)]$? I am reading Guillemin and Pollack's Differential Topology Page 163:

If $f: X \to Y$ is a smooth map and $\omega$ is a $p$-form on $Y$, define a $p$-form $f^*\omega$ on $X$ as follows: $$f^*\omega(x) = (df_x)^*\omega[f(x)].$$

So my question is, what is $\omega[f(x)]$?
I have been trying to make this question self-contained, but here is the whole background: Definition of pullback. In that question, I have shown $(df_x)^*T(v_1, \dots, v_p) = T \circ df_x (v_1, \dots, v_p)$ and $\omega$ is $(df_x)^*T$. But I want the missing piece about what that $\omega[f(x)]$ is equal to, to make sense of the definition of $f^* \omega (x)$.

You can write your differential form (at least locally) as a sum of "pure forms", i.e. forms of the type
$$\omega_\alpha(y) = \alpha(y)dx^{i_1}\wedge\ldots\wedge dx^{i_p}$$
with $\alpha$ a smooth function. Then
$$f^*\omega_\alpha(x) = (df_x)^*[(\alpha\circ f)(x)dx^{i_1}\wedge\ldots\wedge dx^{i_p}]$$
In other words, $\omega[f(x)]$ means that you precompose the "weight functions" of the pure forms with $f$.
