> > Basically, add a symbol where you want the tooltip, so that mobile users > have something to press and everyone has an indication that there is > something there The same article uses a colored "?" with a circle around > it (we could add that right after the symbol reference). We could use CSS > so that the symbol is not displayed when printed, since it would not be > useful in that case. I don't know how hard that would be, but it would > probably not be too hard. > > What do people think about that idea? > > --- David A.Wheeler >
This looks fine to me. But reading that thread I can't help but think how difficult it is to put oneself in someone else's shoes. Actually, there are very different use cases for Metamath. You can either read existing proofs or make a new ones. And while those suggestions above are quite good for the first case they are not improving the second. Using browsers instead of IDE is not a good idea, unless there is a web editor for Metamath proofs that is. Another reason for confusion might be that there are experienced contributors forgetting about novices learning the craft. The latter want a tutorial database with quite different and simplified conventions and theorems. -- 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/21bc5a70-4d7e-45dc-906c-f3c43cf68477%40googlegroups.com.
