Use the symbols