Look again at the definition box to check the use of the "dx" notation.