Each platform usually has a tool for entering in symbols.
Like on Windows there is the Character Map Tool
Mac OS has a character palette
On Linux, there are multiple character map tools depending on the desktop you are using.
For example, GNOME.
You are viewing a single comment's thread from: