Does that mean that one could trap Ctrl+AltGr+8 and map it to the same effect? (and the same for 7/9/0 if required)

If so, I'll try and remember that if ever tempted to use Ctrl and {[]} together I need to handle that as well.