Principal symbol of Euler-Lagrange operators

We shall introduce the principal symbol for quite a general class of (quasi linear) Euler–Lagrange operators and use them to characterise well-posed initial value problems in gauge covariant field theories. We shall clarify how constraints can arise in covariant Lagrangian theories by extending the standard treatment in GR and without resorting to Hamiltonian formalism. Finally as an example of application, we sketch a quantisation procedure based on what is done in LQG by framing it in a more general context which applies to general gauge covariant field theories.