diff --git a/README.md b/README.md
index 06ebe04749a080f565b8a16b4a0240a2a3a57920..d218264de8b109e3d41f7567629f3b3dc242add0 100644
--- a/README.md
+++ b/README.md
@@ -21,8 +21,8 @@ files.
 The specification can be found in the folder `maude`. It includes the following files:
 
 - _alt-smt_: Representation of SMT Boolean, Integer and Real expressions as
-  Maude's terms. SMT variables are encoded as terms of the form bb(x), ii(x)
-  and rr(x) where x is a term of sort SMTVarId. 
+  Maude's terms. SMT variables are encoded as terms of the form `bb(x)`, `ii(x)`
+  and `rr(x)` where `x` is a term of sort `SMTVarId`. 
 - _analysis_: Definition of commands to perform parameter-synthesis and search
   with folding. 
 - _fme_: Implementation of the Fourier–Motzkin elimination procedure.