Fonts & Character Sets ⇒ LaTeX Error: Encoding scheme `\stmaryrdfam ' unknown.

[ocky7]

Dear all,

I have been trying to get LaTeX to work for a few days now. Earlier today it seemed to work, but now it doesn't anymore.
I installed Ubuntu and LiveTex along with the LaTeX plugin for gEdit. I am a novice in all of them, and I gotta say installing packages for Latex is a nightmare.
I want to use this style package to make natural deduction proofs:
http://www.mscs.dal.ca/~selinger/fitch/

I put the fitch.sty file in home/texmf/tex/latex/fitch (I read this in a tutorial somewhere) and then ran texhash ~/texmf in the terminal.

Now, when I try to build an image, I get the following error:
LaTeX Error: Encoding scheme `\stmaryrdfam ' unknown.

Unknown? How can I make it known?

[frabjous]

It's pretty rare that you need to manually install a package like that, so don't worry about it being that hard. If you install the texlive-full Ubuntu package, you'll only need to worry about brand new packages and those not on CTAN at all (like this one ).

Personally I, prefer this package (unfortunately also named fitch.sty) for typesetting Fitch-style derivations.

I put the fitch.sty file in home/texmf/tex/latex/fitch (I read this in a tutorial somewhere) and then ran texhash ~/texmf in the terminal.

It would have needed to be put in /home/<yourusername>/texmf/tex/latex/fitch, or for short ~/texmf/tex/latex/fitch for that to work. Perhaps that's what you meant though. But otherwise that should have worked. (And perhaps it did! See below.)

Now, when I try to build an image, I get the following error:
LaTeX Error: Encoding scheme `\stmaryrdfam ' unknown.

Unknown? How can I make it known?

The package you linked to does not make use of this command or encoding at all, so this seems like an unrelated error. It is very difficult to diagnose without knowing where it came from. Can you post a minimal working example of a document which generates this error, and put, as an attachment, a complete .log file that is generated when you try to process it?