fix(doc): add missing $

source/pages/proxy.rst

@@ -74,6 +74,6 @@ Muitas vezes queremos algo mais simples do que o protocolo SOCKS pois o endereç
 
 Assim, se estamos rodando um servidor web numa porta 8080 em outra máquina, podemos executar por exemplo::
 
-    ssh -L 8000:localhost:8080 usr99@litorina -J usr99@ssh.inf.ufpr.br
+    $ ssh -L 8000:localhost:8080 usr99@litorina -J usr99@ssh.inf.ufpr.br
 
 Isso significa que podemos acessar o servidor web que está rodando na porta 8080 na ``litorina`` locamente na porta 8000, isto é, podemos acessar o endereço ``localhost:8000`` no navegador e poderemos ver nosso servidor web funcionando.