I think there is a unicode symbol for symmetric difference that is a white upward pointing triangle (U+25B3 △), not an upper case Delta (which looks a bit different due to weight changes along the glyph).
On Sun, Apr 26, 2020 at 8:19 PM Thierry Arnoux <[email protected]> wrote: > Hi all, > > I've been aligning also the "Structured Typesetting" pages with the ++ > notation for concatenation and ∆ (Uppercase Greek Delta) for symmetrical > difference. > > I also had to migrate the server on which those pages are hosted, the > pages are currently being regenerated, thanks for your patience if the > pages you are looking for are not available! > > BR, > _ > Thierry > > > -- > You received this message because you are subscribed to the Google Groups > "Metamath" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/metamath/90500229-f562-475f-de53-ef2f2221c80b%40gmx.net > <https://groups.google.com/d/msgid/metamath/90500229-f562-475f-de53-ef2f2221c80b%40gmx.net?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJSu8%2B-wOoiAUcMWdQvuQJOWH9U0o%2Bvsj5FtSpZkdmobS1Q%40mail.gmail.com.
