[[!redirects ETCS with elements]] < [[nlab:ETCS with elements]] category:redirected to nlab