1@font-face {
2    font-family: operators;
3    src: url("/fonts/math/operators.woff");
4}
5math, math * {
6    font-family: operators;
7    /* Use large enough font-size so that 1/18em = 2.77px > epsilon and
8       one can really distinguish lspace/rspace values. */
9    font-size: 50px;
10}
11