Third feature of the glossary of Grice's natural deduction system

The third feature of the glossary involves the use of the subscripted square bracket:

phi sub [n]

indicates

"a formula, the HIGHEST subscript which which denotes n".