@@ -75,9 +75,9 @@ Let's type in some aura examples:
7575
7676```
7777
78−So decimal is aura `@ud`, hexadecimal is `@ux`. Note the cast
79−syntax, which lets us change the type of an atom, converting hex
80−`0x42` to a decimal `66`.
78+So decimal is aura `@ud`, hexadecimal is `@ux`. The cast
79+syntax—`` `@ud` ``—lets us change the type of an
80+atom, converting hex `0x42` to a decimal `66`.
8181
8282An aura is soft type. The programmer can always insist on how
8383to interpret an atom. Hoon doesn't have "dependent types"; it