Generar una versió més complexa d'aquesta frase Un exemple és el tipus de n-tuples de nombres reals, que podem denotar com a \\ mbox (, n).
Per descomptat, una versió més complexa de la frase és "Un exemple és el tipus de n-tuples de nombres reals, que podem denotar com a mbox (, n), aquest és un tipus dependent perquè el tipus''depend' 'del valor n:. "