Changes

{| align="center" cellpadding="8" width="90%"

{| align="center" cellpadding="8" width="90%"

| 1.1. || <math>f : \mathbb{B} \to \mathbb{B}</math> such that <math>f : x \mapsto \underline{(}~ x ~\underline{)}</math>

|

| 1.2. || <math>x' ~=~ \underline{(}~ x ~\underline{)}</math>

1.1. & f : \mathbb{B} \to \mathbb{B}\ \text{such that}\ f : \texttt{x} \mapsto \texttt{(x)}

| 1.3. || <math>x ~:=~ \underline{(}~ x ~\underline{)}</math>

1.2. & \texttt{x}' ~=~ \texttt{(x)}

| 1.4. || <math>dx ~=~ 1</math>

1.3. & \texttt{x} ~:=~ \texttt{(x)}

1.4. & \texttt{dx} ~=~ \texttt{1}

\end{array}</math>

|}

|}