Python 3 module for TeX