First feature of glossary for Grice's natural deduction system

The first feature is the definition of

"eta sub n"

--- For 'eta' a symbol, 'eta sub n' denotes the result of attaching a subscript denoting n to eta.