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