#include "math_mathmlstream.h"
#include "math_streamstr.h"
#include "support/std_ostream.h"
#include "math_mathmlstream.h"
#include "math_streamstr.h"
#include "support/std_ostream.h"
void MathBoxInset::metrics(MetricsInfo & mi, Dimension & dim) const
{
FontSetChanger dummy(mi.base, "textnormal");
void MathBoxInset::metrics(MetricsInfo & mi, Dimension & dim) const
{
FontSetChanger dummy(mi.base, "textnormal");