normal form; mixed type partial differential equation; main symbol