1
$\begingroup$

I have some problem with showing this LaTeX input:

$ 
F = (x_1  \\lor x_2)  \\land (x_1 \\lor \\overline x_3) \\land (x_2 \\lor x_4) \\land (\\overline x_3 \\lor \\overline x_4) \\land (\\overline x_1 \\lor \\overline x_4)
$

I tried using MaTex["F = (x_1 \\lor x_2) \\land (x_1 \\lor \\overline x_3) \\land (x_2 \\lor x_4) \\land (\\overline x_3 \\lor \\overline x_4) \\land (\\overline x_1 \\lor \\overline x_4)"] but it does not work.

Do we have any other solution to show this text in Matematica?

$\endgroup$
5
  • 2
    $\begingroup$ You have written MaTex but it should be MaTeX. Using MaTeX[ ... ] works out fine. ;-) $\endgroup$
    – gwr
    Jun 5 '20 at 9:29
  • $\begingroup$ @gwr I did not even notice this until now :) I was wondering for a while why it did not work for OP. I thought it was a version issue or such. $\endgroup$
    – Nasser
    Jun 5 '20 at 9:38
  • $\begingroup$ @Nasser Sometimes we have to also see the trees for the forest. :) $\endgroup$
    – gwr
    Jun 5 '20 at 9:43
  • 1
    $\begingroup$ We should all then blame the Author of the nice package MaTeX for making his package name using mixed UpperAndLowerCaseLetters instead of all lowercaseletters (In case Szabolcs reads this, I am just kidding :) $\endgroup$
    – Nasser
    Jun 5 '20 at 9:47
  • $\begingroup$ @Nasser You have a good point actually ... I'd suggest defining matex = MaTeX then just use matex. Or even shorter, mt = MaTeX. It's too late to change the name now. $\endgroup$
    – Szabolcs
    Jun 5 '20 at 10:02
2
$\begingroup$

it works for me

expr="F = (x_1  \\lor x_2)  \\land (x_1 \\lor \\overline x_3) \\land (x_2 \\lor x_4) \\land (\\overline x_3 \\lor \\overline x_4) \\land (\\overline x_1 \\lor \\overline x_4)";

And now

MaTeX[expr, Magnification -> 2]

gives

enter image description here

Here is full screen shot

enter image description here

$\endgroup$
1
  • $\begingroup$ Many thanks works! $\endgroup$
    – blabla
    Jun 5 '20 at 9:19

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.