Start type notation