From a270a31f075c03991027c2327953f095e523bf85 Mon Sep 17 00:00:00 2001 From: Takafumi Arakaki Date: Mon, 10 Feb 2020 13:19:33 -0800 Subject: [PATCH 1/9] Add \fatsemi to prec-times operator --- src/julia-parser.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/julia-parser.scm b/src/julia-parser.scm index 4ec5b55bd4159..ae0b43189920b 100644 --- a/src/julia-parser.scm +++ b/src/julia-parser.scm @@ -26,7 +26,7 @@ (define prec-colon (append! '(: |..|) (add-dots '(… ⁝ ⋮ ⋱ ⋰ ⋯)))) (define prec-plus (append! '($) (add-dots '(+ - |\|| ⊕ ⊖ ⊞ ⊟ |++| ∪ ∨ ⊔ ± ∓ ∔ ∸ ≏ ⊎ ⊻ ⊽ ⋎ ⋓ ⧺ ⧻ ⨈ ⨢ ⨣ ⨤ ⨥ ⨦ ⨧ ⨨ ⨩ ⨪ ⨫ ⨬ ⨭ ⨮ ⨹ ⨺ ⩁ ⩂ ⩅ ⩊ ⩌ ⩏ ⩐ ⩒ ⩔ ⩖ ⩗ ⩛ ⩝ ⩡ ⩢ ⩣)))) -(define prec-times (add-dots '(* / ÷ % & ⋅ ∘ × |\\| ∩ ∧ ⊗ ⊘ ⊙ ⊚ ⊛ ⊠ ⊡ ⊓ ∗ ∙ ∤ ⅋ ≀ ⊼ ⋄ ⋆ ⋇ ⋉ ⋊ ⋋ ⋌ ⋏ ⋒ ⟑ ⦸ ⦼ ⦾ ⦿ ⧶ ⧷ ⨇ ⨰ ⨱ ⨲ ⨳ ⨴ ⨵ ⨶ ⨷ ⨸ ⨻ ⨼ ⨽ ⩀ ⩃ ⩄ ⩋ ⩍ ⩎ ⩑ ⩓ ⩕ ⩘ ⩚ ⩜ ⩞ ⩟ ⩠ ⫛ ⊍ ▷ ⨝ ⟕ ⟖ ⟗))) +(define prec-times (add-dots '(* / ÷ % & ⋅ ∘ × |\\| ∩ ∧ ⊗ ⊘ ⊙ ⊚ ⊛ ⊠ ⊡ ⊓ ∗ ∙ ∤ ⅋ ≀ ⊼ ⋄ ⋆ ⋇ ⋉ ⋊ ⋋ ⋌ ⋏ ⋒ ⟑ ⦸ ⦼ ⦾ ⦿ ⧶ ⧷ ⨇ ⨰ ⨱ ⨲ ⨳ ⨴ ⨵ ⨶ ⨷ ⨸ ⨻ ⨼ ⨽ ⩀ ⩃ ⩄ ⩋ ⩍ ⩎ ⩑ ⩓ ⩕ ⩘ ⩚ ⩜ ⩞ ⩟ ⩠ ⫛ ⊍ ▷ ⨝ ⟕ ⟖ ⟗ ⨟))) (define prec-rational (add-dots '(//))) (define prec-bitshift (add-dots '(<< >> >>>))) ;; `where` From 98d08ea332c128a8649e38552b0be7aaf8d594d8 Mon Sep 17 00:00:00 2001 From: Takafumi Arakaki Date: Mon, 10 Feb 2020 13:25:46 -0800 Subject: [PATCH 2/9] Add \fatsemi to latex_symbols.jl --- stdlib/REPL/src/latex_symbols.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/stdlib/REPL/src/latex_symbols.jl b/stdlib/REPL/src/latex_symbols.jl index a71744ae2b63f..fdfb9ac6a549e 100644 --- a/stdlib/REPL/src/latex_symbols.jl +++ b/stdlib/REPL/src/latex_symbols.jl @@ -524,6 +524,7 @@ const latex_symbols = Dict( "\\setminus" => "∖", "\\ast" => "∗", "\\circ" => "∘", + "\\fatsemi" => "⨟", "\\surd" => "√", "\\propto" => "∝", "\\infty" => "∞", From 9057b7004798101c03025addeef195945075e1c0 Mon Sep 17 00:00:00 2001 From: Takafumi Arakaki Date: Mon, 10 Feb 2020 20:17:54 -0800 Subject: [PATCH 3/9] Use U+2a3e instead of U+2a1f --- src/julia-parser.scm | 2 +- stdlib/REPL/src/latex_symbols.jl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/julia-parser.scm b/src/julia-parser.scm index ae0b43189920b..6d2d644c8b521 100644 --- a/src/julia-parser.scm +++ b/src/julia-parser.scm @@ -26,7 +26,7 @@ (define prec-colon (append! '(: |..|) (add-dots '(… ⁝ ⋮ ⋱ ⋰ ⋯)))) (define prec-plus (append! '($) (add-dots '(+ - |\|| ⊕ ⊖ ⊞ ⊟ |++| ∪ ∨ ⊔ ± ∓ ∔ ∸ ≏ ⊎ ⊻ ⊽ ⋎ ⋓ ⧺ ⧻ ⨈ ⨢ ⨣ ⨤ ⨥ ⨦ ⨧ ⨨ ⨩ ⨪ ⨫ ⨬ ⨭ ⨮ ⨹ ⨺ ⩁ ⩂ ⩅ ⩊ ⩌ ⩏ ⩐ ⩒ ⩔ ⩖ ⩗ ⩛ ⩝ ⩡ ⩢ ⩣)))) -(define prec-times (add-dots '(* / ÷ % & ⋅ ∘ × |\\| ∩ ∧ ⊗ ⊘ ⊙ ⊚ ⊛ ⊠ ⊡ ⊓ ∗ ∙ ∤ ⅋ ≀ ⊼ ⋄ ⋆ ⋇ ⋉ ⋊ ⋋ ⋌ ⋏ ⋒ ⟑ ⦸ ⦼ ⦾ ⦿ ⧶ ⧷ ⨇ ⨰ ⨱ ⨲ ⨳ ⨴ ⨵ ⨶ ⨷ ⨸ ⨻ ⨼ ⨽ ⩀ ⩃ ⩄ ⩋ ⩍ ⩎ ⩑ ⩓ ⩕ ⩘ ⩚ ⩜ ⩞ ⩟ ⩠ ⫛ ⊍ ▷ ⨝ ⟕ ⟖ ⟗ ⨟))) +(define prec-times (add-dots '(* / ÷ % & ⋅ ∘ × |\\| ∩ ∧ ⊗ ⊘ ⊙ ⊚ ⊛ ⊠ ⊡ ⊓ ∗ ∙ ∤ ⅋ ≀ ⊼ ⋄ ⋆ ⋇ ⋉ ⋊ ⋋ ⋌ ⋏ ⋒ ⟑ ⦸ ⦼ ⦾ ⦿ ⧶ ⧷ ⨇ ⨰ ⨱ ⨲ ⨳ ⨴ ⨵ ⨶ ⨷ ⨸ ⨻ ⨼ ⨽ ⩀ ⩃ ⩄ ⩋ ⩍ ⩎ ⩑ ⩓ ⩕ ⩘ ⩚ ⩜ ⩞ ⩟ ⩠ ⫛ ⊍ ▷ ⨝ ⟕ ⟖ ⟗ ⨾))) (define prec-rational (add-dots '(//))) (define prec-bitshift (add-dots '(<< >> >>>))) ;; `where` diff --git a/stdlib/REPL/src/latex_symbols.jl b/stdlib/REPL/src/latex_symbols.jl index fdfb9ac6a549e..a0f88c00cc318 100644 --- a/stdlib/REPL/src/latex_symbols.jl +++ b/stdlib/REPL/src/latex_symbols.jl @@ -524,7 +524,7 @@ const latex_symbols = Dict( "\\setminus" => "∖", "\\ast" => "∗", "\\circ" => "∘", - "\\fatsemi" => "⨟", + "\\fatsemi" => "⨾", "\\surd" => "√", "\\propto" => "∝", "\\infty" => "∞", From 37e239ce7fb04c16598e969350c53ab75a93afaf Mon Sep 17 00:00:00 2001 From: Takafumi Arakaki Date: Mon, 10 Feb 2020 20:18:54 -0800 Subject: [PATCH 4/9] Add \bb; to latex_symbols.jl --- stdlib/REPL/src/latex_symbols.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/stdlib/REPL/src/latex_symbols.jl b/stdlib/REPL/src/latex_symbols.jl index a0f88c00cc318..c6c36c5e877d2 100644 --- a/stdlib/REPL/src/latex_symbols.jl +++ b/stdlib/REPL/src/latex_symbols.jl @@ -525,6 +525,7 @@ const latex_symbols = Dict( "\\ast" => "∗", "\\circ" => "∘", "\\fatsemi" => "⨾", + blackboard*";" => "⨾", "\\surd" => "√", "\\propto" => "∝", "\\infty" => "∞", From 670f5d6f067c12882a0377690dd18823891cbdf0 Mon Sep 17 00:00:00 2001 From: Takafumi Arakaki Date: Mon, 10 Feb 2020 21:43:31 -0800 Subject: [PATCH 5/9] Add news --- NEWS.md | 1 + 1 file changed, 1 insertion(+) diff --git a/NEWS.md b/NEWS.md index b6cd935bab524..7810ad683947a 100644 --- a/NEWS.md +++ b/NEWS.md @@ -4,6 +4,7 @@ Julia v1.5 Release Notes New language features --------------------- * Macro calls `@foo {...}` can now also be written `@foo{...}` (without the space) ([#34498]). +* `⨾` (`\bb;`) is now parsed as a binary operator with times precedence ([#34722]). Language changes ---------------- From ceb093f26fc5ae52f481a9f47f2223f92389518c Mon Sep 17 00:00:00 2001 From: Takafumi Arakaki Date: Tue, 11 Feb 2020 14:52:51 -0800 Subject: [PATCH 6/9] Rename: \bb; -> \bbsemi --- NEWS.md | 2 +- stdlib/REPL/src/latex_symbols.jl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/NEWS.md b/NEWS.md index 7810ad683947a..18b950622c197 100644 --- a/NEWS.md +++ b/NEWS.md @@ -4,7 +4,7 @@ Julia v1.5 Release Notes New language features --------------------- * Macro calls `@foo {...}` can now also be written `@foo{...}` (without the space) ([#34498]). -* `⨾` (`\bb;`) is now parsed as a binary operator with times precedence ([#34722]). +* `⨾` (`\bbsemi`) is now parsed as a binary operator with times precedence ([#34722]). Language changes ---------------- diff --git a/stdlib/REPL/src/latex_symbols.jl b/stdlib/REPL/src/latex_symbols.jl index c6c36c5e877d2..835dda1b1c922 100644 --- a/stdlib/REPL/src/latex_symbols.jl +++ b/stdlib/REPL/src/latex_symbols.jl @@ -525,7 +525,7 @@ const latex_symbols = Dict( "\\ast" => "∗", "\\circ" => "∘", "\\fatsemi" => "⨾", - blackboard*";" => "⨾", + blackboard*"semi" => "⨾", "\\surd" => "√", "\\propto" => "∝", "\\infty" => "∞", From 7fed753a5ed3d6378775d3374904e6e00a19d0e0 Mon Sep 17 00:00:00 2001 From: Takafumi Arakaki Date: Tue, 11 Feb 2020 17:40:45 -0800 Subject: [PATCH 7/9] Tweak NEWS --- NEWS.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/NEWS.md b/NEWS.md index 18b950622c197..5ed7d7d6462ab 100644 --- a/NEWS.md +++ b/NEWS.md @@ -4,7 +4,8 @@ Julia v1.5 Release Notes New language features --------------------- * Macro calls `@foo {...}` can now also be written `@foo{...}` (without the space) ([#34498]). -* `⨾` (`\bbsemi`) is now parsed as a binary operator with times precedence ([#34722]). +* `⨾` is now parsed as a binary operator with times precedence. It can be entered in the REPL + with `\bbsemi` or `\fatsemi` followed by TAB ([#34722]). Language changes ---------------- From dcbfb4f9dc5c8e3286f1f6af4a312933b14706f4 Mon Sep 17 00:00:00 2001 From: Takafumi Arakaki Date: Tue, 11 Feb 2020 17:41:47 -0800 Subject: [PATCH 8/9] Use U+2a1f instead of U+2a3e --- NEWS.md | 2 +- src/julia-parser.scm | 2 +- stdlib/REPL/src/latex_symbols.jl | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/NEWS.md b/NEWS.md index 5ed7d7d6462ab..dc3b236b16930 100644 --- a/NEWS.md +++ b/NEWS.md @@ -4,7 +4,7 @@ Julia v1.5 Release Notes New language features --------------------- * Macro calls `@foo {...}` can now also be written `@foo{...}` (without the space) ([#34498]). -* `⨾` is now parsed as a binary operator with times precedence. It can be entered in the REPL +* `⨟` is now parsed as a binary operator with times precedence. It can be entered in the REPL with `\bbsemi` or `\fatsemi` followed by TAB ([#34722]). Language changes diff --git a/src/julia-parser.scm b/src/julia-parser.scm index 6d2d644c8b521..ae0b43189920b 100644 --- a/src/julia-parser.scm +++ b/src/julia-parser.scm @@ -26,7 +26,7 @@ (define prec-colon (append! '(: |..|) (add-dots '(… ⁝ ⋮ ⋱ ⋰ ⋯)))) (define prec-plus (append! '($) (add-dots '(+ - |\|| ⊕ ⊖ ⊞ ⊟ |++| ∪ ∨ ⊔ ± ∓ ∔ ∸ ≏ ⊎ ⊻ ⊽ ⋎ ⋓ ⧺ ⧻ ⨈ ⨢ ⨣ ⨤ ⨥ ⨦ ⨧ ⨨ ⨩ ⨪ ⨫ ⨬ ⨭ ⨮ ⨹ ⨺ ⩁ ⩂ ⩅ ⩊ ⩌ ⩏ ⩐ ⩒ ⩔ ⩖ ⩗ ⩛ ⩝ ⩡ ⩢ ⩣)))) -(define prec-times (add-dots '(* / ÷ % & ⋅ ∘ × |\\| ∩ ∧ ⊗ ⊘ ⊙ ⊚ ⊛ ⊠ ⊡ ⊓ ∗ ∙ ∤ ⅋ ≀ ⊼ ⋄ ⋆ ⋇ ⋉ ⋊ ⋋ ⋌ ⋏ ⋒ ⟑ ⦸ ⦼ ⦾ ⦿ ⧶ ⧷ ⨇ ⨰ ⨱ ⨲ ⨳ ⨴ ⨵ ⨶ ⨷ ⨸ ⨻ ⨼ ⨽ ⩀ ⩃ ⩄ ⩋ ⩍ ⩎ ⩑ ⩓ ⩕ ⩘ ⩚ ⩜ ⩞ ⩟ ⩠ ⫛ ⊍ ▷ ⨝ ⟕ ⟖ ⟗ ⨾))) +(define prec-times (add-dots '(* / ÷ % & ⋅ ∘ × |\\| ∩ ∧ ⊗ ⊘ ⊙ ⊚ ⊛ ⊠ ⊡ ⊓ ∗ ∙ ∤ ⅋ ≀ ⊼ ⋄ ⋆ ⋇ ⋉ ⋊ ⋋ ⋌ ⋏ ⋒ ⟑ ⦸ ⦼ ⦾ ⦿ ⧶ ⧷ ⨇ ⨰ ⨱ ⨲ ⨳ ⨴ ⨵ ⨶ ⨷ ⨸ ⨻ ⨼ ⨽ ⩀ ⩃ ⩄ ⩋ ⩍ ⩎ ⩑ ⩓ ⩕ ⩘ ⩚ ⩜ ⩞ ⩟ ⩠ ⫛ ⊍ ▷ ⨝ ⟕ ⟖ ⟗ ⨟))) (define prec-rational (add-dots '(//))) (define prec-bitshift (add-dots '(<< >> >>>))) ;; `where` diff --git a/stdlib/REPL/src/latex_symbols.jl b/stdlib/REPL/src/latex_symbols.jl index 835dda1b1c922..39d0d59c1a2e4 100644 --- a/stdlib/REPL/src/latex_symbols.jl +++ b/stdlib/REPL/src/latex_symbols.jl @@ -524,8 +524,8 @@ const latex_symbols = Dict( "\\setminus" => "∖", "\\ast" => "∗", "\\circ" => "∘", - "\\fatsemi" => "⨾", - blackboard*"semi" => "⨾", + "\\fatsemi" => "⨟", + blackboard*"semi" => "⨟", "\\surd" => "√", "\\propto" => "∝", "\\infty" => "∞", From 82d452855626988eaafe390a283a93c5cfa837da Mon Sep 17 00:00:00 2001 From: Takafumi Arakaki Date: Tue, 11 Feb 2020 19:46:14 -0800 Subject: [PATCH 9/9] Remove \fatsemi --- NEWS.md | 2 +- stdlib/REPL/src/latex_symbols.jl | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/NEWS.md b/NEWS.md index dc3b236b16930..3338681a33b5f 100644 --- a/NEWS.md +++ b/NEWS.md @@ -5,7 +5,7 @@ New language features --------------------- * Macro calls `@foo {...}` can now also be written `@foo{...}` (without the space) ([#34498]). * `⨟` is now parsed as a binary operator with times precedence. It can be entered in the REPL - with `\bbsemi` or `\fatsemi` followed by TAB ([#34722]). + with `\bbsemi` followed by TAB ([#34722]). Language changes ---------------- diff --git a/stdlib/REPL/src/latex_symbols.jl b/stdlib/REPL/src/latex_symbols.jl index 39d0d59c1a2e4..5a40f1d60bfff 100644 --- a/stdlib/REPL/src/latex_symbols.jl +++ b/stdlib/REPL/src/latex_symbols.jl @@ -524,7 +524,6 @@ const latex_symbols = Dict( "\\setminus" => "∖", "\\ast" => "∗", "\\circ" => "∘", - "\\fatsemi" => "⨟", blackboard*"semi" => "⨟", "\\surd" => "√", "\\propto" => "∝",