Bar product of binary linear codes ($C_1|C_2$)

For length-$n$ binary linear codes $C_2\subseteq C_1$, their bar product isIt has length $2n$ and dimension $\dim C_1+\dim C_2$.