좋은 소프트웨어를 알게되어 소개합니다.
레이텍 수식을 잘 지원하는 소프트웨어인데, tikz로 출력하는 기능은 없는 것 같습니다.

https://ipe.otfried.org

윈도우랑 맥 정도까지만 지원하는 것 같습니다. 
위키 보니까 꽤 많은 그림을 잘 그릴 수 있는 걸로 보입니다.