Import code from TeXpert