Foxp3dtrgfp

The Nrn1^−/− mice (Fujino et al., 2011 (link)), Foxp3DTRGFP (FDG)(Kim et al., 2007 (link)), and TCRα^−/− mice were obtained from the Jackson Laboratory. OTII mice on Thy1.1⁺ background was kindly provided by Dr. Jonathan Powell. Rag2^−/− mice were maintained in our mouse facility. 6.5 TCR transgenic mice specific for HA antigen and C3HA mice (both on the B10.D2 background) have been described previously (Huang et al., 2004 (link)). Nrn1^−/− mice were crossed with OTII mice to generate Nrn1^−/−_OTII⁺ mice, ctrl_OTII⁺ mice. Nrn1^−/− mice were also crossed with FDG mice to generate Nrn1^−/−_FDG and ctrl_FDG mice. All mice colonies were maintained in accordance with the guidelines of Johns Hopkins University and the institutional animal care and use committee

All animal studies were performed according to the investigator’s protocol approved by the Institutional Animal Care and Use Committee of Columbia University and New York University Langone Medical Center. Flt3^ITD/+ (Lee et al., 2007 (link)), CX3CR1^GFP/GFP (Jung et al., 2000 (link)), Batf3^−/− (Hildner et al., 2008 (link)), FoxP3^DTR-GFP (Kim et al., 2007 (link)), FoxP3^GFP (Fontenot et al., 2005 (link)), FoxP3^Sf, and Rag1^−/− mice were obtained from The Jackson Laboratory. All mice were on pure C57BL/6 (B6) background and were maintained by crossing to wild-type B6 mice. Unless indicated otherwise, Flt3^+/+ littermates of Flt3^ITD/+ or of Flt3^ITD/ITD animals were used as wild-type controls. To study allogeneic T cell responses, Flt3^ITD/+ mice were crossed to FVB/N mice (Taconic) to generate wild-type of Flt3^ITD/+ (B6xFVB) F₁ littermates. For T reg cell depletion model, FoxP3^{DTR-GFP/DTR-GFP} females were crossed to Flt3^ITD/+ males, and male progeny were studied. For T cell–mediated autoimmunity model, FoxP3^sf/+ females were bred to Flt3^ITD/+ males, and only male FoxP3^sf/y progeny were studied. Mice were analyzed at 5–14 wk of age unless otherwise noted.