[tex] inference rules, term generating grammar and more...