[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
10.3 Diversion numbers
The current diversion is tracked by the builtin divnum
:
Initial divnum ⇒Initial 0 divert(`1') Diversion one: divnum divert(`2') Diversion two: divnum ^D ⇒ ⇒Diversion one: 1 ⇒ ⇒Diversion two: 2 |