Re: [ProofPower] Using sqsubset symbol

2010-07-07 Thread mark
Hi Rob, On a different subject, in 'xpp', could you make a series of deletes (one or more) a unit of undo? At the moment if you do a lot of typing, and then keep delete pressed down to delete it all, then there is no way of retrieving the typed text By the way, Tom did a survey today in

Re: [ProofPower] Using sqsubset symbol

2010-07-06 Thread Rob Arthan
On 6 Jul 2010, at 10:29, Roger Bishop Jones wrote: 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