     ○ pi circular trigonometric
     ! exclamation bang shriek factorial binomial combinations
     ? question roll deal random
-    | stile stroke verticalline modulo abs magnitude residue
+    | stile stroke verticalline modulo abs magnitude residue remainder
     ⌈ upstile maximum ceiling
     ⌊ downstile minimum floor
     ⊥ base decode uptack
-    ⊤ encode downtack
+    ⊤ antibase encode downtack
     ⊣ left lev lefttack
     ⊢ right dex righttack
     = equal
     ≠ ne notequal xor logicalxor
-    ≤ le lessorequal
-    < lessthan
-    > greaterthan
-    ≥ ge greaterorequal
+    ≤ le lessorequal fore
+    < lessthan before
+    > greaterthan after
+    ≥ ge greaterorequal aft
     ≡ match equalunderbar identical
     ≢ notmatch equalunderbarslash notidentical tally
     ∧ and conjunction lcm logicaland lowestcommonmultiple caret


  squiggleNames = '''
    ← leftarrow assign gets
    + plus add conjugate
    - minus hyphen subtract negate
    × cross times multiply sgn signum direction
    ÷ divide reciprocal obelus

    ⊂ enclose leftshoe partition
    ⊃ disclose rightshoe pick
    ⌷ squishquad squad index default materialise
    ⍋ gradeup deltastile upgrade
    ⍒ gradedown delstile downgrade
    ⍳ iota indices indexof
    ⍷ find epsilonunderbar
    ∪ cup union unique downshoe distinct
    ∩ cap intersection upshoe
    ∊ epsilon in membership enlist flatten type
    ~ tilde not without
