Additional operators from upstream (#273)

See upstream PRs * JuliaLang/julia#47647 - `⟇` `\veedot` operator * JuliaLang/julia#49623 - `⥺` `\leftarrowsubset` - `⥷` `\leftarrowless`
JuliaLang · May 11, 2023 · 2634aca · 2634aca
1 parent d79b9e9
commit 2634aca
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/src/kinds.jl b/src/kinds.jl
@@ -255,7 +255,9 @@ const _kind_names =
  "⭁"
  "⭂"
  "⭃"
+ "⥷"
  "⭄"
+ "⥺"
  "⭇"
  "⭈"
  "⭉"
@@ -637,6 +639,7 @@ const _kind_names =
  "⊽"
  "⋎"
  "⋓"
+ "⟇"
  "⧺"
  "⧻"
  "⨈"

diff --git a/test/tokenize.jl b/test/tokenize.jl
@@ -882,6 +882,9 @@ end
  "⫪ ⫫"
  ])
  end
+ if VERSION >= v"1.10-DEV"
+ push!(ops, "⥷ ⥺ ⟇")
+ end
  allops = split(join(ops, " "), " ")
  @test all(s->Base.isoperator(Symbol(s)) == is_operator(first(collect(tokenize(s))).kind), allops)
 end