Template:WLOG

Insert  for an abbreviation that expands to  Without loss of generality .