1: \begin{abstract}

2: We develop the formalism of the finite modular group $\Gamma'_4 \equiv S'_4$,

3: a double cover of the modular permutation group $\Gamma_4 \simeq S_4$,

4: for theories of flavour.

5: %

6: The integer weight $k>0$ of the level 4 modular forms indispensable for the formalism can be even or odd.

7: %

8: We explicitly construct the lowest-weight ($k=1$) modular forms in terms of 

9: two Jacobi theta constants, denoted as $\varepsilon(\tau)$ and $\theta(\tau)$, $\tau$ being the modulus.

10: We show that these forms furnish a 3D representation of $S'_4$ not present for $S_4$.

11: %

12: Having derived the $S'_4$ multiplication rules and Clebsch-Gordan coefficients,

13: we construct multiplets of modular forms of weights up to $k=10$.

14: These are expressed as polynomials in $\varepsilon$ and $\theta$,

15: bypassing the need to search for non-linear constraints.

16: %

17: We further show that within $S'_4$ there are two options to define 

18: the (generalised) CP transformation and we discuss the possible residual symmetries 

19: in theories based on modular and CP invariance.

20: %

21: Finally, we provide two examples of application of our results,

22: constructing phenomenologically viable lepton flavour models. 

23: \end{abstract}

24: