@@ -75,8 +75,8 @@ Let's type in some aura examples:
78−So decimal is aura `@ud`, hexadecimal is `@ux`. Note the cast
78+So decimal is aura `@ud`, hexadecimal is `@ux`. The cast
79−syntax, which lets us change the type of an atom, converting hex
79+syntax—`` `@ud` ``—lets us change the type of an atom, converting hex
80`0x42` to a decimal `66`.
80`0x42` to a decimal `66`.
82An aura is soft type. The programmer can always insist on how
82An aura is soft type. The programmer can always insist on how