| 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 :
^
2+1|a=2On obtient même si la variable a est affectée :
On tape :
^
2+b|a=2,b=3On obtient même si les variables a et b sont affectées :