def convert_html_subscripts_to_latex(text):
text = re.sub("<STR_LIT>", r"<STR_LIT>", text)<EOL>text = re.sub("<STR_LIT>", r"<STR_LIT>", text)<EOL>return text<EOL>
Convert some HTML tags to latex equivalents.