Insert public domain symbol, 3179