I am reading this paper where the object $C_4\times C_2 : C_2$ is used as a group structure. I know that $C_n$ is a cyclic group but don't know what kind of operation between groups is identified by the symbol "$:$". Does anyone know about that? Thanks to everyone for the help.