Product of autoref