Searching for notes without specific tags

I've found threads on the internet regarding searching for notes without ANY tags, but nothing about notes without a specific tag.

Say I have 5 notes among my whole list that share a common tag, e.g. "tag1".
However, 3 of those 5 also have "tag2", and I wanted to filter it so the other two would appear.

Referring to the current function of Evernote, a search syntax for that would be "tag:tag1 -tag:tag2", to filter out all "tag2" notes.

Currently, using this syntax ignores the dash and basically displays the 3 notes with tag1 & tag2, quite the opposite of what it was required.

The issue does not mention specific files or tests. Start by locating the iOS search handling for tag queries, then verify that `tag:tag1 -tag:tag2` returns notes with `tag1` while excluding notes with `tag2`.

Written by the indexing model from the issue text.