Here
are some other possibilities. I list them mainly as an aide to
understanding what can
become a rather tricky business: evaluating complicated text. In
particular the problem of handling the backslash \ can be very
delicate, since the proper way to write it depends on how many times
the text string is going to be evaluated. (Incidently -- to prodcue a
backslash in these discussion notes you need to double it: \\ becomes
\. To achieve the proper spacing and line breaks
put all code between <pre> .... </pre> (stands for
preformatted) tags. TEXT( begintable(2), row( 'a', 'Idempotent Law'), row( 'b', 'Double Negation'), row( 'c', 'De Morgan~~'s Law'), row( 'j', EV3( 'Identity Laws \\((p \\vee f = p \\wedge t = p) \\) ' )), row( 'k', EV2('Tautology \((p \vee \neg p = t) \) ' )), row( 'l', EV2('Contradiction \((p wedge neg p = f) \) ')), row( 'm', 'Negation of the goal to prove '), row( 's', 'Disjunctive Addition'), endtable() ); Notice that you need to double the backslashes for EV3 but not for EV2. TEXT(EV2( begintable(2), row( 'a', 'Idempotent Law'), row( 'b', 'Double Negation'), row( 'c', 'De Morgan~~'s Law'), row( 'j', 'Identity Laws \((p \vee f = p \wedge t = p) \) ' ), row( 'k', 'Tautology \((p \vee \neg p = t) \) '), row( 'l', 'Contradiction \((p \wedge \neg p = f) \) '), row( 'm', 'Negation of the goal to prove '), row( 's', 'Disjunctive Addition'), endtable() ));
TEXT(EV3( begintable(2), row( 'a', 'Idempotent Law'), row( 'b', 'Double Negation'), row( 'c', "De Morgan's Law"), row( 'j', 'Identity Laws \\((p \\vee f = p \\wedge t = p) \\) ' ), row( 'k', 'Tautology \\((p \\vee \\neg p = t) \\) '), row( 'l', 'Contradiction \\((p \\wedge \\neg p = f) \\) '), row( 'm', 'Negation of the goal to prove '), row( 's', 'Disjunctive Addition'), endtable() ));
<| Post or View Comments |> |