# How to LaTeX Double Left Arrow Symbol

To type the double left arrow symbol (⇐) in LaTeX, use the LaTeX command `\Leftarrow`

. It will add ⇐ arrow in the text.

In this article, we will discuss how to use leftward double arrow (⇐) in the LaTeX document and their significance in the mathematical expressions and logical statements.

## Symbol Overview

**Symbol:** Double Left Arrow

**Unicode:** U+21D0

**Type:** Mathematical

**Package Requirement:** None (built-in symbol)

**Argument:** None (no additional arguments needed)

**LaTeX Command:** \Leftarrow

**Example:** ⇐

## Description

The **double left arrow** represented as a double-headed left pointing arrow (⇐) is available in LaTeX. It is used to indicate a leftward directional relationship. In mathematics context, it is used to represents the logical implication or “if-then” statements. In logical context, it is used in operations such as “if and only if”.

## Syntax

The LaTeX command `\Leftarrow`

is used to display the **double left arrow** symbol.

```
\Leftarrow
```

Let’s understand using double left arrow symbol in various domains like mathematics, logical context with the help of examples.

## Using the Double Left Arrow Symbol in a Mathematical Expression

```
\documentclass{article}
\begin{document}
\[ x \Leftarrow y \]
\end{document}
```

Output: 👇️

x ⇐ y

Here in the above example, `x \Leftarrow y`

represents a logical implication, indicating that if ‘y’ is true then ‘x’ is also true.

## Using the Double-headed Left Arrow Symbol in Logical Statement

```
\documentclass{article}
\begin{document}
\[ P \land Q \Leftarrow (P \lor \neg Q) \]
\end{document}
```

Output: 👇️

P ∧ Q ⇐ (P ∨ ¬Q)

In the above example, the `\Leftarrow`

represents the “if and only if” operation in the logical statement. Logical statement is true when the both ‘P’ and ‘Q’ have the same truth value.

## Applications

The `doouble left arrow`

symbol has versatile applications in LaTeX documents such as:

- Represents logical implications or “if-then” statements in mathematical expression or equations.
- Indicates logical relationship or “if and only if” in logical statement.

## Conclusion

Using the double sided left arrow symbol in LaTeX documents, you can use it in document where leftward directional relationships, logical implications, and logical equivalence are required. It helps to create visually appealing and formatted documents with enhanced mathematical and logical representations.