[NTG-context] Blackboard signs for set of rationals (Q) and reals (R)?