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.