Orthogonal complement over the binary field (source code)

= Orthogonal complement over the binary field
{title2=$W^\perp$}

For a subspace $W\leq\mathbb F_2^n$, its orthogonal complement is $W^\perp=\{y:x\cdot y=0\text{ for every }x\in W\}$, where the dot product is evaluated modulo two.