Jim wrote:
If you think it is "of course" that the text
is smaller on a higher
DPI screen, you are missing the essential point that a 12pt font
is defined by a number of points, not a number of pixels.
No, it is very simple. the same resolution on smaller screen size makes the
symbols appear smaller, because it is the same number of pixels that is
fitting to a smaller area.