From d578f20f3a7a7f06d58bd5bc04fd962df4692d0d Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Fri, 19 Nov 2021 21:35:29 -0500
Subject: =?UTF-8?q?More=20=E2=8B=88=20replacements?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 md.bqn | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'md.bqn')

diff --git a/md.bqn b/md.bqn
index b9dbed33..746ea83a 100644
--- a/md.bqn
+++ b/md.bqn
@@ -207,7 +207,7 @@ Markdown ← {filename𝕊𝕩:
     code ← JoinLines 𝕩
 
     # Highlight and unescape html-unsafe characters
-    c‿ci ← extensions◶(2⥊<⟨⟩)‿GetHighlights code
+    c‿ci ← extensions◶(⋈˜⟨⟩)‿GetHighlights code
     em‿e‿ei ← CharEntities code
 
     # If every line is indented by at least 4 additional spaces, we will
@@ -220,7 +220,7 @@ Markdown ← {filename𝕊𝕩:
       g ← 𝕩∊"←↩"
       (⊑g⊐1) (<⟜(≠g))◶⟨1,¬(" "∾∾idChars)∧´∘∊˜↑⟩ 𝕩
     }
-    r‿ri ← addRslt◶(2⥊<⟨⟩)‿{
+    r‿ri ← addRslt◶(⋈˜⟨⟩)‿{
       ⟨ (ShowRslt ⊣◶⟨"",(⥊∾⟜lf⎉1)∘Fmt∘⊢⟩ CodeExec)⎊("ERROR"∾lf)⍟(0<≠)¨ 𝕩
         1 -˜ +` 1 + ≠¨ 𝕩   ⟩ # Don't forget the trailing newline
     } 𝕩
@@ -361,7 +361,7 @@ Markdown ← {filename𝕊𝕩:
     # If span has both a leading and a trailing space, they are removed.
     remSpace ← I2M ⥊ ((1<-˜˝˘)∧·∧˝˘' '=⊏⟜𝕩)⊸/ -⟜0‿1˘ codeBounds
     codeMask ∧↩ ¬ remSpace
-    ⟨code,codePos⟩ ← codeMask extensions◶(2⥊<⟨⟩)‿GetMultiHighlights 𝕩
+    ⟨code,codePos⟩ ← codeMask extensions◶(⋈˜⟨⟩)‿GetMultiHighlights 𝕩
     include ← ¬ remSpace ∨ ≠` I2M ⥊ ctInds
     codeBounds ↩ ⥊ -⟜1‿0˘ codeBounds
     unused ← actual ∧ include ∧ ¬ codeMask
-- 
cgit v1.2.3