I find myself in puzzlement when trying to use the square
When I use it I get an "Unknown extended character" error.
If I try to add it (as if it were one of the unallocated
codes) using "add_new_symbols" it complains that the
"sqsubset" keyword is duplicated,
If I use "sqsubset2" instead, it works, and it prints OK,
but I am left wondering whether something somewhere is
going to misbehave because I added it with the wrong
Should I have enabled the symbol some other way?
Proofpower mailing list