notation for left- and right-whiskering

it seems preferable to use a sans-serif subscript to indicate left- and right-whiskering.  prior to this change the subscripts used in the eckmann-hilton proof conflict with the use of l and r as variables.