Źródło TeX:
0 \stackrel{df}{=} \varnothing,\ 1 \stackrel{df}{=}X