  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.
