Template:WLOG

Insert  for an abbreviation that expands to:


 * Without loss of generality