Change arrow signs

doc.zih.tu-dresden.de/docs/access/ssh_mobaxterm.md

@@ -27,16 +27,16 @@ toolbar. A new window will open.
 Here you can set different options in the following tabs:
 
 - "General" - local pathing-options for local MobaXterm-session,
-- "Terminal" -  options, which alter your Terminal. e.g. color scheme,
+- "Terminal" -  options, which alter your terminal, e.g. color scheme,
 - "X11" - options for X11-forwarding. It is enabled by default,
-- "SSH" - general SSH settings e.g. keep-alive, SSH agent, browser-options,
+- "SSH" - general SSH settings, e.g. keep-alive, SSH agent, browser-options,
 - "Display" - general display-options for the application,
 - "Toolbar" - customization of the toolbar,
 - "Misc" - options to alter specific actions inside the MobaXterm-application.
 
 ## Start a new session
 
-1. Select the tab "Sessions"  → "New session" or click the button "Session" in the toolbar.
+1. Select the tab "Sessions"  → "New session" or click the button "Session" in the toolbar.
 
 ![Opening a new session in MobaXterm](misc/mobaxterm4_session.png)
 
@@ -57,7 +57,7 @@ accessible by the top left navigation tab named "Sessions".
 4.  Start the session by clicking the button "OK".
 
     If it is **not** your first time, your previous sessions are saved and you can find by going to
-    the tab "Sessions"  →  "User sessions" and click the desired session. You can double click
+    the tab "Sessions"  →  "User sessions" and click the desired session. You can double click
     on one of your previous sessions the left.
 
 ![Opening a saved session in MobaXterm](misc/mobaxterm6_oldse.png)

doc.zih.tu-dresden.de/docs/access/ssh_putty.md

@@ -31,7 +31,7 @@ You can preconfigure some values. It will save your time during your connections
 
 ![Settings for SSH connection in PuTTY](misc/putty2_quickstart.png)
 
-2. Set your user name. For that choose the tab `Connection` → `Data` in the navigation tree on the left.
+2. Set your user name. For that choose the tab `Connection` → `Data` in the navigation tree on the left.
 Insert your user name into the text field `Auto-login username`.
 The application will basically perform the same action as the command `ssh marie@taurus.hrsk.tudresden.de:22` in Terminal.
 
@@ -49,14 +49,14 @@ The application will basically perform the same action as the command `ssh marie
     ssh-ed25519 <public key> myuser@mylocalhost
     ```
 
-    To configure the SSH key to use, navigate to `Connection` &rarr; `SSH` &rarr; `Auth` in the tree left.
+    To configure the SSH key to use, navigate to `Connection` &#8594; `SSH` &#8594; `Auth` in the tree left.
     You will see a text field for `Private key file for authentification`.
     Insert the path to your local key-file or brows it using the button `Browse...`.
     This will do the same as the command `ssh -i .ssh/id_red25519 marie@taurus.hrsk.tudresden.de:22` in Terminal.
 
 ![SSH-key in PuTTY](misc/putty5_key.png)
 
-4. Enable X-forwarding (optional). To do so, navigate to `Connection` &rarr; `SSH` &rarr; `X11` in the tree left. Put the tick in the checkbox for `Enable X11 forwarding`.
+4. Enable X-forwarding (optional). To do so, navigate to `Connection` &#8594; `SSH` &#8594; `X11` in the tree left. Put the tick in the checkbox for `Enable X11 forwarding`.
 
 ![X-forwarding in PuTTY](misc/putty6_x11.png)