original_docstring: 
          Converts the proof tree in TeX code. This method should not be called
          directly, use :meth:`UnnamedOpetopicSet.RuleInstance.toTex` instead.
          
docstring: Converts the proof tree in TeX code. This method should not be called
  directly, use :meth:`UnnamedOpetopicSet.RuleInstance.toTex` instead.
docstring_tokens: Converts the proof tree in TeX code . This method should not be called directly use : meth : ` UnnamedOpetopicSet . RuleInstance . toTex ` instead .
code: def _toTex(self) -> str:
          """
          Converts the proof tree in TeX code. This method should not be called
          directly, use :meth:`UnnamedOpetopicSet.RuleInstance.toTex` instead.
          """
          return self.proofTree._toTex() + \
              "\n\t\\RightLabel{\\texttt{tuniv-$" + self.tuCellName + "$/$" + \
              self.cellName + "$}}\n\t\\UnaryInfC{$" + self.eval().toTex() + "$}"
code_tokens: def _toTex ( self ) -> str : return self . proofTree . _toTex ( ) + "\n\t\\RightLabel{\\texttt{tuniv-$" + self . tuCellName + "$/$" + self . cellName + "$}}\n\t\\UnaryInfC{$" + self . eval ( ) . toTex ( ) + "$}"
short_docstring: Converts the proof tree in TeX code.
short_docstring_tokens: Converts the proof tree in TeX code .
comment: """
          Converts the proof tree in TeX code. This method should not be called
          directly, use :meth:`UnnamedOpetopicSet.RuleInstance.toTex` instead.
          """