Осы сөйлемнің күрделірек нұсқасын құру Мысал ретінде нақты сандардың n - топтамасының түрін келтірейік, оны \ mbox (, n) деп белгілейміз.
Әрине, сөйлемнің күрделірек нұсқасы "Мысал ретінде нақты сандардың n - топтамаларының түрін келтіруге болады, оны біз \ mbox (, n) деп көрсете аламыз, бұл тәуелді тип, өйткені '' тәуелді' түрі n:. "