[autotex] Initial version