SemTeX has arrived