HYalpha<Idelta> Tcra/Tcrd<tm1.1(Tcra)Rsky> http://identifiers.org/mgd/MGI:3773839 targeted mutation 1.1, Klaus Rajewsky MGI:3773839