So this is illustrated by a rewrite rule, not an equation.
Αυτό φαίνεται από έναν κανόνα επαναγραφής και όχι μια εξίσωση.