How do you use the Socratic editor to type synthetic division problems?