added initialization of latex pretty printer