A new advanced TeX format