4 ms·It's also very difficult to google symbols, even in this post UTF-8 worldby sam0x17 5y agoIt's also very difficult to google symbols, even in this post UTF-8 world