[[!redirects unit interval]] < [[nlab:unit interval]] category: redirected to nlab