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
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to