Bar product of binary linear codes
= Bar product of binary linear codes
{title2=$C_1|C_2$}
For length-$n$ binary linear codes $C_2\subseteq C_1$, their bar product is
$$
C_1|C_2=\{(u,u+v):u\in C_1,\ v\in C_2\}.
$$
It has length $2n$ and dimension $\dim C_1+\dim C_2$.