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

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

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

> On Jul 11, 2025, at 8:39 AM, Stephan Merz <stephan.merz@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/880994DC-353F-4F5E-91EF-8EE2D3BB9A8E%40lemmster.de.