Wsrtjtyk

This was inspired by How to have nice-looking symbols within an itemize environment? and Sigur's comment which remind me about the display style of math formulas and the fractions.

I know that, in the amsmath package there is already dfrac{}{} for us to have display-style fractions (as well as tfrac{}{} for in-line fraction).

Then why don't dsum, dprod, dint, etc. exist?

If they are not to exist, then why does dfrac exist?

Actually, we can define, for example, dint as

DeclareMathOperator{dint}{displaystyleint}

but I want to know the reason why there are no dint, etc. Or can you tell me the packages in which these d- are in?

The command dfrac exists for rendering multistory fractions, say

[

frac{dfrac{a}{b}-dfrac{c}{d}}{dfrac{a}{b}+dfrac{c}{d}

]

and is not generally intended for usage in an inline formula. It is not defined using the simplistic format displaystylefrac, but rather

% amsmath.sty, line 214:

newcommand{dfrac}{genfrac{}{}{}0}

where genfrac is

% amsmath.sty, line 221:

DeclareRobustCommand{genfrac}[4]{%

  def@tempa{#1#2}%

  edef@tempb{@nx@genfrac@mathstyle{#4}%

    csname @@ifx @#3@overelse abovefi

    ifx@tempa@empty else withdelimsfiendcsname}

  @tempb{#1#2#3}}



% amsmath.sty, line 289:

def@genfrac#1#2#3#4#5{{#1{begingroup#4endgroup#2#3relax#5}}}

def@mathstyle#1{%

  ifx@empty#1@emptyrelax

  elseifcase#1displaystyle % case 0

    ortextstyleorscriptstyleelsescriptscriptstylefifi}

What happens with dfrac{a}{b}? By definition this becomes genfrac{}{}{}0{a}{b}, so

def@tempa{}%

  edef@tempb{@nx@genfrac@mathstyle{0}%

    csname @@ifx @@overelse abovefi

    ifx@tempa@empty else withdelimsfiendcsname}

  @tempb{}{a}{b}

By definition of @mathstyle, @tempb is defined to be @genfracdisplaystyle@@over, so we're left with

@genfracdisplaystyle@@over{}{a}{b}

which in turn becomes

{displaystyle{begingroup aendgroup@@overrelax b}}

and @@over is the primitive over. Note the braces around the whole construction. You may enjoy chasing the expansion of frac, binom and dbinom.

With int one cannot do displaystyleint, because this wouldn't confine the scope of displaystyle, nor {displaystyleint}, because this would not place correctly the limits. Indeed, the test file

documentclass{article}

usepackage{amsmath}



DeclareMathOperator{dint}{displaystyleint}

newcommand{ddint}{displaystyleint}



begin{document}



$dint_0^1frac{x}{2},dx$



$ddint_0^1frac{x}{2},dx$



end{document}

produces wrong output in either case:

Can one do something about this? Yes, but I don't think it's worth the pain. Anyway, here it is:

documentclass{article}

usepackage{amsmath}

usepackage{xparse}



NewDocumentCommand{dint}{tlimits e{_^}}{%

  mathop{

    displaystyleint

    IfBooleanT{#1}{limits}

    IfValueT{#2}{_{#2}}

    IfValueT{#3}{^{#3}}

  }%

}



begin{document}



$dint_0^1frac{x}{2},dx$

$dintlimits_0^1frac{x}{2},dx$

$dintfrac{x}{2},dx$



end{document}