Proof Inconsolata is a fork of Inconsolata with better math symbol support. It's licensed under the WTFPL.