[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: Stephan Merz <stephan.merz@xxxxxxxxx>*Date*: Fri, 16 Dec 2022 11:42:54 +0100*References*: <6c72f651-82f0-416c-b01f-744a7bef5662n@googlegroups.com> <ECAA9F9A-1BE6-4CB9-A832-56E384F2A9D8@gmail.com> <1d759b36-d03a-4bb3-a33a-7ba05d47914dn@googlegroups.com>

Please see https://github.com/tlaplus/tlaplus/issues/512. But I believe that for your application, using an abstract set of characters is preferable. Stephan
--
You received this message because you are subscribed to the Google Groups "tlaplus" group. To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx. To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/B34824F7-21B5-4757-9DB0-6655E72E42C7%40gmail.com. |

**Follow-Ups**:**Re: [tlaplus] Functions in the standard libraries***From:*mohan radhakrishnan

**References**:**[tlaplus] Functions in the standard libraries***From:*mohan radhakrishnan

**Re: [tlaplus] Functions in the standard libraries***From:*Stephan Merz

**Re: [tlaplus] Functions in the standard libraries***From:*mohan radhakrishnan

- Prev by Date:
**Re: [tlaplus] Functions in the standard libraries** - Next by Date:
**Re: [tlaplus] Functions in the standard libraries** - Previous by thread:
**Re: [tlaplus] Functions in the standard libraries** - Next by thread:
**Re: [tlaplus] Functions in the standard libraries** - Index(es):