في الرياضيات، تدوين لايبنز (بالإنجليزية: Leibniz's notation)، المسمى هكذا نسبة إلى عالم الرياضيات الألماني والفيلسوف غوتفريد لايبنتس، يستعمل الرمزين dx و dy من أجل تمثيل قيم تزايدات ل x و y متناهية في الصغر. أما القيمتان Δx وΔy فإنهما تمثلان تزايدات منتهية ومعروفة لقيمتي x وy على التوالي.
lim
Δ
x
→
0
Δ
y
Δ
x
=
lim
Δ
x
→
0
f
(
x
+
Δ
x
)
−
f
(
x
)
Δ
x
,
{\displaystyle \lim _{\Delta x\rightarrow 0}{\frac {\Delta y}{\Delta x}}=\lim _{\Delta x\rightarrow 0}{\frac {f(x+\Delta x)-f(x)}{\Delta x}},}
d
y
d
x
=
f
′
(
x
)
,
{\displaystyle {\frac {dy}{dx}}=f'(x),}