Updated README's examples

Also put more in evidence the link to the proper website

README.md

@@ -4,10 +4,16 @@ It provides GUI that can be used for executing relational queries, and also prov
 
 Provides a standalone Python module that can be used for executing relational queries, parsing relational expressions and optimizing them.
 
+Official website
+================
+
+More documentation can be found here http://ltworf.github.io/relational/
+
+
 Install
 =======
 
-Windows installer can be found here: https://code.google.com/p/relational/downloads/list
+Binary download for Windows can be obtained from the website.
 
 For Linux, check your distribution's packages, relational is available on Debian and Ubuntu.
 
@@ -20,21 +26,17 @@ These are some valid queries
 ```
 σage > 25 and rank == weight(A)
 σ (name.upper().startswith('J') and age>21 )(people)
-Q ᐅᐊ π a,b(A) ᐅᐊ B
-ρid➡i,name➡n(A) - π a,b(π a,b(A)) ᑎ σage > 25 or rank = weight(A)
+Q ⋈ π a,b(A) ⋈ B
+ρid➡i,name➡n(A) - π a,b(π a,b(A)) ∩ σage > 25 or rank = weight(A)
 π a,b(π a,b(A))
 ρid➡i,name➡n(π a,b(A))
-A ᐅᐊ B
+A ⋈ B
 ```
 
-More documentation can be found here http://ltworf.github.io/relational/
-
-
 
 Run from sources
 ================
 
-
 To launch the application, run
 
 ```
@@ -44,5 +46,5 @@ To launch the application, run
 If it needs some dependencies:
 Qt5, Python 3.4 or greater, PyQt5
 
-It can run on osx but this is not supported.
+It can run on osx but bugreports about that will be rejected.