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