My mistake - I knew I saw the symbol somewhere.
Looking at our travel folder from Prague, I saw that the
currency in the Czech Republic in the 90's when we went
back to Prague was: Czech koruna ( Kč )