This page needs updating. Some of the links no longer work. Those for DIMSYM, GRG...
Doubled characters