Hello.
I noticed that when searching for occurrences of a symbol represented by an HTML code (&#....;) in the source code of a plugin (in my example Elementor version 3.15.2), the search results list and the String Locator editor directly display the symbol and not the HTML code you are looking for.
See the following screenshots:


While the built-in WordPress plugin editor correctly displays the HTML code (in my example ⌘):

Thanks.