add additional unicode operators now defined for Julia