“…Since the symbol theory developed in [23] was not published, some parts of it were supplied by the first author [2] and the theory played a role in the analysis of operators of infinite order (cf. Aoki [1], [3], Aoki, Kawai, Koike and Takei [7], Aoki, Kawai and Takei [8], Kajitani and Wakabayashi [14], Kataoka [24], Uchikoshi [32]). Some systematic description of the theory has been included in the book of Aoki, Kataoka and Yamazaki [6].…”