{"library":"texify","install":[{"cmd":"apt install texify","imports":[]}]}