<html>
<head>
<style type="text/css">
body {
  font-family: Times; /* this test is only for OS X, we know Times will be there */
  font-size: 40px;
}
</style>
</head>
<body>
&#xfb01;
</body>
</html>