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!


on 6/7/10 7:40 PM, Rob Arthan <r...@lemma-one.com> 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
> Compliance Notation, i.e., DAZ), unfortunately it hasn't been done like
> and DAZ does exactly what you do and defines a separate extended
> Nothing will misbehave given what you have done except that you have two
> extended characters that are logically distinct but will print
> 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

> Proofpower@lemma-one.com
> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Proofpower mailing list

Reply via email to