TEXMode now works.