~ -> Box in the manual

Fixes #16439