Template:TableauLine

This template is used for writing a generic line in a tableau proof, for which no specific template exists.

It can only be used between instances of the BeginTableau and EndTableau templates.

It can be invoked as:

The different variables have the following meaning:
 * 1)   - Line numbering
 * 2)   - Line numbers of assumptions this line rests on
 * 3)   - The actual formula, without   delimiters
 * 4)   - Link to the page specifying the rule involved
 * 5)   - Text for the rule
 * 6)   - Direct dependencies of this line
 * 7)   - Comment


 * align="right" style="padding: 0px 3px" | ||
 * align="right" style="padding: 0px 3px" |
 * align="left" style="padding: 0px 3px" | $$
 * align="left" style="padding: 0px 3px" |
 * align="left" style="padding: 0px 3px" |
 * align="left" style="padding: 0px 3px" |
 * align="left" style="padding: 0px 3px" |