Increase size of symbols

The size of the symbols is a bit small. We shall check if we can increase it a bit.