3 files changed, 22 insertions, 22 deletions
diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index 8969f1dcd..2f5090611 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -565,8 +565,8 @@
   "Opens a implementation and generates a definition for each of its members (including nested members)."
   [(open: "i:[0]" order)
    "=>"
-   (def: i:= (# order =))
-   (def: i:< (# order <))])
+   (def: i:= (at order =))
+   (def: i:< (at order <))])
 
 (documentation: /.|>>
   "Similar to the piping macro, but rather than taking an initial object to work on, creates a function for taking it."
@@ -607,9 +607,9 @@
 
 (documentation: /.#
   "Allows accessing the value of a implementation's member."
-  [(# codec encoded)]
+  [(at codec encoded)]
   ["Also allows using that value as a function."
-   (# codec encoded +123)])
+   (at codec encoded +123)])
 
 (documentation: /.has
   "Sets the value of a record at a given tag."
@@ -701,7 +701,7 @@
        [<tests> (template [<function> <parameter> <expected>]
                   [(cover [<function>]
                           (compare <text>
-                                   (# codec encoded <function> <parameter>)))]
+                                   (at codec encoded <function> <parameter>)))]
 
                   [bit #1                "#1"]
                   [int +123              "+123"]
@@ -790,7 +790,7 @@
 ...   [(def: (hash (^let set [member_hash _]))
 ...      (list#mix (function (_ elem acc)
 ...                  (+ acc
-...                     (# member_hash hash elem)))
+...                     (at member_hash hash elem)))
 ...                0
 ...                (set.list set)))])
 
diff --git a/stdlib/source/documentation/lux/extension.lux b/stdlib/source/documentation/lux/extension.lux
index 06fa4e43a..d76d278d5 100644
--- a/stdlib/source/documentation/lux/extension.lux
+++ b/stdlib/source/documentation/lux/extension.lux
@@ -39,9 +39,9 @@
   ""
   [(generation: ("my generation" self phase archive [pass_through <synthesis>.any])
      (for @.jvm
-          (# phase.monad each (|>> {jvm.#Embedded}
-                                   sequence.sequence)
-             (phase archive pass_through))
+          (at phase.monad each (|>> {jvm.#Embedded}
+                                    sequence.sequence)
+              (phase archive pass_through))
           (phase archive pass_through)))])
 
 (documentation: /.directive:
diff --git a/stdlib/source/documentation/lux/type/implicit.lux b/stdlib/source/documentation/lux/type/implicit.lux
index 8035de629..be1b19999 100644
--- a/stdlib/source/documentation/lux/type/implicit.lux
+++ b/stdlib/source/documentation/lux/type/implicit.lux
@@ -13,7 +13,7 @@
  [\\library
   ["[0]" /]])
 
-(documentation: /.##
+(documentation: /.a/an
   (format "Automatic implementation selection (for type-class style polymorphism)."
           \n "This feature layers type-class style polymorphism on top of Lux's signatures and implementations."
           \n "When calling a polymorphic function, or using a polymorphic constant,"
@@ -26,35 +26,35 @@
           \n \n "Caveat emptor: You need to make sure to import the module of any implementation you want to use."
           \n "Otherwise, this macro will not find it.")
   ["Nat equivalence"
-   (# number.equivalence = x y)
-   (## = x y)]
+   (at number.equivalence = x y)
+   (a/an = x y)]
   ["Can optionally add the prefix of the module where the signature was defined."
-   (## equivalence.= x y)]
+   (a/an equivalence.= x y)]
   ["(List Nat) equivalence"
-   (## =
-       (list.indices 10)
-       (list.indices 10))]
+   (a/an =
+         (list.indices 10)
+         (list.indices 10))]
   ["(Functor List) each"
-   (## each ++ (list.indices 10))])
+   (a/an each ++ (list.indices 10))])
 
 (documentation: /.with
   "Establish lexical bindings for implementations that will be prioritized over non-lexically-bound implementations."
   [(with [n.addition]
-     (n.= (# n.addition composite left right)
-          (## composite left right)))])
+     (n.= (at n.addition composite left right)
+          (a/an composite left right)))])
 
 (documentation: /.implicit:
   "Establish local definitions for implementations that will be prioritized over foreign definitions."
   [(implicit: [n.multiplication])
    
-   (n.= (# n.multiplication composite left right)
-        (## composite left right))])
+   (n.= (at n.multiplication composite left right)
+        (a/an composite left right))])
 
 (.def: .public documentation
   (.List $.Module)
   ($.module /._
             ""
-            [..##
+            [..a/an
              ..with
              ..implicit:]
             []))