[math-fun] Primes with strokes