Is there a way to write the symbol for a real number (the capital R with two vertical lines) on Socratic?