Re: [ProofPower] Using sqsubset symbol

[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 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  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


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

___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Re: [ProofPower] Using sqsubset symbol

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