See also this page: https://www.unicode.org/charts/nameslist/n_2200.html
I agree we shall exclude the uppercase Delta, so we are left with x2206 and x25B3 as alternatives. -- 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/91092FF9-B47D-4442-86D8-3BD85ADE02A0%40gmx.net.
