On Thu, Jun 25, 2015 at 12:22 AM, Michael Shea
<address@hidden> wrote:
ut so far I have only been able to search for the standard alphabetic characters. I can't find a way for instance search for instances of Greek letters or integral signs.
Searching for greek letters is definitely possible. If you have a newer version with the search bar at the bottom, then undock it with the little icon at the right, and you'll see a dialog with a small texmacs buffer where you can type in any math you wish.