Orthogonal complement (source code)

= Orthogonal complement
{title2=$F^\perp$}
{wiki}

The orthogonal complement of a subset $F$ of an inner-product space is
$$
F^\perp=\{x:\langle x,y\rangle=0\text{ for every }y\in F\}.
$$