Description: Orthocomplement projection in terms of projection. (Contributed by NM, 5-Nov-1999) (New usage is discouraged.)