Fyi, There is an interesting essay about math formulas ation here: https://xenaproject.wordpress.com/2020/02/09/where-is-the-fashionable-mathematics/
There is a discussion about it here: https://news.ycombinator.com/item?id=22390486 --- David A.Wheeler -- 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/75C0C03C-88A9-44FC-9C36-EA466B90053E%40dwheeler.com.
