support for the LaTeX commands \x***arrow

- this patch supports the \x***arrow commands provided by the mathtool package
- fileformat change
Merge remote-tracking branch 'github/build-bot-master' into bleeding-edge-master
2014.08.24-23.00