@@ -149,12 +149,11 @@ Idris prompt:
149149
150150.. note::
151151
152− When displaying an element of ``Nat``,
153− such as ``(S (S (S (S Z))))``, for a user.
154− Idris displays it as 4 -- a more human readable format.
152+ When displaying an element of ``Nat`` such as ``(S (S (S (S Z))))``,
153+ Idris displays it as ``4``.
155154 The result of ``plus (S (S Z)) (S (S Z))``
156155 is actually ``(S (S (S (S Z))))``
157− which is the natural number 4.
156+ which is the natural number ``4``.
158157 This can be checked at the Idris prompt:
159158
160159::