Pic—a graphics language for typesetting · Study