Template:Formal Logic/TOCPageNav

Usage
Used to navigate modules at the second level below the. In particular, intended for navitating modules at the second level below Formal Logic.

Example

Parameter base
 * The grandparent to the current page.
 * In the example, Formal Logic.
 * Intended and defaults to "Formal Logic" (relosving to Formal Logic ).
 * May be missing, but must not be blank (i.e., you can omit the parameter, but do not use " |base=| ").

Paramteter up
 * base/up is the parent to the current page.
 * In the example, Formal Logic/Sentential Logic.
 * There is no default. The parameter must be neither blank nor missing.

Parameter prev
 * base/up/prev is the pervious page at the current level.
 * In the example, Formal Logic/Sentential Logic/Formal Syntax.
 * If blank, to Begin is substituted for a link to the previous page.
 * May be blank, but must not be missing (i.e., you can use "|prev=|", but do not omit the parameter entirely).

Parameter next
 * base/up/next is the next page at the current level.
 * In the example, Formal Logic/Sentential Logic/Formal Semantics.
 * If blank, to End is substituted for a link to the next page.
 * May be blank, but must not be missing (i.e., you can use "|next=|", but do not omit the parameter entirely).