DLMF:26.10.E20 (Q7903)

From DRMF
Jump to navigation Jump to search
No description defined
Language Label Description Also known as
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
    DLMF:26.10.E20
    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