What are the symbols used for deuterium and tritium?