The author knows this problems... he is dealing with that for years because he is one of the MathJax programmer or even inventor?! The question is if you want to maintain a huge standard in the browser (which is not the case for many browsers today) only for copy&pasting (maybe this can also be solved in another way with JS clipboard magic).