Color and sign of a Formula.
We define some constants for the two possible signs of a judgement. We introduce a color for Eloise, pink, and a color for Abelard, blue.
Sign of a formula
Loading the Colors' package.
Printing and Coloring a formula.
Making a Formula positive.
Created by Mathematica (October 17, 2006)