This comment caused me to realize: even though generating LaTeX hoverovers involves more technical challenges, I might be able to tell it “if it’s a term that gets defined in LaTeX, include an example equation in the hoverover” (or something like that), which might help for some of these.
This comment caused me to realize: even though generating LaTeX hoverovers involves more technical challenges, I might be able to tell it “if it’s a term that gets defined in LaTeX, include an example equation in the hoverover” (or something like that), which might help for some of these.
Could be a thing where people can opt into getting the vibes or the vibes and the definitions.
In optimal future Star Trek UI world, giving users control over explanation-style seems good.
But for near future, my guess is it’s not too hard to get a definition that is just pretty all-around good.