[[!redirects diagonal]] < [[nlab:diagonal]] category: redirected to nlab