This is just so the wiki can get the different solver symbols straight ...