Description: A symmetry with /\ .
See negsym1 for more information. (Contributed by Anthony Hart, 4-Sep-2011)