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 Hanoi of the Viet Flyspeck workers. It seems 7 out of 8 use 'xpp' in preference to 'emacs'. That's better than the cat food adverts! Regards, Mark. on 6/7/10 7:40 PM, Rob Arthan <[email protected]> wrote: > > 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 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. > > This is the result of a historical oversight. This one symbol should be > defined as an extended character with two keyword forms "%sqsubset%" (to > match the LaTeX manual) and "%refinedby% (which is what it is called in the > Compliance Notation, i.e., DAZ), unfortunately it hasn't been done like that > and DAZ does exactly what you do and defines a separate extended character. > Nothing will misbehave given what you have done except that you have two > extended characters that are logically distinct but will print identically. > I thought I had fixed this, but it doesn't seem to have got into the > release, so I will add it to my list of things to do. > >> >> Should I have enabled the symbol some other way? >> > > No, the build should have done it properly for you! See above. > > Regards, > > Rob. > > _______________________________________________ > Proofpower mailing list > [email protected] > http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com > > > _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
