description.md

## Intro

Type English for logic symbols! This is a simple string replacement program dedicated for typing logic symbols. Since those symbols are not on our keyboard, typing them is a little cumbersome. This tool allows you to type English to get them. Have fun!

## Usage

### Steps

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
| Logic Symbol |  Tag  |
| :----------: | :---: |
|      ∧       |  AND  |
|      ∨       |  OR   |
|      ¬       |  NOT  |
|      ⊕       |  XR   |
|      →       | IMPLY |
|      ↔       | EQUIV |
|      ∀       |  ALL  |
|      ∃       | EXIST |