From 5a63f05f6714107f118b1225f88befda17ccccf3 Mon Sep 17 00:00:00 2001
From: Moritz Bunkus <m.bunkus@linet-services.de>
Date: Mon, 25 Mar 2019 11:10:08 +0100
Subject: [PATCH] =?utf8?q?special=5Fchars:=20=E2=86=94=20und=20=E2=86=95?=
 =?utf8?q?=20erg=C3=A4nzt?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 locale/de/special_chars | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/locale/de/special_chars b/locale/de/special_chars
index 7e258a611..70e8d2bec 100644
--- a/locale/de/special_chars
+++ b/locale/de/special_chars
@@ -34,7 +34,7 @@ order=< > \n
 \n=<br>
 
 [Template/LaTeX]
-order=\\ <pagebreak> & \n \r " $ <bullet> % _ # ^ { } < > £ ± ² ³ ° § ® © \xad \xa0 ➔ → ← | − ≤ ≥ ‐ ​ Ω μ Δ ~
+order=\\ <pagebreak> & \n \r " $ <bullet> % _ # ^ { } < > £ ± ² ³ ° § ® © \xad \xa0 ➔ → ← ↔ ↕ | − ≤ ≥ ‐ ​ Ω μ Δ ~
 \\=\\textbackslash\s
 <pagebreak>=
 "=''
@@ -65,6 +65,8 @@ _=\\_
 ➔=$\\rightarrow$
 →=$\\rightarrow$
 ←=$\\leftarrow$
+↔=$\\leftrightarrow$
+↕=$\\updownarrow$
 \xa0=~
 |={\\textbar}
 −={\\textemdash}
-- 
2.20.1