use DeclareMathOp to let latex do the spacing for Ref