Hi doofenstein, AH! "Sequences" is the magic word! THANKS! :)
The linked portion about Unicode operators was the one, which lead to my question, since I didn't found an explanation, (for example) "★" does or whethere "⊞" is optimized of integer arithmetic?
