Nicolas Jensen’s typographical mark