GMailフィルタ

from:がどこからきたかで、ラベルつけたり、転送したり、削除してたわけさ。

{xxxxx.co.jp or yyyyyy.com or zzzzz.jp}

このフィルタだと、wwww.or.jpがなぜか含まれるのだ。

ググったさ。

ORは大文字

orz

wwww.or.jp
ここが引っかかったわけで…

{xxxxx.co.jp OR yyyyyy.com OR zzzzz.jp}

これが正解。早く調べろよ、俺。まったく…

後で、同僚に確認したら、「||」がORとして使えるらしい。この方が安全だった気がする…