Diese Klammer könnte man übrigens auch zwischen „1˙
0
1
: 3 = 0˙3” und „1 : 3 = 0.” setzen.
     (Zwischen den ‚allgemeinen Satz’ & seine ‚Verification’.) Und wäre „}” hier nicht ein Gleichheitszeichen?