Verilen bir deyimin mantıksal değişmezlerine dokunmaksizın, mantıksal olmayan değişmezlerinin tümünün kendi dizimsel türlerine uygun simgelerle değiştirilmesi işlemi. || Bu işlemde, aynı değişmezler yerine aynı simge, ayrı değişmezler yerine ayrı simgeler konulmalıdır.