Xerar unha versión máis complexa desta frase Un exemplo é o tipo de n - tuplas de números reais, que podemos denotar como \\ mbox (, n).
Por suposto, unha versión máis complexa da frase é "Un exemplo é o tipo de n - tuplas de números reais, que podemos denotar como \\ mbox (, n), este é un tipo dependente porque o tipo''depende' do valor n:. "