* srfi-modules.texi (SRFI-1 Set Operations): use @cross iso. @times.