I'm writing a document that includes inference rules and the inference rules work fine but for some reason, the inline math shows up as latex code and doesn't get parsed correctly. The attached picture shows an example of the issue. I tried different packages but haven't had any luck. Any suggestions?
I'm writing a document that includes inference rules and the inference rules work fine but for some reason, the inline math shows up as latex code and doesn't get parsed correctly. The attached picture shows an example of the issue. I tried different packages but haven't had any luck. Any suggestions?
Here's the beginning of my madoko file:
Here's my make file:
Make results in the following:
Here's math-plain.log: