rouquier.tex: section 5
header: added xto as alias for xrightarrow
derivedsummary.tex: started section 10.4