Thanks a lot @B.E. I wanted to bring up one more thing (I mentioned this to the live support with a different occasion)… the fractional label setting seems to have gone missing when the Android app was updated a few months ago. I remember there was a toggle somewhere in settings, but now there is none so from the app there is no way to know if a symbol is fractional or not.