{"library":"latexcodec","install":[{"cmd":"pip install latexcodec","imports":["import latexcodec\nimport codecs\n# Use codecs.decode() and codecs.encode()"]}]}