Recognition and beautification of multi-stroke symbols in digital ink