You’re right! Actually, the code I used is x2206, which is listed as “Symmetrical Difference”, so I believe it shall be the correct one. https://codepoints.net/U+2206
This is a different code from Uppercase Delta (code x394), I wanted to describe the shape - thanks for correcting me! We can still use the x25B3 code (triangle) for geometry! ;-) BR, _ Thierry > Le 27 avr. 2020 à 11:44, Mario Carneiro <[email protected]> a écrit : > > 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). -- 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/08094638-8C7B-47D9-814C-4E621E5C5B94%40gmx.net.
