size10 ¶This module provides a simple way to use the named LaTeX font sizes
corresponding to \documentclass[10pt]{article}:
import size10;
pen small=fontcommand("\small");
label("M",0,W,red+small);
pen normal=fontsize(9pt);
label("M",0,E,normal);