Hi David, thanks for the response :) Re results we are using ElasticSearch and so we should have a good amount of leeway to optimise the results. I guess the best result for 2+2 is 2p2e4. We're still experimenting with how much to search the comments and theorem names and how much to search the assertions. There may need to be some way for people to specify they are searching the assertions, such as using |- maybe.
Re fonts we are a little confused (we don't have so much frontend experience). Is this the font you mean that could be hosted? https://github.com/alif-type/xits On Metamath.org it seems to call that font at the beginning however it also seems to be commented out which is a little confusing. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/89f7d7f0-6b5c-444e-a746-b8ae04df2983%40googlegroups.com.
