mix greek letters into the expression, with some symbols being replaced by their values (#8)