In double field theory, there are 'double differential forms' meaning that the standard 1-forms $d x^i$ generate an algebra over functions depending on both of the double coordinates $x^i$ and $\tilde x_i$. Does $d \tilde x_i$ ever appear?