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.
