فعلى سبيل المثال، في نظام الجبر الحاسوبي كماكسيما أو ماثماتيكا، قد يكتب النظام معطية مثل "x ^ 2 + 3 * x" as "formula_1".
For example, in computer algebra systems such as Maxima or Mathematica the system may write output like "x ^ 2 + 3 * x" as "formula_1".