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 A088176 #26 Sep 08 2022 08:45:11 %S A088176 7,11,17,23,37,47,67,79,107,113,149,157,191,197,211,233,251,277,293, %T A088176 317,353,431,439,467,541,577,607,631,647,673,821,827,839,863,887,1031, %U A088176 1039,1061,1069,1097,1163,1237,1283,1297,1307,1327,1433,1459,1487,1493,1613 %N A088176 Primes such that the previous two primes are a twin prime pair. %C A088176 Primes p such that prevprime(p) - 2 is prime. - _Irina Gerasimova_, Jun 28 2013 %H A088176 Amiram Eldar, <a href="/A088176/b088176.txt">Table of n, a(n) for n = 1..10000</a> %p A088176 A088176 := proc(n) %p A088176 nextprime(A006512(n)) ; %p A088176 end proc: %p A088176 seq(A088176(n),n=1..30) ; # _R. J. Mathar_, Nov 26 2014 %o A088176 (PARI) is(n)=isprime(n) && isprime(precprime(n-1)-2) \\ _Charles R Greathouse IV_, Jun 28 2013 %o A088176 (Magma) [NthPrime(n): n in [2..260] | IsPrime((NthPrime(n-1)-2))]; // _Vincenzo Librandi_, Nov 18 2014 %Y A088176 Cf. A088175. %K A088176 easy,nonn %O A088176 1,1 %A A088176 _Zak Seidov_, Sep 22 2003 %E A088176 More terms from _Ray Chandler_, Sep 25 2003 %E A088176 Definition clarified by _Irina Gerasimova_, Jun 28 2013