I think we should eschew `~` in expressions in favor of its more modern replacement, `box`. I would phrase it as accessing the variable per se, since you can manipulate the owning pointer (type `~T`) directly. Perhaps "To unbox the value (dereference the owning pointer), use the `*` symbol."