Rename SetTheory.jl to SetTheory.tex