[GiNaC-list] dirac_spinor?