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