Punctuation: or, an attempt to facilitate the art of pointing