The fact that using any name for the company with Companies Registry doesn’t automatically presume trademark rights. If you want to preserve the legal rights on the company name as a trademark, then applying for the Intellectual Property Department is the right thing to do.