Fixed the juddering of fact lists when you collapse a fact.
Fixed the issue of having the same fact open in two windows at once.
Added special latex definitions for symbols I need.
Ammeded plan