Given an expression with variables, you can substitute a variable by a
value with the | operator or the subst command.
Input:
then:
or:
Output:
One other way to do this is with something akin to functional
notation; following the expression with equalities of the form
variable = value.
Input:
Output:
Input:
Output: