Acabei de ver que os pacotes fitch e fitch2 podem ser usados no Texmaths
pacote deb fitch (ubuntu, debian sid - não oficial)
pacote deb fitch2 (ubuntu, debian sid - não oficial)
Também é possível usar o pacote xymtex
pacote deb (ubuntu e debian sid - não oficial)
