texmacs config for mathematica