/**
  * Returns a set of needed latex commands for this latex printable object.
  *
  * @return A set of needed latex commands for this latex printable object.
  */
 public LatexCommandList getLatexCommands() {
   LatexCommandList commands = new LatexCommandList();
   commands.add(getLatexCommandsStatic());
   commands.add(this.getLeft());
   commands.add(this.getRight());
   commands.add(this.seenTypes.getLatexCommands());
   commands.add(getRule());
   return commands;
 }
 /**
  * Returns a set of needed latex commands for this latex printable object.
  *
  * @return A set of needed latex commands for this latex printable object.
  */
 public static LatexCommandList getLatexCommandsStatic() {
   LatexCommandList commands = new LatexCommandList();
   commands.add(
       new DefaultLatexCommand(
           LATEX_BYRULE,
           1,
           "\\hspace{-5mm}\\mbox{\\scriptsize\\ #1}",
           "rule")); //$NON-NLS-1$ //$NON-NLS-2$
   commands.add(
       new DefaultLatexCommand(
           LATEX_REC_SUB_TYPING_PROOF_NODE,
           7,
           LATEX_LINE_BREAK_NEW_COMMAND
               + "\\ifarrows" //$NON-NLS-1$
               + LATEX_LINE_BREAK_NEW_COMMAND
               + "\\else \\refstepcounter{node}" //$NON-NLS-1$
               + LATEX_LINE_BREAK_NEW_COMMAND
               + "\\noindent\\hspace{\\treeindent}\\hspace{#2\\nodeindent}" //$NON-NLS-1$
               + LATEX_LINE_BREAK_NEW_COMMAND
               + "\\rnode{\\thetree.#1}{\\makebox[6mm]{(\\thenode)}}\\label{\\thetree.#1}" //$NON-NLS-1$
               + LATEX_LINE_BREAK_NEW_COMMAND
               + "$\\begin{tabular}[t]{p{#7}}$" //$NON-NLS-1$
               + LATEX_LINE_BREAK_NEW_COMMAND_INDENT1
               // begin of the node variables
               + "#3\\ \\color{"
               + LATEX_COLOR_NONE
               + "}{\\vdash}" //$NON-NLS-1$//$NON-NLS-2$
               + "\\ #4\\ \\color{"
               + LATEX_COLOR_NONE
               + "}{<:}\\ #5" //$NON-NLS-1$ //$NON-NLS-2$
               + LATEX_LINE_BREAK_NEW_COMMAND
               + "$\\\\$" //$NON-NLS-1$
               + LATEX_LINE_BREAK_NEW_COMMAND_INDENT1
               + "\\byrule{#6}" //$NON-NLS-1$
               // end of the node variables
               + LATEX_LINE_BREAK_NEW_COMMAND
               + "$\\end{tabular}$" //$NON-NLS-1$
               + LATEX_LINE_BREAK_NEW_COMMAND
               + "\\vspace{\\nodesep}" //$NON-NLS-1$
               + LATEX_LINE_BREAK_NEW_COMMAND
               + "\\fi",
           "depth",
           "id", //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$
           "seenTypes",
           "type",
           "type2",
           "rule",
           "space")); //$NON-NLS-1$//$NON-NLS-2$//$NON-NLS-3$ //$NON-NLS-4$ //$NON-NLS-5$
   return commands;
 }