Hi,
The translation of tex to typeset equations occurs inside the
EV3 (or EV2) functions
BEGIN_TEXT ... END_TEXT
is syntactic sugar for
TEXT(EV3(<<'END_TEXT')); ..... END_TEXT
where the <<'END_TEXT' construction ( the 'here document'
construction of unix) is replaced by all of the text in ... up to the
END_TEXT
marker and fed to the EV3 function.
The following construction will work, and is probably the simplest:
TEXT(EV3( begintable(2), row( 'a', 'Idempotent law'), row( 'k', 'Tautology ( (p vee neq q equiv T) ) '), row( 'l', 'Contradiction ( (p wedge neg p equiv F) ) '), endtable() ));
This should also work: BEGIN_TEXT \{begintable(2)\} \{row( 'a', 'Idempotent law')\} \{row( 'k', 'Tautology ( (p vee neq q equiv T) ) ')\} \{row( 'l', 'Contradiction ( (p wedge neg p equiv F) ) ')\} \{endtable() END_TEXT
--Mike
<| Post or View Comments |> |