{"result":{"text":"begin mathsize 14px style U equals left curly bracket x colon x element of N end style"},"status":"ok"}