We never done that in any translation and we've always use that symbol...
It is just a description and will never be use outside of java