Skip to content

Commit fd02c0d

Browse files
committed
Correct standard unicode for Implies
1 parent 74fcf17 commit fd02c0d

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

mathics_scanner/data/named-characters.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4245,8 +4245,8 @@ Implies:
42454245
esc-alias: =>
42464246
has-unicode-inverse: true
42474247
is-letter-like: false
4248-
unicode-equivalent: "\u27F9"
4249-
unicode-equivalent-name: LONG RIGHTWARDS DOUBLE ARROW
4248+
unicode-equivalent: "\u21D2"
4249+
unicode-equivalent-name: RIGHTWARDS DOUBLE ARROW
42504250
wl-unicode: "\uF523"
42514251
Increment:
42524252
ascii: "++"

mathics_scanner/generate/build_tables.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -194,7 +194,7 @@ def compile_tables(data: dict) -> dict:
194194

195195

196196
@click.command()
197-
@click.version_option(version=__version__)
197+
@click.version_option(version=__version__) # NOQA
198198
@click.option(
199199
"--field",
200200
"-f",

0 commit comments

Comments
 (0)