Non-free symbol doesn't show

[GinoGiotto]

Mentioned in #10

http://metamath.tirix.org/mpeuni/bm1.1 The hypothesis bm1.1.1 doesn't show. Is it because the non-freeness symbol is missing?

I tried and it worked for me. Maybe you need to refresh the page? (or clear your cache?)

It works on PC, but on Android it appears like this:

I cleared my cache and doesn't work. It seems to happen whenever there is a non-free symbol in the statement or proof step. Instead of the appropriate symbols a small no glyph label appears as shown in the picture.

Edit: On Android it doesn't work with Google, Bing and DuckDuckGo, but it does work with Firefox.

[tirix]

"No glyph" suggests that the mobile browsers do not manage to fallback to a font where the glyph exists.
I imagine this might be fixed by loading and applying the XITS font family:

  @font-face {
    font-family: XITSMath-Regular;
    src: url(xits-math.woff);
  }
  .math { font-family: XITSMath-Regular }

(On a side note, you should not get the "could not format x" line for vx, but that's a different story)

[GinoGiotto]

"No glyph" suggests that the mobile browsers do not manage to fallback to a font where the glyph exists.

I opened the page with another Android mobile phone just to double check, and the same problem appears (I'm sure metamath was never opened there before). On a Windows machine the issue does not show for the browsers I have (Chrome, Edge, DuckDuckGo), so for me it's hard to test if your solution works. I propose to implement it and see if it solves the problem?

(On a side note, you should not get the "could not format x" line for vx, but that's a different story)

Good catch, I haven't even noticed, it shows vx correctly now.

[tirix]

I've merged #25 which includes the changes mentioned here, which automatically closed this issue, but actually I'm not sure this is really fixed.
I'm reopening until you confirm everything is now fine.
Note that this is a change in the CSS file, which is configured to stay in your cache, so you'll have to clean your cache of force-reload the page for the changes to take effect.

[GinoGiotto]

It's working now! I tested on Android mobile with the browsers that weren't working before (Chrome, Bing and DuckDuckGo) and now the non-freeness symbol is showing correctly on all of them (btw for verification I simply opened a new page in incognito mode, and it worked even without clearing the cache).