need a nudge on this simple fancy split

[Gijs Hillenius]

I'm trying to figure out how to split mail sent by 'three email
addresses at the same domain' to go into the folder.

So, this folder is for email coming from foo@server, bar@server &
foobar@server, but not for anything else coming from @server

I'm using fancy mail splitting, and so, for this rule do I use

"(|" or "(&",  both, or something else?


something like:

("from" "(| (foo) (bar) foobar)@server" "mailbox")

But I think that (| only chooses between foo and foobar?