A bookmarklet to convert ASCII logic expressions to proper unicode ones