Using special font families

From JSXGraph Wiki