I am would like to have the students type components of a geometric proof in a math input box. I would also like to provide them with a correctness check of their input box.
An example of what I would like to check would be:
∠ABC≅∠DEF.
I have worked in the past with correctness checks on math inputs, but never while trying to include geometry symbols as part of the responses.