Thumb position - Daumenposition

Anybody found a way to increase the size of the thumb position fingering symbol? It is (and always has been since the big muse bang) much to small compared to the other fingering numbers... thanks! Below you will find a screenshot with 3 red circles (text size is increased to 11pt) showing
- a normal number in the left circle (following the increased text size),
- a micro thumb position in the circle right top of the first (not following)
- my replacement solution to the far right, some special character I copied in (following)