DLMF:26.10.E20 (Q8596)

From MaRDI portal





No description defined
Language Label Description Also known as
default for all languages
No label defined
    English
    DLMF:26.10.E20
    No description defined

      Statements

      [ [ x ] ] = { x - x - 1 2 , x , 0 , x . delimited-[] delimited-[] 𝑥 cases 𝑥 𝑥 1 2 𝑥 0 𝑥 {\displaystyle{\displaystyle[\![x]\!]=\begin{cases}x-\left\lfloor x\right% \rfloor-\tfrac{1}{2},&x\notin\mathbb{Z},\\ 0,&x\in\mathbb{Z}.\end{cases}}}
      0 references
      {\displaystyle{\displaystyle\in}}
      introduction.Sx4.p1.t1.r10.m2agdec
      0 references
      x 𝑥 {\displaystyle{\displaystyle\left\lfloor\NVar{x}\right\rfloor}}
      introduction.Sx4.p1.t1.r17.m4adec
      0 references
      {\displaystyle{\displaystyle\mathbb{Z}}}
      introduction.Sx4.p2.t1.r20.m2adec
      0 references
      {\displaystyle{\displaystyle\notin}}
      introduction.Sx4.p1.t1.r11.m2adec
      0 references
      x 𝑥 {\displaystyle{\displaystyle x}}
      C26.S1.XMD1.m1adec
      0 references

      Identifiers