Description: Double polarity of a projective map. (Contributed by NM, 24-Jan-2012) (New usage is discouraged.)