фильтры в Gmail

mythmaker, да вот что-то и не расписано. Во всяком случае, теперь: https://support.google.com/mail/answer/6579?hl=ru
Есть в другом разделе, но указанное там "ИЛИ" не срабатывает: https://support.google.com/a/users/answer/9300019?hl=ru

Так что | or OR, выясненные из неофициального источника =)