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