On Friday, January 10, 2003, 9:05:42 PM, you (mailto:[EMAIL PROTECTED]) wrote: > Universe 2 (pro-unicode): "If we had a Unicode 'squiggly arrow' operator, > then however it looks on everybody's display, it ought to at least look like > some kind of squiggly arrow."
U+21DC "Leftwards Squiggle Arrow" and U+21DE "Rightwards Squiggle Arrow" would seem to fit the bill rather well.... maybe the ascii <~ and ~> are merely aliases of the true symbols? -- Richard mailto:[EMAIL PROTECTED]