Microsoft Research
Carnegie Mellon University: Penrose can draw complex relation diagrams from math expressions
A tool from Carnegie Mellon University (CMU) called Penrose, can automatically convert mathematical expressions in to drawings. (Yes; it is indeed named after Roger Penrose.)