You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
What do you think if we add common differential operators like \grad, \div, \rot (\curl)? The only problem I see it's collision between \div (÷) symbol and divergence operator. But division symbol is rarely used, I think we can redefine it as \divsymb [1].
While I have nothing against that, I think that generally we shouldn't collect all common TeX extensions and squash them into our XML files. I'm a fan of more component-wise approach: let's split these symbols and formulae to "modules" and allow the user to choose at runtime what modules he/she wants to be enabled.
So, if there aren't any direct need in these extensions (i.e. nobody wants them right now), I'd suggest to wait for #47 before solving this issue.
What do you think if we add common differential operators like \grad, \div, \rot (\curl)? The only problem I see it's collision between \div (÷) symbol and divergence operator. But division symbol is rarely used, I think we can redefine it as \divsymb [1].
[1] See \div operator: http://www.dfcd.net/articles/latex/latex.html
The text was updated successfully, but these errors were encountered: