code: def _render_str(self, string):
          
          if isinstance(string, StrLabel):
              string = string._render(string.expr)
          string = str(string)
          if len(string) == 0:
              return ''
          name, supers, subs = split_super_sub(string)
          return render_latex_sub_super(
              name, subs, supers, translate_symbols=True)
docs: Returned a texified version of the string