Merge pull request #198 from JuliaLang/sp/top-bot

Add top/bot
JuliaLang · May 2, 2022 · 7ccb534 · 7ccb534
2 parents 2925aba + 8c05c87
commit 7ccb534
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/src/token_kinds.jl b/src/token_kinds.jl
@@ -568,6 +568,8 @@
             RIGHT_TACK, # ⊢
             LEFT_TACK, # ⊣
             PERP, # ⟂
+            TOP, # ⫪
+            BOT, # ⫫
         end_comparison,
 
         # Level 7
@@ -1399,7 +1401,9 @@ const UNICODE_OPS = Dict{Char, Kind}(
 '↺' => CIRCLE_ARROW_LEFT,
 '¦' => BROKEN_BAR,
 '⌿' => NOT_SLASH,
-'⨟' => BB_SEMI)
+'⨟' => BB_SEMI,
+'⫪' => TOP,
+'⫫' => BOT)
 
 
 const UNICODE_OPS_REVERSE = Dict{Kind,Symbol}()

diff --git a/src/utilities.jl b/src/utilities.jl
@@ -130,7 +130,8 @@ readchar(io::IO) = eof(io) ? EOF_CHAR : read(io, Char)
     0x00002af7 <= c <= 0x00002afa ||
     0x00002b30 <= c <= 0x00002b44 ||
     0x00002b47 <= c <= 0x00002b4c ||
-    0x0000ffe9 <= c <= 0x0000ffec
+    0x0000ffe9 <= c <= 0x0000ffec ||
+    0x00002aea <= c <= 0x00002aeb
 end
 
 function dotop2(pc, dpc)