diff --git a/README.md b/README.md
index 02d75c38c..d4d9d13d0 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,5 @@
 # Lama
 
-## Introduction
-
 \lama is a programming language developed by JetBrains Research for educational purposes as an exemplary language to introduce
 the domain of programming languages, compilers and tools. Its general characteristics are:
 
@@ -15,7 +13,7 @@ the domain of programming languages, compilers and tools. Its general characteri
 * with user-defined infix operators, including those defined in local scopes;
 * with automatic memory management (garbage collection).
 
-The name \lama is an acronym for $\lambda\textsc{-Algol}$ since the language has borrowed the syntactic shape of
+The name \lama is an acronym for $\lambda$**-Algol** since the language has borrowed the syntactic shape of
 operators from **Algol-68**; [**Haskell**](www.haskell.org) and [**OCaml**](www.ocaml.org) can be
 mentioned as other languages of inspiration.