Awesome project: I love the fact that you can click grab definitions, would make learning new symbols in a field a breeze.
Question, though: is there a way to add custom definitions to symbols when you work in a field that uses symbols differently than the standard usage or symbols that have no standard usage (such as \bigoplus in latex)?