Source: http://milde.users.sourceforge.net/LUCR/Math/mathpackages/txfonts-symbols.pdf