### 6.13.17 Substituer une valeur à une variable : `|`

`|` est une fonction infixée qui substitue des valeurs à des variables : `|` a deux arguments : une expression dependant d’un paramètre et une égalité (paramètre=valeur de substitution,paramètre=valeur de substitution,... ) . On tape :

`a```^```2+1|a=2`

On obtient même si la variable `a` est affectée :

`5`

On tape :

`a```^```2+b|a=2,b=3`

On obtient même si les variables `a` et `b` sont affectées :

`7`