Principal Symbol Formula for Properly Supported Compositions