This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A086713 #8 Jun 24 2014 01:08:36
%S A086713 0,1,2,0,1,0,2,0,1,2,1,0,2,1,2,0,2,1,0,1,2,0,1,0,2,0,1,2,1,0,1,2,0,1,
%T A086713 0,2,1,2,0,2,1,0,1,2,0,1,0,2,0,1,2,1,0,2,1,2,0,2,1,0,2,0,1,2,1,0,1,2,
%U A086713 0,1,0,2,1,2,0,2,1,0,2,0,1,2,1,0,2,1,2,0,2,1,0,1,2,0,1,0,2,1,2,0,2,1,0,2,0
%N A086713 A squarefree sequence: define a mapping from the set of strings over the alphabet {0,1,2} by f(0)=01201, f(1)=020121, f(2)=0212021 and f of the concatenation of s and t is the concatenation of f(s) and f(t). Then each of 0, f(0), f(f(0)), ... is an initial substring of the next; their limit is the infinite sequence given above.
%C A086713 f is a "squarefree morphism"; i.e. f(s) is squarefree iff s is squarefree.
%C A086713 For any i>0, f^i(0) has the same number of 0's and 1's and one less 2. The length of f^i(0) is A083066(i) = (4*6^i + 1)/5.
%D A086713 Jean Berstel and Christophe Reutenauer, Squarefree words, p. 31.
%D A086713 M. Lothaire, Combinatorics on Words, Cambridge University Press, 1997.
%e A086713 f(f(0))=01201020121021202101201020121
%t A086713 f[s_] := Flatten[{{0, 1, 2, 0, 1}, {0, 2, 0, 1, 2, 1}, {0, 2, 1, 2, 0, 2, 1}}[[ #+1]]&/@s]; f[f[f[{0}]]]
%K A086713 easy,nonn
%O A086713 0,3
%A A086713 Claude Lenormand (claude.lenormand(AT)free.fr), Jul 29 2003
%E A086713 Edited by _Dean Hickerson_, Oct 19 2003