no dlp for definition-math

[] definition-math