{"result":{"text":"begin mathsize 14px style tilde Q left right arrow tilde P logical and R end style"},"status":"ok"}