original_docstring: 
          Captures the trees and configuration chain in a string
          
docstring: Captures the trees and configuration chain in a string
docstring_tokens: Captures the trees and configuration chain in a string
code: def output(self):
          """
          Captures the trees and configuration chain in a string
          """
          tree = ""
          configSeq = ""
          for c, step in enumerate(self.steps):
              # Note that / will be replaced with \ and < and > are replaced with { and } respectively.
  
              tree += f"""
  /begin«prooftree»
  /sctree{"[0px]" if not step.nested else "%"}
    «{step.before.tex()} /Rightarrow {step.after.tex()}»%
    «{step.rule.tex()}»%
    {f'''  «
      /scpremiseleaf%
        «{step.nested.before.tex()} /Rightarrow {step.nested.after.tex()}»%
        «{step.nested.rule.tex()}»%
    »''' if step.nested else '«»'}
  /end«prooftree»//
  /noindent"""
              configSeq += f"""{'/Rightarrow//' if not c == 0 else ''} {step.before.tex()} {f'/Rightarrow// {step.after.tex()}' if c==(len(self.steps)-1) else ''}"""
          configSeq = configSeq.replace("/", "\\")
          configSeq = '$' + configSeq + '$'
          tree = tree.replace("/", "\\")
          tree = tree.replace("«", "{")
          tree = tree.replace("»", "}")
          return tree, configSeq
code_tokens: def output ( self ) : tree = "" configSeq = "" for c , step in enumerate ( self . steps ) : tree += f"""
  /begin«prooftree»
  /sctree{"[0px]" if not step.nested else "%"}
    «{step.before.tex()} /Rightarrow {step.after.tex()}»%
    «{step.rule.tex()}»%
    {f'''  «
      /scpremiseleaf%
        «{step.nested.before.tex()} /Rightarrow {step.nested.after.tex()}»%
        «{step.nested.rule.tex()}»%
    »''' if step.nested else '«»'}
  /end«prooftree»//
  /noindent""" configSeq += f"""{'/Rightarrow//' if not c == 0 else ''} {step.before.tex()} {f'/Rightarrow// {step.after.tex()}' if c==(len(self.steps)-1) else ''}""" configSeq = configSeq . replace ( "/" , "\\" ) configSeq = '$' + configSeq + '$' tree = tree . replace ( "/" , "\\" ) tree = tree . replace ( "«",   {")  tree = tree . replace ( "»",   }")  return tree , configSeq
short_docstring: Captures the trees and configuration chain in a string
short_docstring_tokens: Captures the trees and configuration chain in a string
comment: """
          Captures the trees and configuration chain in a string
          """$SEP$# Note that / will be replaced with \ and < and > are replaced with { and } respectively.