Unicode characters, obtained from UnicodePlus are used in the menu of this website.
For the Unicode License, please see: www.unicode.org/license.txt