Qi Liang - 2020-11-01

If you need more precise notation, I think these notations will be more accurate:
<4dl>:α,β: := <+-β;+-β>:α,β:+<+-β;+-α>:β,β:+<+-α;+-β>:β,β:
<4ds>:α,β: := <+-α;+-α>:α,β:+<+-β;+-α>:α,α:+<+-α;+-β>:α,α:
<3dl>:α,β: := <+-β;>:α,β:+<;+-β>:α,β:+<+-α;+-β>:0,β:+<+-β;+-α>:0,β:+<+-α;>:β,β:+<;+-α>:β,β:+<;<+-β;+-β>:0,α:
<3ds>:α,β: := <+-α;>:α,β:+<;+-α>:α,β:+<+-α;+-β>:0,α:+<+-β;+-α>:0,α:+<+-β;>:α,α:+<;+-β>:α,α:+<+-α;+-α>:0,β: