DLMF:26.10.E20 (Q7903): Difference between revisions

Revision as of 14:02, 2 January 2020

No description defined

Language	Label	Description	Also known as
English	DLMF:26.10.E20	No description defined

{\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

{\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

@@ Property / Symbols used @@
+Q10818
@@ Property / Symbols used: Q10818 / rank @@
+Normal rank
@@ Property / Symbols used: Q10818 / qualifier @@
+Defining formula:  ${\displaystyle{\displaystyle\mathbb{Z}}}$ 
\Integers
@@ Property / Symbols used: Q10818 / qualifier @@
+xml-id: introduction.Sx4.p2.t1.r20.m2adec