Gmailのフィルタでは「OR」で複数のアドレスを割り当てる

【Gmail】複数の差出人に同じフィルタを適用する方法

Gmailでは「設定」→「フィルタとブロック中のアドレス」→「新しいフィルタを作成」で、メッセージへのラベル付けとかそういう作業を自動化するフィルタを作成できる。

例えばAさんから来たメールに「Aさん」というラベルを付けて、ワンクリックでAさんからのメールだけ見たりという使い方ができる。

それでAさんが複数のアドレスを使い分けている場合、当然複数のアドレスからのメールに「Aさん」ラベルを付けたいんだが、これがうまく行かない。

調べたところ、どうやら「OR」で区切ればいいらしい。

こんなん書いてあったか? わっかりにく。