Re: [tlaplus] How to specify Semmetry sets in config file in visual studio code

["tamari...@xxxxxxxxx" <tamarindcode@xxxxxxxxx>]

And thanks Markus, That was very useful. It confirms the same answer. Thank you for pointing that out.

On Friday, 11 July 2025 at 07:47:15 UTC+1 Markus Kuppe wrote:

Also see https://github.com/tlaplus/vscode-tlaplus/discussions/271#discussioncomment-13719128

> On Jul 11, 2025, at 8:39 AM, Stephan Merz <stepha...@xxxxxxxxx> wrote:
>
> If you have two symmetry sets X and Y, you can define
>
> Symmetry == Permutations(X) \union Permutations(Y)
>
> I recommend you have a look at section 14.3.4 of Specifying Systems, where this is explained in detail.
>
> 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 visit https://groups.google.com/d/msgid/tlaplus/e1c55fc5-c4ce-43ce-b5b8-f5b93968f532n%40googlegroups.com.