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 

Should I have enabled the symbol some other way?

Roger Jones

Proofpower mailing list

Reply via email to