3 files changed, 53 insertions, 53 deletions
diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index 8fcfe64d9..64241e5ff 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -552,13 +552,13 @@
          (odd? num) "WHEN odd"
          "ELSE")])
 
-(documentation: /.value@
+(documentation: /.the
   "Accesses the value of a record at a given tag."
-  [(value@ #field my_record)]
+  [(the #field my_record)]
   ["Can also work with multiple levels of nesting."
-   (value@ [#foo #bar #baz] my_record)]
+   (the [#foo #bar #baz] my_record)]
   ["And, if only the slot/path is given, generates an accessor function."
-   (let [getter (value@ [#foo #bar #baz])]
+   (let [getter (the [#foo #bar #baz])]
      (getter my_record))])
 
 (documentation: /.open:
@@ -611,26 +611,26 @@
   ["Also allows using that value as a function."
    (# codec encoded +123)])
 
-(documentation: /.with@
+(documentation: /.has
   "Sets the value of a record at a given tag."
-  [(with@ #name "Lux" lang)]
+  [(has #name "Lux" lang)]
   ["Can also work with multiple levels of nesting."
-   (with@ [#foo #bar #baz] value my_record)]
+   (has [#foo #bar #baz] value my_record)]
   ["And, if only the slot/path and (optionally) the value are given, generates a mutator function."
-   (let [setter (with@ [#foo #bar #baz] value)]
+   (let [setter (has [#foo #bar #baz] value)]
      (setter my_record))
-   (let [setter (with@ [#foo #bar #baz])]
+   (let [setter (has [#foo #bar #baz])]
      (setter value my_record))])
 
-(documentation: /.revised@
+(documentation: /.revised
   "Modifies the value of a record at a given tag, based on some function."
-  [(revised@ #age ++ person)]
+  [(revised #age ++ person)]
   ["Can also work with multiple levels of nesting."
-   (revised@ [#foo #bar #baz] func my_record)]
+   (revised [#foo #bar #baz] func my_record)]
   ["And, if only the slot/path and (optionally) the value are given, generates a mutator function."
-   (let [updater (revised@ [#foo #bar #baz] func)]
+   (let [updater (revised [#foo #bar #baz] func)]
      (updater my_record))
-   (let [updater (revised@ [#foo #bar #baz])]
+   (let [updater (revised [#foo #bar #baz])]
      (updater func my_record))])
 
 (documentation: /.^template
@@ -786,9 +786,9 @@
    (same? +5
           (+ +2 +3))])
 
-(documentation: /.^@
+(documentation: /.^let
   "Allows you to simultaneously bind and de-structure a value."
-  [(def: (hash (^@ set [member_hash _]))
+  [(def: (hash (^let set [member_hash _]))
      (list#mix (function (_ elem acc)
                  (+ acc
                     (# member_hash hash elem)))
@@ -981,14 +981,14 @@
              ..module_separator
              ..^open
              ..cond
-             ..value@
+             ..the
              ..open:
              ..|>>
              ..<<|
              ..using
              ..#
-             ..with@
-             ..revised@
+             ..has
+             ..revised
              ..^template
              ..++
              ..--
@@ -999,7 +999,7 @@
              ..symbol
              ..:parameter
              ..same?
-             ..^@
+             ..^let
              ..^|>
              ..:expected
              ..undefined
diff --git a/stdlib/source/documentation/lux/type/unit.lux b/stdlib/source/documentation/lux/type/unit.lux
index 417d9cbcb..a3d37d552 100644
--- a/stdlib/source/documentation/lux/type/unit.lux
+++ b/stdlib/source/documentation/lux/type/unit.lux
@@ -1,20 +1,20 @@
 (.using
-  [library
-   [lux {"-" and}
-    ["$" documentation {"+" documentation:}]
-    [control
-     ["<>" parser
-      ["<[0]>" code]]]
-    [data
-     ["[0]" text {"+" \n}
-      ["%" format {"+" format}]]]
-    [macro
-     ["[0]" template]]
-    [math
-     [number
-      ["[0]" ratio]]]]]
-  [\\library
-   ["[0]" /]])
+ [library
+  [lux {"-" and}
+   ["$" documentation {"+" documentation:}]
+   [control
+    ["<>" parser
+     ["<[0]>" code]]]
+   [data
+    ["[0]" text {"+" \n}
+     ["%" format {"+" format}]]]
+   [macro
+    ["[0]" template]]
+   [math
+    [number
+     ["[0]" ratio]]]]]
+ [\\library
+  ["[0]" /]])
 
 (documentation: (/.Qty unit)
   "A quantity with an associated unit of measurement.")
@@ -44,8 +44,8 @@
 
 (template [<type> <scale>]
   [(`` (documentation: <scale>
-         (let [numerator (value@ [/.ratio ratio.#numerator] <scale>)
-               denominator (value@ [/.ratio ratio.#denominator] <scale>)]
+         (let [numerator (the [/.ratio ratio.#numerator] <scale>)
+               denominator (the [/.ratio ratio.#denominator] <scale>)]
            (format "The '" (~~ (template.text [<scale>])) "' scale, from " (%.nat numerator) " to " (%.nat denominator) "."))))]
 
   [/.Kilo /.kilo]
diff --git a/stdlib/source/documentation/lux/world/output/video/resolution.lux b/stdlib/source/documentation/lux/world/output/video/resolution.lux
index 1d36488c7..0a75bb938 100644
--- a/stdlib/source/documentation/lux/world/output/video/resolution.lux
+++ b/stdlib/source/documentation/lux/world/output/video/resolution.lux
@@ -1,17 +1,17 @@
 (.using
-  [library
-   [lux "*"
-    ["$" documentation {"+" documentation:}]
-    [control
-     ["<>" parser
-      ["<[0]>" code]]]
-    [data
-     ["[0]" text {"+" \n}
-      ["%" format {"+" format}]]]
-    [macro
-     ["[0]" template]]]]
-  [\\library
-   ["[0]" /]])
+ [library
+  [lux "*"
+   ["$" documentation {"+" documentation:}]
+   [control
+    ["<>" parser
+     ["<[0]>" code]]]
+   [data
+    ["[0]" text {"+" \n}
+     ["%" format {"+" format}]]]
+   [macro
+    ["[0]" template]]]]
+ [\\library
+  ["[0]" /]])
 
 (documentation: /.Resolution
   "A screen resolution.")
@@ -23,8 +23,8 @@
                     (text.replaced "_" " ")
                     text.upper_cased)]
        (format name " resolution: "
-               (%.nat (value@ /.#width <name>))
-               "x" (%.nat (value@ /.#height <name>))
+               (%.nat (the /.#width <name>))
+               "x" (%.nat (the /.#height <name>))
                ".")))]
 
   [/.svga]