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
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.
Proofpower mailing list