Fuente TeX:

(A^\perp)^\perp=\overline{\textrm{span}\,A}