Previous:
sq
, Up:
Miscellaneous Rules
6.5.4 Induction