miners' symbol by Jürgen Cordt
_