TeX: \widetilde uses U+02DC which is 'small tilde', why? #76

There were also general inconsistencies with TeX and MathML rendering
regarding the two types of tilde. I believe I have now made it
consistent; \tilde is not stretchy, \widetilde is (default), both use
the ordinary tilde character.