Przykładem jest rodzaj n - tuplek liczb rzeczywistych, które możemy oznaczyć jako \\ mbox (, n).
Oczywiście bardziej skomplikowana wersja zdania brzmi: "Przykładem jest typ n - tuplek liczb rzeczywistych, które możemy oznaczyć jako \\ mbox (, n), jest to typ zależny, ponieważ typ'' zależy'' od wartości n:. "