I find myself in puzzlement when trying to use the square subset symbol. 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 keyword. Should I have enabled the symbol some other way? Roger Jones _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
