2-153 completed textual conversion to tex