Typing these unicode symbols from the keyboard is not a big problem >From the [wikipedia](https://en.wikipedia.org/wiki/Unicode_input): "For >example, GTK+ is an ISO/IEC 14755-conformant system[citation needed]. The >beginning sequence is Ctrl+⇧ Shift+U and the ending sequence is ↵ Enter or >Space. Programs based on GTK+, such as GNOME applications, support Unicode >input."
It is even possible to search Google for the result of √2 or 4 ÷ 2
