APC	Antigen-Presenting Cell
BrdU	Bromodeoxyuridine
CLP	Common Lymphoid Progenitor
CD4SP	Single-Positive CD4${}^{+}$CD8${}^{-}$ thymocyte
CD8SP	Single-Positive CD4${}^{-}$CD8${}^{+}$ thymocyte
CTV	Cell Trace Violet
DC	Dendritic Cell
DN	Double-Negative thymocyte
DP	Double-Positive thymocyte
EdU	5-Ethynyl-2’-deoxyuridine
ETP	Early T-lineage Progenitor
iSP8	Immature Single-Positive CD8${}^{+}$ thymocyte
LMPP	Lymphoid-Primed Multipotent Progenitors
MHC	Major Histocompatibility Complex
ODE	Ordinary Differential Equation
SP	Single-Positive thymocyte
TCR	T-cell Receptor
TRA	Tissue Restricted Antigen
Treg	Regulatory T cell