Update char_.rs (#3975)

added a few more chars and abbreviations
This commit is contained in:
Darren Schroeder 2021-08-29 08:40:28 -05:00 committed by GitHub
parent 707a4ebc15
commit 66cedf0b3a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -41,8 +41,10 @@ lazy_static! {
"right_brace" => '}'.to_string(),
"rbrace" => '}'.to_string(),
"left_paren" => '('.to_string(),
"lp" => '('.to_string(),
"lparen" => '('.to_string(),
"right_paren" => ')'.to_string(),
"rp" => ')'.to_string(),
"rparen" => ')'.to_string(),
"left_bracket" => '['.to_string(),
"lbracket" => '['.to_string(),
@ -97,6 +99,8 @@ lazy_static! {
"question" => '?'.to_string(), // ? question, q
"q" => '?'.to_string(),
"colon" => ':'.to_string(), // : colon
"underscore" => '_'.to_string(),
"u" => '_'.to_string(),
// This is the unicode section
// Unicode names came from https://www.compart.com/en/unicode