Is it possible to filter emails from addresses starting with something?

I deal with a public institution that sends emails from a variety of addresses such as portaligi1001@gmail.com, portaligi1002@gmail.com, etc. To my absolute dismay, when I type portaligi in my Gmail, I only get a few results that actually contain the string portaligi in the body of the email. I have many dozens of emails from them. I also tried searches like from:portaligi* but this syntax doesn't work, I get no results. Is there any way I can filter all the emails sent by an address starting with portaligi?