In Chap.  4 , we defined a convenient compact notation for the four kinds of types and seven kinds of expressions in Alonzo. In this chapter we extend this compact notation to include notation for a variety of useful operators, binders, and abbreviations. The new notation is introduced using notational definitions.