@myabc good point! I decided to stick to the JavaScript notation here because it is used on JavaScript. But other ideas are very welcome!