@@ -76,8 +76,8 @@ Let's type in some aura examples:
7676```
7777
7878So decimal is aura `@ud`, hexadecimal is `@ux`. The cast
79−syntax—`` `@ud` ``—lets us change the type of an atom, converting hex
80−`0x42` to a decimal `66`.
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