Description: Projection of a vector in the orthocomplement of the projection subspace. (Contributed by NM, 6-Nov-1999) (New usage is discouraged.)