Description: Atom exchange property. Version of hlatexch2 with less-than ordering. (Contributed by NM, 7-Feb-2012) (New usage is discouraged.)