enw

description.md

@@ -6,16 +6,16 @@ Type English for logic symbols! This is a simple string replacement program dedi
 
 ### Steps
 
-* Input your FOL sentence in the box of **string**. If you want to type a specific logic symbol at some point of your FOL sentence, just type its corresponding tag (uppercase English words) instead, and keep everything else the same. You will find the translation and five examples below.
-* The translation is **real-time**. The result would be shown in the box of **output**.
-* Just copy the result for your need!
+1. Input your FOL sentence in the box of **string**. If you want to type a specific logic symbol at some point of your FOL sentence, just type its corresponding tag (uppercase English words) instead, and keep everything else the same. You will find the translation and five examples below.
+2. The translation is **real-time**. The result would be shown in the box of **output**.
+3. Just copy the result for your need!
 
 ### Notice
 
 * Note that you can input **multi-line** sentences!
 * Please don’t include the exact same uppercase spelling of any of the tags in your FOL sentence if you don’t mean it, or the program will replace them without thinking. For example, it your input sentence is: **WALL(berlin wall)** meaning “berlin wall is a wall”, the program output would be **W∀(berlin wall)** with the **ALL** after **W** replaced by **∀**, which is not what you want.
 
-# Translation
+## Translation
 | Logic Symbol |  Tag  |
 | :----------: | :---: |
 |      ∧       |  AND  |