احصل على نسخة اكثر تعقيداً من هذه الجملة. مثال على ذلك هو نوع n-مجموعات من الأعداد الحقيقية، والذي يمكن ان نسميه \\ mbox (, n ).
بطبيعة الحال، نسخة اكثر تعقيداً من الجملة هي "مثال هو نوع n - توبلات من الأعداد الحقيقية ، والتي يمكن ان نشير اليها باسم mbox (، n) ، هذا نوع معتمد لأن النوع''يعتمد' 'على القيمة n:. "