xymostech / spicyj, at the risk of getting too into the details here, but mathjax is aliasing some symbols in the regular library that typically require the MnSymbol latex extension
the result being that this alias input creates the same output as some other input
do we want to include those for mathjax consistency, or should we not include those, which seems more 'right' to me?
examples: \lnot as an alias of \neg and \smallint as an alias of \int
there's value in saying, 'hey, your mathjax code will compile straight to katex no prob'
but down the road, it might be problematic if people want more MnSymbol aliases, or something.