programlibs/Polynomials/demos/notation.xtl
Polynomials written as maths: p_oly< reads the notation when the program is compiled and writes the coefficients in its place. Run with "just demo Polynomials notation".
Polynomials written as maths: p_oly< reads the notation when the program is compiled and writes the coefficients in its place. Run with "just demo Polynomials notation".