Generar una versión más compleja de esta oración Un ejemplo es el tipo de n - tuplas de números reales, que podemos denotar como \\ mbox (, n).
Por supuesto, una versión más compleja de la oración es "Un ejemplo es el tipo de n - tuplas de números reales, que podemos denotar como \\ mbox (, n), este es un tipo dependiente porque el tipo''depende' 'del valor n:. "