EDB — 2B3

[2B3]Note that this definition differs from the one generally used; see [ 33 ] or [ 12 ] ; but it is equivalent for all practical purposes, as explained in [2B2]↺↻, [237]↺↻, [0GQ]↺↻.