Function def_math_constructor 

pub fn def_math_constructor(
    cs: Token,
    paramlist: Option<Parameters>,
    presentation: String,
    options: MathPrimitiveOptions,
) -> Result<()>

Uses of DefMath without arguments, but with constructor-like options, are realized via a Constructor definition