Changes

Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

15 bytes removed , 18:24, 8 November 2016

try fix

Line 1,557: Line 1,557:

~ q \le r

\\

−

\overline{~~15:22, 6 November 2016 (UTC)15:22, 6 November 2016 (UTC)15:22, 6 November 2016 (UTC)~~}

+

\overline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}

\\

~ p \le r

Line 1,575: Line 1,575:

~ q \le r

\\

−

=\!=\~~!=\!=\!=\!=\!=\!=~~

+

\overline{\underline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}

\\

~ p \le q \le r

12,123

edits