It is. The notation
dy/dx reminds of the definition of the derivative, the slope of secants
Δy/Δx that converge to the slope of a tangent if
Δx→0. In formulas, given
y=x2−7x+3, it is
y′=dxdy=limΔx→0ΔxΔy=limΔx→0Δxy(x+Δx)−y(x)=limΔx→0Δx(x+Δx)2−7(x+Δx)+3−(x2−7x+3)=limΔx→0Δxx2+2⋅x⋅Δx+(Δx)2−7x−7Δx+3−x2+7x−3=limΔx→0(2⋅x+Δx−7)=2x−7