Thanks Robin!

I changed it in the paper and my repo.

Best

Mat

śr., 23 paź 2024 o 22:18 Robin Leroy <eggrobin_at_[hidden]> napisał(a):

> Le mer. 23 oct. 2024 à 21:59, Mateusz Pusz via SG16 <sg16_at_[hidden]>
> a écrit :
>
>> 1. Did I choose the correct Unicode symbols for those?
>>
> The other characters seem fine, but this one seems odd to me:
>
>> Mathematical Italic Small Pi 𝜋 u8"\U0001D70B" "pi"
>
> Is this meant to be the number that is approximately equal to 22/7? (The
> rest of this email assumes that this is the case. If this is meant to be
> something related to the pion <https://en.wikipedia.org/wiki/Pion> or
> another use of that Greek letter, please ignore this email.)
>
> In that case, whether it should be italic or not depends on your
> mathematical typesetting tradition (for instance, French traditions use
> upright type for all lowercase Greek, Anglo-Saxon traditions use italics
> for all lowercase Greek).
>
> Conveniently, ISO has guidance on that, in ISO 80000-2:2019 *Quantities
> and units* Part 2: *Mathematics*, whose Clause 4 says that mathematical
> constants and functions that do not depend on context are in upright type,
> and explicitly gives the example of π.
>
> Given that, and given also prior practice in WG 9
> <http://www.ada-auth.org/standards/2yaarm/html/AA-A-5.html#I7375>, it
> seems to me that it would be best to use U+03C0 π GREEK SMALL LETTER PI as
> the identifier as the identifier for π.
>
> (And then users who happen to be mathematicians can merrily use 𝜋 for,
> say, a permutation, without shadowing π 🙃.)
>
> Best regards,
>
> Robin Leroy
>