What is the shortest formal statement you can write that is provably equivalent to the Continuum Hypothesis in ZFC?

Please use only variables and the following symbols: $\forall, \exists,\lor,\land,\neg,\to, \in,=$ (parentheses may be added for convenience and do not contribute to the length of the formula). For example, symbols and expressions like $\subset,\emptyset,\{\dots\},\aleph_0,\mathcal{P}(x)$ are not allowed for purposes of this problem. Please give references if equivalence of your statement with $CH$ is not immediately obvious.