The Principal Symbol Map for Lagrangian Distributions with Complex Phase

Fourier integral operators with complex phase function are an important tool in the analysis of partial differential equations. The present paper focus on the principal symbol of Lagrangian distributions with complex phase. We provide an alternative construction of the principal symbol map for such distributions, which allows us to compute the principal symbol after clean composition of Fourier integral operators with complex phase.