FYI, capitalizing OR when you mean it as an operator, predates Gmail. It is how the Google web search rules work too. (But the thing about Google web searches is that they are inexact, i.e. 'suggestions' to the search engine, whereas Gmail searches are exact.)
You can't make everyone happy with search rules. Whichever way they did it, there will be people who would prefer it another way. Either way, it is a "rule" that needs to be remembered. Me, I have gotten quite accustomed to capitalizing OR. I think the logic (if there is one) is that you need to do something different or unique to make it an operator ... and nothing different to have it be a search term. Andy -- You received this message because you are subscribed to the Google Groups "Gmail-Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/gmail-users. For more options, visit https://groups.google.com/groups/opt_out.
