thanks for this great software. Its way more fun and productive than writing Latex. I actually started writing most of my notes on the computer and not by hand anymore since I discovered TexMacs because I enjoy the process so much.
The symbols in the upper half all seem to be scaled a bit to big, see this image:
Maybe this has something to do with my screen resolution (2560 x 1440), I do not have this problem on my notebook with a lower resolution. I am running Texmacs on Linux (Manjaro)