symbol names in search

[erikaabraham]

A problem when searching for symbols is that the actual symbol name is not indicated only the verbalization in the preview.
So it is difficult to see what to annotate