ヘヴィサイドの階段関数の2定義値を引数に持つ関数の和と差
\[
f\left(H\left(\pm_{1}1\right)\right)\pm_{2}f\left(-H\left(\mp_{1}1\right)\right)=\left(f\left(0\right)+f\left(\pm_{1}1\right)\right)H\left(\pm_{2}1\right)\mp_{1}\left(f\left(0\right)-f\left(\pm_{1}1\right)\right)H\left(\mp_{2}1\right)
\]