Merge pull request #63 from andreaswachowski/fix-some-German-symbols

Fix German names for U+2013 U+2014 U+2213 U+2214
This commit is contained in:
Oleg Grigoriev
2019-01-22 16:31:27 +03:00
committed by GitHub
2 changed files with 4 additions and 4 deletions

View File

@ -17,8 +17,8 @@
2010: Bindestrich : Divis, Hyphen
2011: Geschützter Bindestrich : Nicht-umbrechender Bindestrich, Non-breaking Hyphen
2012: Figure dash
2013: En dash
2014: Em dash
2013: Halbgeviertstrich
2014: Geviertstrich
2015: Horizontal bar
2016: Double vertical line
2017: Double low line

View File

@ -17,8 +17,8 @@
2210: N-ary coproduct
2211: N-ary summation
2212: Minuszeichen
2213: Halbgeviertstrich
2214: Geviertstrich
2213: Minus-oder-Plus-Zeichen
2214: Dot plus
2215: Division slash
2216: Set minus
2217: Asterisk operator