@@ -16,7 +16,7 @@ You can learn more about auras in [Hoon school](/docs/hoon/hoon-school/atoms-aur
1616Aura Meaning Example Literal Syntax
1717-------------------------------------------------------------------------
1818@ empty aura
19−@c Unicode codepoint ~-~45fed
19+@c UTF-32 ~-~45fed
2020@d date
2121 @da absolute date ~2018.5.14..22.31.46..1435
2222 @dr relative date (ie, timespan) ~h5.m30.s12
@@ -66,23 +66,30 @@ two, starting from A.
6666
6767A given aura nests under any aura whose name is a substring or extension of the
6868given aura:
69+
6970```
7071> :- (~(nest ut [%atom %ud ~]) | [%atom %u ~])
7172 (~(nest ut [%atom %ud ~]) | [%atom %udx ~])
7273[%.y %.y]
7374```
75+
7476but does not nest "sideways":
77+
7578```
7679> (~(nest ut [%atom %ud ~]) | [%atom %ux ~])
7780%.n
7881```
82+
7983We call auras "soft types" since this nesting behavior can be ignored. Auras are
8084non-coercive, but conversions may have to go via the empty aura, e.g.
85+
8186```
8287> ^-(@ud ^-(@ 'foo'))
83887.303.014
8489```
90+
8591This is implicitly done by the irregular form of `^-`.
92+
8693```
8794> `@ud`'foo'
88957.303.014
@@ -91,8 +98,10 @@ This is implicitly done by the irregular form of `^-`.
9198### Bunting
9299
93100The bunt value for all auras is 0 except for `@da`.
101+
94102```
95103> *@da
96104~2000.1.1
97105```
106+
98107A bunt value of 0 is helpful when working with loobeans.