Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Abstract measure
The Dirac delta measure
cdde
Next ⟩
df-dde
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cdde
Description:
Extend class notation to include the Dirac delta measure.
Ref
Expression
Assertion
cdde
class
δ