Since our math editor is currently on the news, here's one aspect worth considering.
One thing that's been pointed out on the Meta.MathOverflow threads (here and here) is that v3 of MathJax has been released recently (IIUC last April) and that it is faster than the current v2.7. (MathJax v3 is also discussed on Meta SE in this thread, which hasn't received significant developer attention.) It doesn't seem to break anything we rely on, but looking at the list of changes, one thing that sticks out is the addition of the braket
extension, which could potentially be very useful here.
The last time we discussed something similar was the physics
extension, and there it does look like there are good reasons not to include it, but braket
is smaller and nobler and it could do quite a bit to help with on-boarding.
In any case:
- Assuming a switch to v3 is coming, would the
braket
extension make sense? - Would it break any existing posts which define their own bra/ket notation?
- Would we want to have it enabled?
\newcommand
; AFAIK it treats\newcommand
and\renewcommand
identically), so the custom definitions will just override the extension. $\endgroup$\left
and\right
for all components (two angles and two mids) or resorting to\big
etc.. Just using\Braket
should be much easier. $\endgroup$