* fixed substitution of one symbol