Adds preference for non-texas syntax

And also substitutes `Inf` for `∞` in a bunch of places.
Refs #1520, but does not really close it. Lot of work to do, and maybe
some discussion

Author: JJ

doc/Type/Iterator.pod6

@@ -96,7 +96,7 @@ should return the sentinel value C<IterationEnd>. Otherwise it should return
 C<$count>.
 
     my @array;
-    say (1 .. Inf).iterator.push-exactly(@array, 3); # OUTPUT: «3␤»
+    say (1 .. ∞).iterator.push-exactly(@array, 3); # OUTPUT: «3␤»
     say @array; # OUTPUT: «[1 2 3]␤»
 
 The Iterator role implements this method in terms of C<pull-one>.
@@ -119,7 +119,7 @@ iterators without side effects (such as L<Range|/type/Range> iterators) can
 produce more elements to achieve better performance.
 
     my @array;
-    say (1 .. Inf).iterator.push-at-least(@array, 10); # OUTPUT: «10␤»
+    say (1 .. ∞).iterator.push-at-least(@array, 10); # OUTPUT: «10␤»
     say @array; # OUTPUT: «[1 2 3 4 5 6 7 8 9 10]␤»
 
 The Iterator role implements this method in terms of C<pull-one>.
@@ -165,7 +165,7 @@ Built-in operations that know that they can produce infinitely many values
 return C<True> here, for example C<(1..6).roll(*)>.
 
     say (1 .. 100).is-lazy; # OUTPUT: «False␤»
-    say (1 .. Inf).is-lazy; # OUTPUT: «True␤»
+    say (1 .. ∞).is-lazy; # OUTPUT: «True␤»
 
 The Iterator role implements this method returning C<False>, indicating a
 non-lazy iterator.

doc/Type/List.pod6

@@ -445,9 +445,9 @@ NUMBER <= 0.  Defaults to the first element seen if no NUMBER specified.
 Examples:
 
     say ^10 .head(5);      # OUTPUT: «(0 1 2 3 4)␤»
-    say ^Inf .head(5);     # OUTPUT: «(0 1 2 3 4)␤»
+    say ^∞ .head(5);       # OUTPUT: «(0 1 2 3 4)␤»
     say ^10 .head;         # OUTPUT: «0␤»
-    say ^Inf .head;        # OUTPUT: «0␤»
+    say ^∞ .head;          # OUTPUT: «0␤»
 
 =head2 method tail
 
@@ -463,9 +463,9 @@ Examples:
 
 =for code
 say ^10 .tail(5);      # OUTPUT: «(5 6 7 8 9)␤»
-say ^Inf .tail(5);     # Cannot tail a lazy list
+say ^∞ .tail(5);       # Cannot tail a lazy list
 say ^10 .tail;         # OUTPUT: «(9)␤»
-say ^Inf .tail;        # Cannot tail a lazy list
+say ^∞ .tail;        # Cannot tail a lazy list
 
 =head2 routine categorize
 

doc/Type/Signature.pod6

@@ -780,7 +780,7 @@ The C<is copy> trait causes the argument to be copied, and allows it
 to be modified inside the routine
 
     sub count-up($x is copy) {
-        $x = Inf if $x ~~ Whatever;
+        $x = ∞ if $x ~~ Whatever;
         .say for 1..$x;
     }
 

writing-docs/STYLEGUIDE.md

@@ -84,6 +84,18 @@ stick to easily understandable names:
 If you want to add some fancy characters, please stick to
 [well-known characters from our Unicode set](https://docs.perl6.org/language/unicode_ascii).
 
+### Prefer non-Texas (non-ASCII) syntax in examples
+
+    my @infinite-sequence = 1,3...∞ # GOOD
+	my @infinite-sequence = 1,3...Inf # OK, but rather not
+    <a b c > ⊖ <c d e> # Good
+    <a b c > (^) <c d e> # OK, but don't do that
+
+All operators have a ASCII (or Texas) equivalent, but they are more
+verbose and do not correspond exactly to the mathematical operator or constant
+they often represent. Please use that syntax whenever possible. 
+	
+
 ### Prefer the %() form of declaring hashes
 
     my %hash := { this => "is", a => "hash" }; # Correct, but BAD